[논문 리뷰] NP-hardness results for partitioning graphs into disjoint cliques and a triangle-free subgraph

Carl Feghali, Faisal N. Abu-Khzam외 1명|arXiv (Cornell University)|2014. 03. 20.

Advanced Graph Theory Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 그래프의 정점을 서로소 클리크와 삼각형 없는 부분그래프로 분할하는 문제의 NP-완전성을 입증하며, 평면 그래프와 완벽한 그래프로 제한된 경우에도 계산적으로 해결 불가능하다는 것을 보여준다. 이 결과는 알려진 NP-난이도 문제를 중요한 그래프 계열으로 확장하여, 구조적 그래프 분할의 본질적 복잡성을 부각시킨다.

ABSTRACT

This paper investigates the computational complexity of deciding whether the vertices of a graph can be partitioned into a disjoint union of cliques and a triangle-free subgraph. This problem is known to be $\NP$-complete on arbitrary graphs. We show that this problem remains $\NP$-complete even when restricted to planar graphs and perfect graphs.

연구 동기 및 목표

• 그래프를 서로소 클리크와 삼각형 없는 부분그래프로 분할하는 문제의 계산 복잡도를 규명하는 것.
• 이 분할 문제의 NP-완전성이 평면성 및 완전성과 같은 구조적 제약 조건 하에서도 유지되는지 조사하는 것.
• 일반 그래프를 초월하여 그래프 분할 문제의 NP-난이도를 이해하는 데 기여하는 것.
• 클리크와 삼각형 없는 구성요소를 포함하는 특정 유형의 그래프 분해에 대해 날카로운 복잡도 경계를 설정하는 것.

제안 방법

• 평면성 및 완벽한 그래프 조건을 만족시키는 경우의 난이도를 입증하기 위해 알려진 NP-완전 문제로의 축소.
• 분할 성질을 유지하면서도 평면성과 완벽한 그래프 조건을 만족시키는 그래프 인스턴스의 구축.
• 결과 그래프가 평면성과 완벽성을 모두 만족하면서도 분할 결정 문제의 NP-완전성을 유지하도록 구조적 그래프 이론을 활용.
• 구축된 인스턴스에서 클리크와 삼각형 없는 부분그래프로의 유효한 분할이 원래의 NP-완전 문제의 해와 정확히 대응됨을 공식적으로 증명.
• 완벽한 그래프와 평면 그래프의 성질을 적용하여 축소의 정확성과 완전성을 유지하는 것.

실험 결과

연구 질문

• RQ1 그래프를 서로소 클리크와 삼각형 없는 부분그래프로 분할하는 문제는 평면 그래프에서 NP-완전인가?
• RQ2 이 분할 문제의 NP-완전성은 완벽한 그래프로 제한되었을 때도 유지되는가?
• RQ3 이 분할 문제의 NP-난이도를 평면성 및 완전성과 같은 구조적 제약 조건을 유지하는 축소를 통해 증명할 수 있는가?
• RQ4 이러한 분할 문제의 계산 복잡도는 잘 구조화된 그래프 계열에서는 어떻게 되는가?

주요 결과

• 일반 그래프에서 그래프를 서로소 클리크와 삼각형 없는 부분그래프로 분할하는 문제는 NP-완전하다.
• 이 문제는 평면 그래프로 제한된 경우에도 여전히 NP-완전하며, 평면성이 문제를 단순화하지 못한다는 것을 보여준다.
• 이 문제는 완벽한 그래프로 제한된 경우에도 여전히 NP-완전하며, 완전성이 계산 난이도를 감소시키지 못한다는 것을 시사한다.
• 이러한 구조적 제약 조건 하에서도 NP-완전성이 유지되어, 이 유형의 그래프 분해에 내재된 난이도를 보여준다.