[논문 리뷰] Grid Recognition: Classical and Parameterized Computational Perspectives

Siddharth Gupta, Guy Sa'ar외 1명|arXiv (Cornell University)|2021. 01. 01.

Advanced Graph Theory Research인용 수 2

한 줄 요약

이 논문은 격자 인식의 최초의 매개변수화 복잡도 분석을 제시하며, Grid Embedding 문제의 고정된 매개변수 복잡도(FPT)를 증명한다. 이는 $k + \text{mcc}$ (여기서 $k$는 높이이고 $\text{mcc}$는 최대 연결 성분 크기임)에 대해 매개변수화되었을 때, 그리고 $\text{td} + k$ (트리 깊이 + 높이)에 대해 매개변수화되었을 때 성립한다. 또한 그래프 거리와 기하 거리 간의 불일치를 캡처하는 새로운 매개변수 $a_G$를 도입하여, 트리와 $k + a_G$에 대해 FPT 결과를 도출한다. 또한 $k = 3$일 때 경로 폭 2 그래프에서의 NP-난이도를 입증한다. 이러한 결과들은 스트립 패킹 문제에 대해 스트립 높이와 직사각형 치수의 합에 대해 FPT 알고리즘을 새롭게 도출한다.

ABSTRACT

Grid graphs, and, more generally, k×r grid graphs, form one of the most basic classes of geometric graphs. 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 (given a graph G, decide whether it can be embedded into a grid graph) is particularly hard - it was shown to be NP-hard even on trees of pathwidth 3 already in 1987. Yet, in this paper, we provide several positive results in this regard in the framework of parameterized complexity (additionally, we present new and complementary hardness results). Specifically, our contribution is threefold. First, we show that the problem is fixed-parameter tractable (FPT) parameterized by k+mcc where mcc is the maximum size of a connected component of G. This also implies that the problem is FPT parameterized by td+k where td is the treedepth of G, as td ≤ mcc (to be compared with the hardness for pathwidth 2 where k = 3). (We note that when k and r are unrestricted, the problem is trivially FPT parameterized by td.) Further, we derive as a corollary that strip packing is FPT with respect to the height of the strip plus the maximum of the dimensions of the packed rectangles, which was previously only known to be in XP. Second, we present a new parameterization, denoted a_G, relating graph distance to geometric distance, which may be of independent interest. We show that the problem is para-NP-hard parameterized by a_G, but FPT parameterized by a_G on trees, as well as FPT parameterized by k+a_G. Third, we show that the recognition of k× r grid graphs is NP-hard on graphs of pathwidth 2 where k = 3. Moreover, when k and r are unrestricted, we show that the problem is NP-hard on trees of pathwidth 2, but trivially solvable in polynomial time on graphs of pathwidth 1.

연구 동기 및 목표

• 매개변수화 복잡도 프레임워크 내에서 오랫동안 열려 있던 격자 그래프 인식 문제를 해결하기 위해.
• NP-난이도인 Grid Embedding 문제에 대해 다룰 수 있는 매개변수화를 규명하기 위해.
• 격자 인식 결과를 활용하여 스트립 패킹 문제에 대한 새로운 FPT 알고리즘을 수립하기 위해.
• 격자 임베딩에서 그래프 거리와 기하 거리 간의 괴리도를 캡처하는 새로운 매개변수 $a_G$를 도입하고 분석하기 위해.
• 특히 $k = 3$과 경로 폭 2일 때 격자 인식의 복잡도를 규명하기 위해.

제안 방법

• 트리 분해와 성분별 임베딩 전략을 사용하여, $k + \text{mcc}$에 대해 매개변수화된 경우 Grid Embedding이 FPT임을 증명하기 위해 동적 프로그래밍을 활용한다.
• 트리 깊이 구조를 활용하고 부분 트리의 순환적 임베딩을 통해 $\text{td} + k$에 대해 매개변수화된 경우 문제의 FPT 성질을 입증한다.
• 그래프 상의 정점 간 최대 거리로 정의된 매개변수 $a_G$를 도입한다. 이는 임의의 격자 임베딩에서 기하적으로 인접한 정점들 사이의 그래프 거리의 최댓값이다.
• 경로와 트리에 대한 귀납적 임베딩 추론을 통해 $a_G$에 대해 트리에서의 FPT 결과와 $k + a_G$에 대해 FPT 결과를 증명한다.
• 변수 및 절점 경로를 포함하는 체계적인 기구 구성과 함께 3-SAT에서의 축소를 통해, $k = 3$일 때 경로 폭 2 그래프에서의 Grid Embedding 문제의 NP-난이도를 입증한다.
• 스트립 패킹 문제의 경우 스트립 높이와 최대 직사각형 치수의 합에 대해 FPT임을 도출하는 따름정리로 이어진다. 이는 이전에 알려진 XP 알고리즘보다 향상된 결과이다.

실험 결과

연구 질문

• RQ1 Grid Embedding 문제는 $k + \text{mcc}$ 또는 $\text{td} + k$와 같은 자연스러운 구조적 매개변수에 대해 고정된 매개변수 복잡도(FPT)인가?
• RQ2 그래프 거리와 기하 거리 간의 불일치를 측정하는 새로운 매개변수 $a_G$가 격자 인식에 대한 FPT 알고리즘을 도출할 수 있는가?
• RQ3 특히 $k = 3$일 때, 경로 폭이 유한한 그래프에서 격자 인식의 복잡도는 어떠한가?
• RQ4 새로운 매개변수 $a_G$는 트리에서나 $k + a_G$와 함께 다룰 경우 다루기 쉬운 알고리즘을 이끌어낼 수 있는가?
• RQ5 격자 인식 결과를 활용하여 스트립 패킹과 같은 관련 문제의 매개변수화 알고리즘을 향상시킬 수 있는가?

주요 결과

• Grid Embedding 문제는 $k + \text{mcc}$에 대해 매개변수화되었을 때 FPT이다. 여기서 $\text{mcc}$는 입력 그래프의 연결 성분의 최대 크기이다.
• Grid Embedding 문제는 $\text{td} + k$에 대해 매개변수화되었을 때 FPT이다. 여기서 $\text{td}$는 그래프의 트리 깊이다. 이는 경로 폭 2의 맥락에서 오랫동안 열려 있던 열린 문제를 해결한다.
• Grid Embedding 문제는 $a_G$에 대해 매개변수화되었을 때는 para-NP-난이도를 보이지만, 트리에 제한되거나 $k + a_G$에 대해 매개변수화되었을 때는 FPT가 된다. 이는 복잡도의 급격한 전환점을 보여준다.
• Grid Embedding 문제는 $k = 3$일 때 경로 폭 2 그래프에서 NP-난이도를 보이며, 이는 매우 제한된 그래프 클래스에서도 문제의 난이도가 유지됨을 시사한다.
• 스트립 패킹 문제는 스트립 높이와 최대 직사각형 치수의 합에 대해 FPT이다. 이는 이전에 알려진 XP 알고리즘보다 상당한 향상이다.
• 새로운 매개변수화 프레임워크 하에서 스트립 패킹 문제를 격자 인식 문제로 환원함으로써, 새로운 FPT 알고리즘을 수립하였다.