[논문 리뷰] Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs

Vincent Cohen-Addad, Éric Colin de Verdière외 2명|arXiv (Cornell University)|2019. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 표면에 임bed된 그래프에서 두 가지 기본적인 컷 문제인 Shortest Cut Graph와 Multiway Cut에 대해 Exponential Time Hypothesis (ETH) 하에 거의 날카로운 조건부 하한을 확립한다. 이는 두 문제에 대한 최고의 알려진 알고리즘들이 로그 인자 수준까지는 최적임을 증명하며, 표면의 종수 g에 대한 매개변수화된 복잡도 이론과 알고리즘 최적성에 오랫동안 열려있던 질문들을 해결한다.

ABSTRACT

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut problem. A cut graph of a graph G embedded on a surface S is a subgraph of G whose removal from S leaves a disk. We consider the problem of deciding whether an unweighted graph embedded on a surface of genus g has a cut graph of length at most a given value. We prove a time lower bound for this problem of n^{Omega(g/log g)} conditionally to ETH. In other words, the first n^{O(g)}-time algorithm by Erickson and Har-Peled [SoCG 2002, Discr. Comput. Geom. 2004] is essentially optimal. We also prove that the problem is W[1]-hard when parameterized by the genus, answering a 17-year old question of these authors. A multiway cut of an undirected graph G with t distinguished vertices, called terminals, is a set of edges whose removal disconnects all pairs of terminals. We consider the problem of deciding whether an unweighted graph G has a multiway cut of weight at most a given value. We prove a time lower bound for this problem of n^{Omega(sqrt{gt + g^2}/log(gt))}, conditionally to ETH, for any choice of the genus g >=0 of the graph and the number of terminals t >=4. In other words, the algorithm by the second author [Algorithmica 2017] (for the more general multicut problem) is essentially optimal; this extends the lower bound by the third author [ICALP 2012] (for the planar case). Reductions to planar problems usually involve a grid-like structure. The main novel idea for our results is to understand what structures instead of grids are needed if we want to exploit optimally a certain value g of the genus.

연구 동기 및 목표

• 표면에 임베딩된 그래프에서 컷 문제의 매개변수화된 복잡도에 대한 이해 격차를 해소하는 것, 특히 종수 g인 표면에 대해.
• 17년 전에 제기된 열린 문제인 Shortest Cut Graph 문제의 종수에 따라 매개변수화된 FPT 알고리즘이 존재하는지 여부를 해결하는 것.
• Multiway Cut 문제에 대해 기존의 평면 그래프에서의 하한을 고종수 표면으로 확장하는 것.
• 격자 구조가 아닌 위상적 종수를 활용하는 새로운 감소 기법을 개발하는 것.

제안 방법

• 이중 그래프가 유한 종수의 표면에 임베딩된 이진 CSP 문제로 감소시키며, 변수와 제약 조건 간의 상호작용을 표현하기 위해 크로스 기반 구조를 사용한다.
• 종수 g에 맞게 조정된 평면 유사 감소 프레임워크를 구축하여 격자 구조를 종수 특화된 위상적 구성요소로 대체함으로써 복잡도를 유지한다.
• CSP 인스턴스의 복잡도를 Multiway Cut 문제의 하한과 연결하기 위해 트리폭 기반의 추론을 사용한다.
• 알고리즘의 실행 시간에 대한 하한을 유도하기 위해 Exponential Time Hypothesis (ETH) 를 조건부 가정으로 사용한다.
• 구축된 그래프에서 다중 컷이 인접한 크로스 기반 구조를 통해 일致하도록 보장하는 새로운 감소 기법을 적용한다.
• 이중성 이론과 위상적 그래프 이론의 결과를 조합하여 실행 시간의 지수에 대한 날카로운 하한을 도출한다.

실험 결과

연구 질문

• RQ1 표면의 종수 g에 따라 매개변수화된 Shortest Cut Graph 문제는 FPT인가?
• RQ2 Shortest Cut Graph에 대한 O(n^g) 알고리즘은 f(g)n^O(1) 수준으로 크게 향상시킬 수 있는가?
• RQ3 t개의 종단점이 있는 종수 g의 그래프에 임베딩된 Multiway Cut 문제의 최적 실행 시간은 무엇인가?
• RQ4 평면 Multiway Cut에 대한 ETH 기반 하한을 고종수 표면으로 확장할 수 있는가?
• RQ5 ETH 기반 감소에서 격자 구조가 수행하는 역할을 대체할 종수 g 표면의 구조적 특성은 무엇인가?

주요 결과

• ETH 하에 Shortest Cut Graph 문제는 n^Ω(g / log g)의 조건부 하한을 가짐을 증명하며, Erickson와 Har-Peled의 O(n^g) 알고리즘이 거의 최적임을 입증한다.
• Shortest Cut Graph 문제는 종수 g에 따라 매개변수화할 경우 W[1]-난이도를 가지며, 17년 전에 제기된 열린 문제를 해결한다.
• t개의 종단점이 있는 종수 g의 그래프에서 Multiway Cut 문제에 대해 ETH 하에 n^Ω(√(gt) + g² + t / log(g+t))의 조건부 하한이 존재하며, 알려진 최고의 알고리즘과 로그 인자 수준까지 일치한다.
• 감소 프레임워크는 격자 기반 구성요소를 종수 인식 위상 기반의 구조요소로 대체하여 고종수 표면에서 날카로운 하한을 도출할 수 있도록 한다.
• 이 논문은 평면 알고리즘에서의 제곱근 현상이 동일한 방식으로 고종수 그래프로 확장되지 않음을 증명하며, 지수는 종수와 종단점 수에 모두 의존함을 보여준다.
• ETH가 성립하지 않는 한, t개의 종단점이 있는 종수 g의 그래프에서 Multiway Cut 문제를 O(n^α√(gt) + t / log(g+t)) 시간 이내에 해결할 수 있는 알고리즘이 존재하지 않음을 암시한다.