[논문 리뷰] Incompressibility of H-free edge modification problems: Towards a dichotomy

Dániel Marx, R. B. Sandeep|arXiv (Cornell University)|2020. 04. 24.

Optimization and Search Problems인용 수 5

한 줄 요약

이 논문은 최소 다섯 개의 정점을 가진 그래프 H에 대해 H-free 간선 수정 문제(편집, 삭제, 완성)의 커널화 복잡도를 분류하기 위한 프레임워크를 수립한다. 다섯 정점으로 구성된 유한한 핵심 그래프 집합(편집의 경우 9개, 삭제의 경우 19개)을 규명함으로써, 이러한 그래프들에 대해 비압축성(비압축 가능성)을 증명하면, 표준 복잡도 가정 하에 다섯 개 이상의 정점을 가진 비완전 비공백 그래프 H 전부에 대해 비압축성이 성립함을 보여준다.

ABSTRACT

Given a graph $G$ and an integer $k$, the $H$-free Edge Editing problem is to find whether there exists at most $k$ pairs of vertices in $G$ such that changing the adjacency of the pairs in $G$ results in a graph without any induced copy of $H$. The existence of polynomial kernels for $H$-free Edge Editing received significant attention in the parameterized complexity literature. Nontrivial polynomial kernels are known to exist for some graphs $H$ with at most 4 vertices, but starting from 5 vertices, polynomial kernels are known only if $H$ is either complete or empty. This suggests the conjecture that there is no other $H$ with at least 5 vertices were $H$-free Edge Editing admits a polynomial kernel. Towards this goal, we obtain a set $\\mathcal{H}$ of nine 5-vertex graphs such that if for every $H\\in\\mathcal{H}$, $H$-free Edge Editing is incompressible and the complexity assumption $NP \ ot\\subseteq coNP/poly$ holds, then $H$-free Edge Editing is incompressible for every graph $H$ with at least five vertices that is neither complete nor empty. That is, proving incompressibility for these nine graphs would give a complete classification of the kernelization complexity of $H$-free Edge Editing for every $H$ with at least 5 vertices. We obtain similar result also for $H$-free Edge Deletion. Here the picture is more complicated due to the existence of another infinite family of graphs $H$ where the problem is trivial (graphs with exactly one edge). We obtain a larger set $\\mathcal{H}$ of nineteen graphs whose incompressibility would give a complete classification of the kernelization complexity of $H$-free Edge Deletion for every graph $H$ with at least 5 vertices. Analogous results follow also for the $H$-free Edge Completion problem by simple complementation.

연구 동기 및 목표

• 최소 다섯 개의 정점을 가진 그래프 H에 대해 H-free 간선 편집 문제의 커널화 복잡도에 대한 이분법을 수립하는 것.
• 모든 비완전 비공백 H에 대해 |V(H)| ≥ 5 이면 비압축성을 보장하는 유한한 핵심 5정점 그래프 집합을 규명하는 것.
• 보완 및 구조 분석을 통해 H-free 간선 삭제 및 완성 문제로 분류를 확장하는 것.
• 클로우프리 및 기타 특수 그래프 클래스에 대한 다항 커널에 관한 열린 문제를 해결하는 것.
• H-free 간선 수정 문제에서 다항 커널 가능성과 비압축성 간의 완전한 이분법을 마련하는 것.

제안 방법

• 모든 비완전 비공백 H에 대해 |V(H)| ≥ 5 이면 비압축성을 보장하는 9개의 5정점 그래프(HE)를 규명한다.
• NP ⊈ coNP/poly 가정 하에, 유한 깊이의 탐색 트리와 H-free 그래프 내의 구조적 제약 조건에 기반한 감소 프레임워크를 사용하여 비압축성을 증명한다.
• 동일한 접근을 간선 삭제 문제에 적용하며, 정확히 한 개의 간선을 가진 그래프의 존재로 인해 더 큰 집합(19개의 그래프, HD)을 규명한다.
• 보완을 활용하여 간선 편집 문제에서의 결과를 간선 완성 문제로 확장한다.
• 예를 들어 C4, P3, 다이아몬드 등의 유도 부분그래프와 공통 이웃 제약 조건을 분석하는 구조 레미마를 활용하여 해 구성에서 모순을 이끌어내는 데 사용한다.
• 특정 구성 요소를 피하기 위해 금지된 간선 조건과 이웃 집합의 귀납적 추론을 조합하여, H-free를 유지하는 모든 해는 특정 구성 요소를 피해야 한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 H가 최소 다섯 개의 정점을 가진 비완전 비공백 그래프일 경우, H-free Edge Editing은 표준 복잡도 가정 하에 비압축적인가?
• RQ2 모든 비완전 비공백 H에 대해 H-free Edge Editing에 다항 커널이 존재하지 않는다는 것을 보장하기 위해, 유한한 핵심 5정점 그래프 집합에서 비압축성을 증명할 수 있는가?
• RQ3 H-free Edge Deletion이 비압축적인 그래프 H의 완전한 집합은 무엇이며, 이는 정확히 한 개의 간선을 가진 그래프의 존재로 인해 편집 문제와 어떻게 다를까?
• RQ4 H-free Edge Editing에 다항 커널이 존재하지 않는다는 사실이, 클리크와 공백 그래프를 제외한 모든 H에 대해 |V(H)| ≥ 5 이면 성립하는가?
• RQ5 이 프레임워크는 {claw, diamond}와 같이 두 개의 금지 그래프를 가진 H-free 간선 수정 문제로 확장될 수 있는가?

주요 결과

• 논문은 비완전 비공백 H에 대해 |V(H)| ≥ 5 이면 비압축성을 보장하는 9개의 5정점 그래프 집합 HE를 규명한다.
• H-free Edge Deletion의 경우, 정확히 한 개의 간선을 가진 추가적인 임의의 무한 가족 존재로 인해 동일한 함의 하에 더 큰 집합 HD(19개의 그래프)를 규명한다.
• 보완을 통해 결과는 H-free Edge Completion으로 확장되어 대칭적인 분류를 얻는다.
• 이 프레임워크는 향후 연구를 위한 완전한 경계를 제공한다: HE 또는 HD에 속한 그래프들에 대해 비압축성을 증명하면 커널화 복잡도의 완전한 이분법을 확보할 수 있다.
• 논문은 H-free 간선 수정 문제의 커널화 복잡도 경계를 해결하여, 열린 문제를 유한한 수의 케이스로 축소한다.
• 결과는 |V(H)| ≥ 5 이고 H가 완전 그래프 또는 공백 그래프가 아닌 모든 H에 대해 다항 커널이 존재하지 않으며, NP ⊆ coNP/poly 가 성립하지 않는 한 이는 성립한다는 추측을 지지한다.