[논문 리뷰] Computing the Largest Bond of a Graph

Gabriel L. Duarte, Daniel Lokshtanov외 3명|arXiv (Cornell University)|2019. 01. 01.

Advanced Graph Theory Research참고 문헌 30인용 수 2

한 줄 요약

이 논문은 그래프에서 가장 큰 봉우리(bond)를 찾는 문제의 계산 복잡도를 조사하며, 평면 이분 그래프일지라도 NP-난이도임을 증명하고, P = NP가 아닐 경우 상수 요소 근사화가 불가능하다고 밝힌다. 저자들은 너비 또는 해의 크기로 매개변수화했을 때 고정 매개변수 다항 시간(FPT)임을 확립하지만, NP ⊆ coNP/poly가 아닐 경우 다항식 커널이 존재하지 않음을 보여, 이 문제의 본질적 난이도가 매개변수화 영역을 초월해 있음을 강조한다.

ABSTRACT

A bond of a graph G is an inclusion-wise minimal disconnecting set of G, i.e., bonds are cut-sets that determine cuts [S,V\S] of G such that G[S] and G[V\S] are both connected. Given s,t in V(G), an st-bond of G is a bond whose removal disconnects s and t. Contrasting with the large number of studies related to maximum cuts, there are very few results regarding the largest bond of general graphs. In this paper, we aim to reduce this gap on the complexity of computing the largest bond and the largest st-bond of a graph. Although cuts and bonds are similar, we remark that computing the largest bond of a graph tends to be harder than computing its maximum cut. We show that Largest Bond remains NP-hard even for planar bipartite graphs, and it does not admit a constant-factor approximation algorithm, unless P = NP. We also show that Largest Bond and Largest st-Bond on graphs of clique-width w cannot be solved in time f(w) x n^{o(w)} unless the Exponential Time Hypothesis fails, but they can be solved in time f(w) x n^{O(w)}. In addition, we show that both problems are fixed-parameter tractable when parameterized by the size of the solution, but they do not admit polynomial kernels unless NP subseteq coNP/poly.

연구 동기 및 목표

• 일般 그래프에서 가장 큰 봉우리를 계산하는 데 있어 복잡도 이해의 격차를 메우며, 잘 연구된 최대 컷 문제와 대비시킨다.
• Largest Bond 및 Largest st-Bond 문제의 매개변수 복잡도를 분석하며, 특히 너비와 해의 크기와 관련하여 다루는 것.
• 이 문제들에 대한 다항식 커널과 근사 알고리즘의 존재 여부를 조사하는 것.
• 평면성 및 이분성 조건 하에서도 여전히 난이도가 높은 문제임을 보여주는 하드네스 결과를 확립하는 것.

제안 방법

• 나무 분해에 기반한 동적 프로그래밍 알고리즘을 설계하며, 가방에 포함된 연결 성분을 분할 ρ₁과 ρ₂, 그리고 정점의 부분집합 S를 추적한다.
• 나무 분해 연산인 정점 도입, 간선 도입, 정점 忽시, 노드 결합에 대한 재귀적 상태 전이를 사용한다.
• 벨 수를 사용해 가방의 분할 수를 상한으로 제시하며, 이로 인해 너비 기반 계산에서 2^O(tw log tw) × n 시간 복잡도를 도출한다.
• 또는 조합 기법을 적용해 근사화 및 커널화 하한을 증명한다.
• Largest st-Bond에 대해 동적 프로그래밍 공식을 수정하며, 모든 상태에서 s ∈ S 및 t ∉ S를 고정한다.
• 가우스 소거법 스타일 기법을 사용해 너비에 대한 지수적 의존도를 단일 지수 시간으로 줄이지만, 논문은 이를 최적화 방향으로 언급한다.

실험 결과

연구 질문

• RQ1 평면 이분 그래프에 대해 Largest Bond 문제는 NP-난이도인가?
• RQ2 Largest Bond 문제는 상수 요소 근사화가 가능하며, 근사 알고리즘의 한계는 무엇인가?
• RQ3 Largest Bond 문제는 너비 또는 해의 크기로 매개변수화했을 때 고정 매개변수 다항 시간(FPT)인가?
• RQ4 Largest Bond 및 Largest st-Bond 문제는 표준 복잡도 가정 하에 다항식 커널을 갖는가?
• RQ5 특히 평면 그래프에서 Largest Bond의 복잡도는 최대 컷 문제와 어떻게 비교되는가?

주요 결과

• Largest Bond는 평면 이분 그래프일지라도 NP-난이도이며, 일반 그래프를 초월한 강력한 난이도를 보여준다.
• P = NP가 아닐 경우 상수 요소 근사화 알고리즘이 존재하지 않으며, 이는 강력한 근사화 불가능성을 시사한다.
• Largest Bond 및 Largest st-Bond 문제는 클리크 너비 w에 대해 f(w) × n^O(w) 시간 내에 해결 가능하지만, Exponential Time Hypothesis가 실패할 경우 f(w) × n^o(w) 시간 내에 해결 가능하지 않다.
• 해의 크기 k로 매개변수화했을 때 두 문제 모두 고정 매개변수 다항 시간(FPT)이며, f(k) × n^O(1) 시간 내에 실행 가능한 알고리즘이 존재한다.
• Largest Bond 및 Largest st-Bond 문제는 NP ⊆ coNP/poly가 아닐 경우 다항식 커널을 갖지 않으며, 이는 강력한 커널화 하한을 시사한다.
• 나무 분해 기반 동적 프로그래밍 접근법은 2^O(tw log tw) × n 시간 내에 실행 가능하며, 가우스 소거법 기법을 통해 향상 가능성이 있다.