[논문 리뷰] Finding Optimal Solutions With Neighborly Help

Elisabet Burjons, Fabian Frei외 3명|arXiv (Cornell University)|2019. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 NP-난이도 그래프 문제인 Colorability와 Vertex Cover의 최적 해가 국소적으로 수정된 이웃 인스턴스(예: 한 간선 삭제 또는 한 간선 추가된 부분 그래프)의 최적 해로부터 효율적으로 계산될 수 있는지 여부를 연구하는 오라클 모델을 제안한다. 이는 최적 색칠이 모든 한 간선 삭제된 부분 그래프의 최적 색칠을 제공받더라도 여전히 NP-난이도임을 보여주지만, 최적 정점 커버는 단 두 개의 간선 추가 초과 그래프에 대한 쿼리만으로 다항 시간 내에 구할 수 있음을 보여주며, 이는 두 문제 간의 뚜렷한 구조적 이분화를 드러내고, β-정점 임계성에 대한 첫 번째 Θp₂-완전성 결과를 확립한다.

ABSTRACT

Can we efficiently compute optimal solutions to instances of a hard problem from optimal solutions to neighboring (i.e., locally modified) instances? For example, can we efficiently compute an optimal coloring for a graph from optimal colorings for all one-edge-deleted subgraphs? Studying such questions not only gives detailed insight into the structure of the problem itself, but also into the complexity of related problems; most notably graph theory’s core notion of critical graphs (e.g., graphs whose chromatic number decreases under deletion of an arbitrary edge) and the complexity-theoretic notion of minimality problems (also called criticality problems, e.g., recognizing graphs that become 3-colorable when an arbitrary edge is deleted). We focus on two prototypical graph problems, Colorability and Vertex Cover. For example, we show that it is NP-hard to compute an optimal coloring for a graph from optimal colorings for all its one-vertex-deleted subgraphs, and that this remains true even when optimal solutions for all one-edge-deleted subgraphs are given. In contrast, computing an optimal coloring from all (or even just two) one-edge-added supergraphs is in P. We observe that Vertex Cover exhibits a remarkably different behavior, demonstrating the power of our model to delineate problems from each other more precisely on a structural level. Moreover, we provide a number of new complexity results for minimality and criticality problems. For example, we prove that Minimal-3-UnColorability is complete for DP (differences of NP sets), which was previously known only for the more amenable case of deleting vertices rather than edges. For Vertex Cover, we show that recognizing beta-vertex-critical graphs is complete for Theta_2^p (parallel access to NP), obtaining the first completeness result for a criticality problem for this class.

연구 동기 및 목표

• NP-난이도 그래프 문제의 최적 해가 국소적으로 수정된 이웃 인스턴스의 최적 해로부터 효율적으로 재구성될 수 있는지 조사하기.
• Colorability와 Vertex Cover와 같은 기본 문제들이 국소적 수정 하에서의 구조적 차이를 명확히 하기.
• 특히 Vertex Cover와 Colorability에 대해 최소성 및 임계성 문제의 새로운 복잡도 결과를 확립하기.
• 최적 해가 이웃 인스턴스에 대한 지침으로서의 힘을 이해하는 데 도움이 되는 도구로서의 지침의 능력을 탐색하기.

제안 방법

• 저자들은 알고리즘이 한 간선 삭제, 한 간선 추가, 한 정점 삭제, 또는 한 정점 추가된 부분 그래프와 같은 이웃 인스턴스의 최적 해를 질의할 수 있는 오라클 모델을 정의한다.
• 간선 삭제, 간선 추가, 정점 삭제, 정점 추가 간의 질의 접근 방식에 따라 최적 해를 재구성하는 계산 복잡도를 분석한다.
• Colorability의 경우, 모든 한 간선 삭제된 부분 그래프의 최적 색칠이 제공된다고 해도 최적 색칠을 계산하는 것이 여전히 NP-난이도임을 증명한다.
• Vertex Cover의 경우, 일반적으로 NP-난이도임에도 불구하고, 단 두 개의 간선 추가 초과 그래프에 대한 쿼리만으로도 최적 정점 커버를 다항 시간 내에 계산할 수 있음을 보여준다.
• 기존의 Θp₂-완전 및 DP-완전 문제들로부터의 감소를 통해 난이도 결과를 증명하며, 특히 β-정점 임계성과 Minimal-3-UnColorability에 초점을 맞춘다.
• 임계성 문제와 부울 계층 간의 밀접한 연결을 확립하며, Minimal-3-UnColorability가 DP-완전임을 증명하고, β-정점 임계성이 Θp₂-완전임을 보여준다.

실험 결과

연구 질문

• RQ1 모든 한 간선 삭제된 부분 그래프의 최적 색칠이 제공될 경우, 그래프에 대한 최적 색칠을 다항 시간 내에 계산할 수 있는가?
• RQ2 모든 한 간선 삭제된 부분 그래프의 최적 정점 커버가 제공될 경우, 최적 정점 커버를 다항 시간 내에 계산할 수 있는가?
• RQ3 간선 추가 초과 그래프에만 접근할 수 있을 경우 최적 해를 재구성하는 복잡도는 어떻게 되는가?
• RQ4 간선 또는 정점 삭제/추가와 같은 국소적 수정 하에서 Colorability와 Vertex Cover의 구조적 성질은 어떻게 다를까?
• RQ5 β-정점 임계성 그래프를 식별하는 정확한 복잡도 클래스는 무엇이며, 부울 계층과의 관계는 어떻게 되는가?

주요 결과

• 모든 한 간선 삭제된 부분 그래프의 최적 색칠이 지침으로 제공된다고 해도, 그래프의 최적 색칠을 계산하는 것은 여전히 NP-난이도이다.
• 반면에, 모든 한 간선 삭제된 부분 그래프의 최적 정점 커버가 제공될 경우, 최적 정점 커버는 다항 시간 내에 계산 가능하다.
• 단 두 개의 간선 추가 초과 그래프에 대한 쿼리만으로도 최적 정점 커버를 다항 시간 내에 계산할 수 있으며, 이는 이 모델에서 간선 삭제와 간선 추가 간의 근본적인 비대칭성을 나타낸다.
• 그래프가 β-정점 임계성임을 판단하는 문제는 Θp₂-완전이며, 이는 이 복잡도 클래스에서 임계성 문제에 대한 첫 번째 완전성 결과이다.
• Minimal-3-UnColorability는 DP-완전임을 증명하였으며, 이는 이전 결과를 확장하고 부울 계층 내 최소성 문제의 난이도를 확인한다.
• 본 연구는 뚜렷한 이분화를 드러낸다: Colorability의 경우 간선 삭제는 난이도를 유지하지만, Vertex Cover의 경우 최소한의 쿼리 접근과 함께 가용성을 가능하게 한다.