[논문 리뷰] The Computational Complexity of Disconnected Cut and 2K2-Partition

Barnaby Martin, Daniël Paulusma|arXiv (Cornell University)|2011. 04. 25.

Advanced Graph Theory Research참고 문헌 24인용 수 15

한 줄 요약

이 논문은 비연결 컷 문제의 NP-완전성을 입증하고, 2K₂-분할 문제, 반사적 4순환으로의 정점 준위 호모모르피즘, 그리고 최대 두 개의 이분 클리크로의 클리크 커버 문제와의 동치성을 밝혀내었다. 저자들은 다항시간 환원을 통해 이러한 문제들이 계산적으로 동치임을 증명하고, 여러 그래프 이론 분야에서 오랫동안 미해결 문제로 남아 있던 문제를 해결하였다.

ABSTRACT

For a connected graph G=(V,E), a subset U of V is called a disconnected cut if U disconnects the graph and the subgraph induced by U is disconnected as well. We show that the problem to test whether a graph has a disconnected cut is NP-complete. This problem is polynomially equivalent to the following problems: testing if a graph has a 2K2-partition, testing if a graph allows a vertex-surjective homomorphism to the reflexive 4-cycle and testing if a graph has a spanning subgraph that consists of at most two bicliques. Hence, as an immediate consequence, these three decision problems are NP-complete as well. This settles an open problem frequently posed in each of the four settings.

연구 동기 및 목표

• 연결성 이론, 그래프 호모모르피즘, 그래프 수정과 같은 분야에서 두드러지게 나타났음에도 불구하고 오랫동안 미해결 상태에 있었던 비연결 컷 문제의 계산 복잡도를 해결하기 위함.
• 비연결 컷 문제, 2K₂-분할 문제, 반사적 4순환으로의 정점 준위 호모모르피즘 문제, 최대 두 개의 이분 클리크로의 클리크 커버 문제 간의 계산적 동치성을 확립하기 위함.
• 이 네 가지 문제 모두가 NP-완전임을 증명함으로써, 여러 연구 분야에서 '누락된 케이스'로 지적되었던 오랜 동안의 미해결 문제를 해결하기 위함.
• 이 네 가지 상호연관된 문제에 대한 통합된 복잡도 분류를 제공하여, 기존에 모두 분류가 끝난 4정점 모델 그래프에 비해 빈자리가 있던 문제를 메우기 위함.

제안 방법

• 비연결 컷 문제로의 다항시간 환원을 위해, 구조적 성질을 유지하는 정밀하게 설계된 그래프 변환을 사용하여 2K₂-분할 문제에서 비연결 컷 문제로의 환원을 구성함.
• 그래프 압축 및 레이블링 기법을 통해 비연결 컷 문제와 반사적 4순환으로의 정점 준위 호모모르피즘 문제(표면 C₄-호모모르피즘) 간의 동치성을 증명함.
• 비연결 컷 문제와 최대 두 개의 이분 클리크로의 클리크 커버 문제 간의 동치성을 입증하기 위해, 비연결 컷이 2-이분 클리크 커버에 대응하는 그래프를 구성함.
• 표면 C₄-호모모르피즘 문제로의 3-SAT 환원을 통해 NP-완전성을 입증함. 이때 생성된 그래프는 지름 2를 가지며, 지배적인 비간선을 가져야 함.
• Lemma 6을 적용하여 생성된 그래프가 지름 2를 가지도록 보장함. 이는 이 제약 조건 하에서 NP-완전성을 증명하는 데 필수적임.
• 모순과 케이스 분석을 통해, 타당한 호모모르피즘은 반드시 반사적 4순환의 구조를 유지해야 하므로, 환원의 정당성을 입증함.

실험 결과

연구 질문

• RQ1 비연결 컷 문제의 복잡도는 NP-완전인지, 아니면 다항시간 알고리즘이 존재하는가?
• RQ2 2K₂-분할 문제와 비연결 컷 문제 간에 계산적으로 동치인가?
• RQ3 지름 2인 그래프에 대해 반사적 4순환으로의 정점 준위 호모모르피즘 문제의 복잡도는 NP-완전인가?
• RQ4 비연결 컷 문제를 최대 두 개의 이분 클리크로의 클리크 커버 문제로 환원할 수 있으며, 그 반대도 가능한가?
• RQ5 지름 2이면서 지배적인 비간선을 가진 그래프에 대해 표면 C₄-호모모르피즘 문제의 계산 복잡도는 무엇인가?

주요 결과

• 비연결 컷 문제는 NP-완전임을 입증하여, 그래프 이론에서 오랫동안 미해결 문제로 남아 있던 문제를 해결함.
• 2K₂-분할 문제 역시 NP-완전이며, 비연결 컷 문제와 다항식 동치임을 입증함.
• 지름 2인 그래프에 대해 반사적 4순환으로의 정점 준위 호모모르피즘 문제(표면 C₄-호모모르피즘)는 NP-완전임.
• 최대 두 개의 이분 클리크로의 클리크 커버 문제 역시 NP-완전이며, 비연결 컷 문제와 동치임.
• 비연결 컷, 2K₂-분할, 표면 C₄-호모모르피즘, 2-이분 클리크 커버 문제의 네 가지 문제는 모두 계산적으로 동치이며 NP-완전함.
• 지름 2이면서 지배적인 비간선을 가진 그래프로 제한된 경우에도 NP-완전성은 유지되며, 이는 비자명한 그래프 클래스에서의 난이도를 확인함.