[논문 리뷰] Complexity Framework For Forbidden Subgraphs I: The Framework

Matthew Johnson, Barnaby Martin외 4명|arXiv (Cornell University)|2022. 11. 23.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 유한 집합 H의 그래프를 부분그래프로 포함하지 않는 H-서브그래프-free 그래프에 대한 복잡도 프레임워크를 제안한다. 이 프레임워크는 세 가지 조건에 기반한다: 유계 트리너비 그래프에서의 다항시간 가용성, 삼차 그래프에서의 NP-난이도, 그리고 간선 분할에 따른 난이도 유지. 핵심 결과는 이분법: H에 서로소인 경로와 분할된 까다란 나비의 합집합이 포함되어 있으면 문제는 효율적으로 해결 가능하며, 그렇지 않으면 계산적으로 어려움. 이 프레임워크는 이전의 미니처- 및 위상-미니처-free 그래프에 대한 메타분류를 통합하고 확장한다.

ABSTRACT

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-free if $G$ does not contain any of graph from $H$ as a subgraph. Our conditions are easy to state. A graph problem must be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness must be preserved under edge subdivision of subcubic graphs. Our meta-classification says that if a graph problem satisfies all three conditions, then for every finite set $HH$, it is ``efficiently solvable'' on $HH$-subgraph-free graphs if $HH$ contains a disjoint union of one or more paths and subdivided claws, and is ``computationally hard'' otherwise. We illustrate the broad applicability of our meta-classification by obtaining a dichotomy between polynomial-time solvability and NP-completeness for many well-known partitioning, covering and packing problems, network design problems and width parameter problems. For other problems, we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). The proposed framework thus gives a simple pathway to determine the complexity of graph problems on $HH$-subgraph-free graphs. This is confirmed even more by the fact that along the way, we uncover and resolve several open questions from the literature.

연구 동기 및 목표

• H-서브그래프-free 그래프에 제한된 그래프 문제의 계산 복잡도에 대한 일반적인 메타분류 프레임워크를 수립하기 위해.
• H-서브그래프-free 그래프에서 그래프 문제의 복잡도를 체계적으로 분류할 수 있는 최소한의, 쉽게 확인할 수 있는 조건을 규명하기 위해.
• 미니처 및 위상-미니처-free 그래프에 대한 기존의 알고리즘적 메타분류를 더 넓은 금지 부분그래프 적용 가능 프레임워크로 통합하고 확장하기 위해.
• 이 프레임워크를 잘 알려진 그래프 문제들(분할, 커버링, 패킹, 폭 문제 등)에 적용하여 문헌에서 열려 있던 문제를 해결하기 위해.
• 일부 조건이 실패하는 경우를 조사하고, 유도된 부분그래프 관계를 향후 연구 방향으로 탐색하기 위해 프레임워크의 한계를 탐색하기 위해.

제안 방법

• 유한 집합 H의 그래프를 부분그래프로 포함하지 않는 그래프를 H-서브그래프-free 그래프로 정의한다.
• 세 가지 핵심 조건을 제안한다: (C1) 유계 트리너비 그래프에서의 다항시간 해결 가능성; (C2) 삼차 그래프에서의 NP-완전성; (C3) 삼차 그래프에서의 난이도가 간선 분할에 의해 유지됨.
• 문제가 세 조건을 모두 만족하면, H에 서로소인 경로와 분할된 까다란 나비의 합집합이 포함되어 있을 때에만 H-서브그래프-free 그래프에서 효율적으로 해결 가능하다는 것을 증명한다.
• 이 프레임워크를 분할, 커버링, 패킹, 네트워크 설계, 폭 문제 등 다양한 문제에 적용하여 다항시간 해결 가능성과 NP-완전성 사이의 이분법을 도출한다.
• 3SUM 또는 강력한 지수 시간 가설과 같은 하드니스 가설에 기반하여 프레임워크를 거의 선형시간 복잡도로 확장한다.
• 구조적 그래프 이론과 기존 결과(예: Lozin과 Razgon [73])를 활용하여 유도된 부분그래프 관계를 탐색하고, 제약 조건 하에 H-free 그래프에 대한 첫 번째 메타분류를 제안한다.

실험 결과

연구 질문

• RQ1 간단하고 확인 가능한 조건을 기반으로 H-서브그래프-free 그래프에 대한 일반적인 메타분류를 개발할 수 있는가?
• RQ2 H-서브그래프-free 그래프에 제한된 그래프 문제의 가용성과 비가용성 사이의 정확한 경계는 무엇인가?
• RQ3 C1(유계 트리너비), C2(삼차 그래프에서의 난이도), C3(분할에 따른 난이도 유지) 조건들이 복잡도를 결정하는 데 어떻게 상호작용하는가?
• RQ4 이 프레임워크는 Subgraph Isomorphism이나 Edge Steiner Tree와 같은 문제에 대해 문헌에서 열려 있던 문제를 해결할 수 있는가?
• RQ5 유도된 부분그래프 관계에 대한 프레임워크의 함의는 무엇이며, 이를 바탕으로 H-free 그래프에 대한 메타분류를 도출할 수 있는가?

주요 결과

• C1, C2, C3를 모두 만족하는 문제는 H에 서로소인 경로와 분할된 까다란 나비의 합집합이 포함되어 있을 때에만 H-서브그래프-free 그래프에서 효율적으로 해결 가능하다.
• 이 프레임워크는 Independent Set, Vertex Cover 및 다양한 폭 문제를 포함한 여러 잘 알려진 문제들에 대해 다항시간 해결 가능성과 NP-완전성 사이의 이분법을 도출한다.
• 일부 문제에 대해서는 3SUM 또는 강력한 지수 시간 가설과 같은 하드니스 가설을 가정할 경우, 거의 선형시간 해결 가능성과 비정상적인 2차 시간 알고리즘의 부재 사이의 이분법을 제공한다.
• 이 프레임워크는 기존 문헌에서 열려 있던 사례를 해결한다. 예를 들어, H = P5 또는 H = 2P5일 때 Subgraph Isomorphism의 복잡도 문제를 해결한다.
• 이 프레임워크는 유도된 부분그래프 관계로 확장되며, 이에 따라 정리 20가 도출된다: 문제는 H에 완전 그래프, 완전 이분 그래프, S의 그래프, 그리고 T의 그래프(=S-그래프의 라인 그래프)가 포함되어 있을 때 H-free 그래프에서 다항시간으로 해결 가능하다.
• 이 논문은 Weighted Edge Steiner Tree가 정리 20의 조건을 만족하는 유일한 알려진 문제로 규명한다. 이는 더 많은 이러한 문제를 찾아내야 한다는 필요성을 강조하며(열린 문제).