[논문 리뷰] A Survey on Graph Problems Parameterized Above and Below Guaranteed Values

Gregory Gutin, Matthias Mnich|arXiv (Cornell University)|2022. 07. 25.

Advanced Graph Theory Research인용 수 5

한 줄 요약

이 종합적 서베이는 최적의 하한 또는 상한을 기준으로 매개변수화된 그래프 문제에 대해 고찰하며, Max Cut, Vertex Cover 및 TSP와 같은 문제들에 대한 고정-파rameter 트랙터블리티(fixed-parameter tractability)와 커널리제이션(kernelization)을 중심으로 다룬다. 많은 문제들이 최적의 하한 또는 상한을 초과하거나 하방으로 매개변수화할 경우 효율적인 알고리즘이 존재함을 입증하며, 주요 결과로 다항식 커널과 FPT 알고리즘을 포함한다. 또한 방향 그래프 및 초그래프 설정에서의 열린 문제들을 규명한다.

ABSTRACT

We survey the field of algorithms and complexity for graph problems parameterized above or below guaranteed values, a research area which was pioneered by Venkatesh Raman. Those problems seek, for a given graph $G$, a solution whose value is at least $g(G)+k$ or at most $g(G)-k$, where $g(G)$ is a guarantee on the value that any solution on $G$ takes. The goal is to design algorithms which find such solution in time whose complexity in $k$ is decoupled from that in the guarantee, or to rule out the existence of such algorithms by means of intractability results. We discuss a large number of algorithms and intractability results, and complement them by several open problems.

연구 동기 및 목표

• 최적의 하한 또는 상한을 기준으로 매개변수화된 그래프 문제에 대한 고정-파라미터 알고리즘 분야의 최신 기술을 체계화하고 종합적으로 서술하는 것.
• 이러한 문제들에 대한 고정-파라미터 트랙터블리티(FPT) 알고리즘과 커널리제이션 결과를 규명하고 분석하는 것.
• 특히 방향 그래프 및 초그래프에서의 열린 문제들과 연구 격차를 부각하는 것.
• 고정-파라미터 복잡도 이론 및 그래프 알고리즘 분야의 연구자들에게 통합된 참고 자료를 제공하는 것.
• 최근의 그래프 문제 진전, 특히加법적(additive) 및 곱셈적(multiplicative) 매개변수화에 초점을 맞춰 이전의 서베이를 확장하는 것.

제안 방법

• 논문은 기존 알고리즘과 복잡도 결과를 바탕으로 하한 또는 상한을 기준으로 매개변수화된 그래프 문제에 대해 서베이하며, 가산적 및 곱셈적 매개변수화를 모두 활용한다.
• Max Cut 및 Vertex Cover와 같은 문제들을 분석하기 위해 고정-파라미터 복잡도 이론의 기법, 즉 커널리제이션과 FPT 알고리즘을 적용한다.
• Longest Cycle과 같은 문제들에 대해서는 그래프의 둘레(girth)와 평균 차수를 보장 조건으로 삼고, 이러한 보장 조건을 기준으로 한 복잡도 분석을 수행한다.
• 에드워즈-에르되시 경계, 에르되시-갈라이 경계 등 기존의 극값 그래프 이론 결과를 매개변수화의 최적 보장 조건으로 활용한다.
• 새로운 결과를 증명하며, 예를 들어 Long Cycle 문제에 대해 girth를 기준으로 곱셈적 매개변수화 시 $2^{\mathcal{O}(k^2)}n$ 시간 알고리즘을 제시하고, 표준 복잡도 가정 하에 다항식 커널이 존재하지 않음을 보인다.
• 평균 간선 가중치를 보장 조건으로 삼아 TSP 문제로 확장하며, 평균 가중치 이하로 $k$ 만큼 낮은 해를 찾는 데 고정-파라미터 알고리즘을 증명한다.

실험 결과

연구 질문

• RQ1 Max Cut 문제는 에드워즈-에르되시 경계를 초과하여 매개변수화할 경우 FPT 시간 내에 해결 가능한가?
• RQ2 Long Cycle 문제의 경우 그래프의 둘레를 기준으로 곱셈적 매개변수화로 고정-파라미터 트랙터블리티가 성립하는가?
• RQ3 여행하는 판매원 문제는 평균 가중치 이하로 $k$ 만큼 낮은 해를 찾는 데 고정-파라미터 알고리즘이 존재하는가?
• RQ4 그래프 문제의 고정-파라미터 복잡도는 특히 사이클 및 TSP 문제에 대해 방향 그래프로 확장 가능한가?
• RQ5 그래프의 둘레 $\gamma(G)$에 대해 $\gamma(G)\log\gamma(G)$ 이상의 길이를 갖는 사이클을 찾는 문제의 복잡도는 무엇인가?

주요 결과

• 둘레를 기준으로 곱셈적 매개변수화된 Long Cycle 문제는 $2^{\mathcal{O}(k^2)}n$ 시간 내에 해결 가능하며, 이는 FPT 알고리즘을 증명한다.
• 동일한 문제에 대해서는 다항식 커널이 존재하지 않으며, NP ⊆ coNP/poly 가정 하에 본질적인 복잡도를 지님을 나타낸다.
• 모든 $\varepsilon > 0$ 에 대해 $\gamma(G)^{1+\varepsilon}$를 기준으로 매개변수화할 경우 문제는 para-NP-난이도를 지닌다. 이는 경계의 날카로움을 보여준다.
• 2-연결 그래프에서 $g(G)+k$ 길이의 사이클을 찾는 데 $2^{\mathcal{O}(k)}n^{\mathcal{O}(1)}$ 시간 알고리즘이 존재한다. 여기서 $g(G)$는 에르되시-갈라이 경계이다.
• 평균 가중치 이하로 $k$ 만큼 낮은 해를 갖는 해밀턴 사이클을 찾는 데 고정-파라미터 알고리즘이 존재하며, 이 알고리즘은 $\mathcal{O}(k^3)! + \mathcal{O}(k^3n) + \mathcal{O}(n^7)$ 시간 내에 수행된다.
• 논문은 열린 문제들을 규명하며, 특히 둘레를 기준으로 방향 그래프에서의 Longest Cycle 문제의 고정-파라미터 트랙터블리티와 방향 그래프에서 평균 가중치 이하로 TSP를 해결하는 문제를 포함한다.