Grid recognition: Classical and parameterized computational perspectives

被引:1
|
作者
Gupta, Siddharth [1 ]
Sa'ar, Guy [2 ]
Zehavi, Meirav [2 ]
机构
[1] Univ Warwick, Coventry, England
[2] Ben Gurion Univ Negev, Beer Sheva, Israel
基金
以色列科学基金会; 欧洲研究理事会; 英国工程与自然科学研究理事会;
关键词
Grid recognition; Grid graph; Parameterized complexity; COMPLEXITY; TREES; ALGORITHMS; DRAWINGS; PATHS;
D O I
10.1016/j.jcss.2023.02.008
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Over the past few decades, a large body of works studied the (in)tractability of various computational problems on grid graphs, which often yield substantially faster algorithms than general graphs. Unfortunately, the recognition of a grid graph is hard-it was shown to be NP-hard already in 1987. In this paper, we provide several positive results in this regard in the framework of parameterized complexity. Specifically, our contribution is threefold. First, we show that the problem is FPT parameterized by k + mcc where mcc is the maximum size of a connected component of G. Second, we present a new parameterization, denoted aG, relating graph distance to geometric distance. We show that the problem is para-NP-hard parameterized by aG, but FPT parameterized by aG on trees, as well as FPT parameterized by k + a(G). Third, we show that the recognition of k x r grid graphs is NP-hard on graphs of pathwidth 2 where k = 3. (c) 2023 Elsevier Inc. All rights reserved.
引用
收藏
页码:17 / 62
页数:46
相关论文
共 33 条
  • [1] The computational complexity of classical knot recognition
    Ichihara, Kazuhiro
    Nishimura, Yuya
    Tani, Seiichi
    JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, 2023, 32 (11)
  • [2] Parameterized dictionary matching and recognition with one gap
    Shalom, B. Riva
    THEORETICAL COMPUTER SCIENCE, 2021, 854 : 1 - 16
  • [3] Parameterized computational complexity of control problems in voting systems
    Liu, Hong
    Feng, Haodi
    Zhu, Daming
    Luan, Junfeng
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (27-29) : 2746 - 2753
  • [4] Conflict Free Version of Covering Problems on Graphs: Classical and Parameterized
    Jain, Pallavi
    Kanesh, Lawqueen
    Misra, Pranabendu
    THEORY OF COMPUTING SYSTEMS, 2020, 64 (06) : 1067 - 1093
  • [5] Conflict Free Version of Covering Problems on Graphs: Classical and Parameterized
    Jain, Pallavi
    Kanesh, Lawqueen
    Misra, Pranabendu
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2018, 2018, 10846 : 194 - 206
  • [6] Parameterized Algorithmics for Computational Social Choice:Nine Research Challenges
    Robert Bredereck
    Jiehua Chen
    Piotr Faliszewski
    Jiong Guo
    Rolf Niedermeier
    Gerhard J.Woeginger
    TsinghuaScienceandTechnology, 2014, 19 (04) : 358 - 373
  • [7] Parameterized Algorithmics for Computational Social Choice: Nine Research Challenges
    Bredereck, Robert
    Chen, Jiehua
    Faliszewski, Piotr
    Guo, Jiong
    Niedermeier, Rolf
    Woeginger, Gerhard J.
    TSINGHUA SCIENCE AND TECHNOLOGY, 2014, 19 (04) : 358 - 373
  • [8] COMPUTATIONAL STRATEGIES FOR OBJECT RECOGNITION
    SUETENS, P
    FUA, P
    HANSON, AJ
    COMPUTING SURVEYS, 1992, 24 (01) : 5 - 61
  • [9] On the relationship between classical grid search and probabilistic roadmaps
    LaValle, SM
    Branicky, MS
    Lindemann, SR
    INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2004, 23 (7-8): : 673 - 692
  • [10] Graph Modification for Edge-Coloured and Signed Graph Homomorphism Problems: Parameterized and Classical Complexity
    Florent Foucaud
    Hervé Hocquard
    Dimitri Lajou
    Valia Mitsou
    Théo Pierron
    Algorithmica, 2022, 84 : 1183 - 1212