[논문 리뷰] Tree Decompositions Meet Induced Matchings: Beyond Max Weight Independent Set

Paloma T. Lima, Martin Milanič외 4명|arXiv (Cornell University)|2024. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 최대 무게 독립 집합의 처리 가능성을 더 넓은 그래프 클래스로 확장하는 새로운 그래프 파라미터인 유도 매칭 트리너비를 도입한다. 유도 매칭 트리너비가 유계인 그래프에서 최소 무게 피드백 버텍스 세트 문제에 대한 다항식 시간 알고리즘을 제시하며, 이러한 클래스에서 CMSO2 공식으로 정의된 최대 무게 유도 부분그래프는 효율적으로 구할 수 있을 것이라는 추측을 제기한다 — 이는 유도 매칭 트리너비가 유계인 그래프의 핵심 부분집합인 트리독립 수가 유계인 그래ph에서 참임을 입증한다.

ABSTRACT

For a tree decomposition $\mathcal{T}$ of a graph $G$, by $μ(\mathcal{T})$ we denote the size of a largest induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. Induced matching treewidth of a graph $G$ is the minimum value of $μ(\mathcal{T})$ over all tree decompositions $\mathcal{T}$ of $G$. Yolov [SODA 2018] proved that Max Weight Independent Set can be solved in polynomial time for graphs of bounded induced matching treewidth. In this paper we explore what other problems are tractable in such classes of graphs. As our main result, we give a polynomial-time algorithm for Min Weight Feedback Vertex Set. We also provide some positive results concerning packing induced subgraphs, which in particular imply a PTAS for the problem of finding a largest induced subgraph of bounded treewidth. These results suggest that in graphs of bounded induced matching treewidth, one could find in polynomial time a maximum-weight induced subgraph of bounded treewidth satisfying a given CMSO$_2$ formula. We conjecture that such a result indeed holds and prove it for graphs of bounded tree-independence number, which form a rich and important family of subclasses of graphs of bounded induced matching treewidth. We complement these algorithmic results with a number of complexity and structural results concerning induced matching treewidth.

연구 동기 및 목표

• 유도 매칭 트리너비가 유계인 그래프에서 최대 무게 독립 집합 문제를 넘어서는 NP-난해 문제의 알고리즘 처리 가능성을 확장하는 것.
• 유도 매칭 트리너비가 유계인 그래프에서 최소 무게 피드백 버텍스 세트 문제가 다항식 시간 내에 해결 가능한지 조사하는 것.
• 이러한 그래프 클래스에서 유계 트리너비를 가지며 CMSO2 공식을 만족하는 최대 무게 유도 부분그래프를 효율적으로 계산할 수 있는지 탐색하는 것.
• 유도 매칭 트리너비의 구조적 및 복잡도 한계를 설정하며, mim-너비 및 트리독립 수와 같은 다른 너비 파라미터와의 관계를 포함하는 것.
• 유도 매칭 트리너비가 유계인 그래프가 이분그래프를 배제할 경우 χ-유계이자 (tw, ω)-유계임을 추측하고, 부분적으로 이를 증명하는 것.

제안 방법

• 모든 트리 분해에 대해, 한 백에 교차하는 가장 큰 유도 매칭의 크기의 최솟값으로 유도 매칭 트리너비를 정의한다.
• 유도 매칭 트리너비가 유계인 그래프에 특화된 동적 프로그래밍 기법을 개발하며, 유계 트리너비 알고리즘의 기법을 확장한다.
• 유도 매칭 트리너비가 유계인 그래프의 핵심 부분집합인 트리독립 수가 유계인 그래프에서, CMSO2로 정의 가능한 최대 무게 유도 부분그래프는 다항식 시간 내에 계산 가능하다는 것을 증명한다.
• 트리독립 수와 그래프 합성 연산(예: G◦[H], 그래프 거듭제곱)을 사용하여 구조적 성질과 알고리즘적 함의를 분석한다.
• 유도 매칭 트리너비와 다른 너비 파라미터(예: mim-너비, sim-너비) 간의 관계를 설정하며, 상호 비교 불가 및 계층적 관계를 보여준다.
• NP-난해성 결과를 포함한 복잡도 결과를 제공하며, 유도 매칭 트리너비 계산의 난이도와 유계 차수 및 이분그래프를 포함하지 않는 그래프에서의 행동에 대한 한계를 제시한다.

실험 결과

연구 질문

• RQ1 유도 매칭 트리너비가 유계인 그래프에서 최소 무게 피드백 버텍스 세트 문제가 다항식 시간 내에 해결 가능한가?
• RQ2 유도 매칭 트리너비가 유계인 그래프에서 주어진 CMSO2 공식을 만족하는 최대 무게 유도 부분그래프를 다항식 시간 내에 계산할 수 있는가?
• RQ3 이분그래프를 배제할 경우, 유도 매칭 트리너비가 유계이면 (tw, ω)-유계성 또는 χ-유계성이 성립하는가?
• RQ4 유도 매칭 트리너비는 mim-너비, o-mim-너비, sim-너비와 어떻게 관련되어 있는가?
• RQ5 작은 유도 매칭 너비를 가지는 트리 분해를 효율적으로 계산할 수 있는가, 아니면 이 파라미터의 계산이 어렵단 말인가?

주요 결과

• 유도 매칭 트리너비가 유계인 그래프에서 최소 무게 피드백 버텍스 세트 문제는 다항식 시간 내에 해결 가능하다.
• 유계 트리너비를 가지는 최대 유도 부분그래프를 찾는 데 대해 독립적인 소형 하위그래프 팩킹 기반의 PTAS를 제공한다.
• 트리독립 수가 유계인 그래프에서는, 어떤 CMSO2 공식을 만족하는 최대 무게 유도 부분그래프도 다항식 시간 내에 계산 가능하다.
• 유도 매칭 트리너비는 mim-너비 및 o-mim-너비와 비교 불가능하며, sim-너비보다 엄밀히 약하다.
• 고정된 이분그래프를 부분그래프로 포함하지 않는 유도 매칭 트리너비가 유계인 그래프는 (tw, ω)-유계이며, 이는 구조적 풍부성을 시사한다.
• 그래프의 유도 매칭 트리너비 계산은 NP-난해이며, 일부 자연스러운 그래프 가족(특정 그래프 거듭제곱 및 이분그래프가 풍부한 그래프 포함)에서는 유계가 아니다.