[논문 리뷰] Some NP-complete edge packing and partitioning problems in planar graphs

Jed Yang|arXiv (Cornell University)|2014. 09. 08.

Advanced Graph Theory Research참고 문헌 5인용 수 3

한 줄 요약

이 논문은 스패닝 트리와 사이클 또는 경로를 포함하는 세 가지 간선 패킹 및 분할 문제들이 평면 그래프로 제한된 경우에도 여전히 NP-완전임을 증명한다. 평면 3SAT로의 환원을 통해 저자들은 다음에 대해 NP-완전성을 확립한다: (1) 공통된 간선이 없는 스패닝 트리와 사이클의 패킹, (2) 스패닝 트리와 s–t 경로의 패킹, (3) 간선을 스패닝 트리와 일반 트리로 분할 — 이는 Bernáth와 Király가 남긴 미해결 열린 사례를 해결한다.

ABSTRACT

Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not share edges. Bernáth and Király proved that this decision problem is NP-complete and asked if the same result holds when restricting to planar graphs. Similarly, they showed that the packing problem with a spanning tree and a path between two distinguished vertices is NP-complete. They also established the NP-completeness of the partitioning problem of determining whether the edge set of a graph can be partitioned into a spanning tree and a (not-necessarily spanning) tree. We prove that all three problems remain NP-complete even when restricted to planar graphs.

연구 동기 및 목표

• 평면 그래프에서 간선 패킹 및 분할 문제의 계산 복잡도에 관한 미해결 질문을 해결하기 위해.
• 스패닝 트리, 사이클, 경로를 포함하는 문제들의 NP-완전성이 평면 그래프 제약 조건 하에서도 유지되는지 확인하기 위해.
• Bernáth와 Király의 그래프 패킹 및 분할 작업에서 남아 있던 세 가지 열린 사례를 해결하기 위해.

제안 방법

• 기존의 NP-완전 문제인 평면 3SAT에서 환원하여, 간선이 서로 겹치지 않는 또는 분할된 부분그래프가 만족할 수 있는 할당에 대응하는 평면 그래프를 구성하기 위해.
• 논리 변수, 절, 그리고 논리적 제약 조건을 정점과 간선의 구조로 표현하기 위해 특수화된 그래프 기반 장치를 설계하여 제어 가능한 차수를 확보하기 위해.
• 스패닝 트리 및 사이클/경로 부분그래프에서 연결성과 간선 분리 조건을 강제하기 위해 보조 정점과 간선(예: σ, τ, ω)을 구성하기 위해.
• 간선 분리 스패닝 트리 및 사이클/경로 패킹과 동치인 비분리 사이클과 비분리 경로를 사용하기 위해.
• 간선 교환 및 사이클 제거 기법을 통해 초기 트리 및 사이클 부분그래프를 수정하여 연결성과 비순환성을 유지하면서 유효한 분할을 달성하기 위해.
• 평면 이중성의 적용을 통해 비분리 사이클과 비순환 컷 사이의 관계를 규명하고, 관련 분할 문제의 NP-완전성을 강화하기 위해.

실험 결과

연구 질문

• RQ1 공통 간선이 없는 스패닝 트리와 사이클의 패킹 문제는 평면 그래프에서 NP-완전인가?
• RQ2 스패닝 트리와 s–t 경로의 패킹 문제의 NP-완전성은 평면 그래프로 제한된 경우에도 유지되는가?
• RQ3 평면 그래프의 간선 집합을 스패닝 트리와 일반 트리로 분할할 수 있으며, 이 문제의 NP-완전성은 어떻게 되는가?
• RQ4 이러한 문제들의 NP-완전성 결과는 최대 차수 3 또는 4와 같은 더 엄격한 차수 제약 조건 하에서도 유지되는가?
• RQ5 이전에 발표된 평면 그래프에서 비분리 사이클을 찾는 다항식 시간 알고리즘이 올바른가, 아니면 특정 인스턴스에서 실패하는가?

주요 결과

• 공통 간선이 없는 스패닝 트리와 사이클의 패킹 문제는 평면 그래프로 제한된 경우에도 여전히 NP-완전하다.
• 스패닝 트리와 s–t 경로의 패킹 문제 역시 평면 그래프에서 NP-완전하며, 이는 Bernáth와 Király가 제기한 열린 질문을 해결한다.
• 그래프 간선 집합을 스패닝 트리와 일반 트리로 분할하는 문제는 평면 그래프에 대해 NP-완전하다.
• 논문은 이전에 발표된 평면 그래프에서 비분리 사이클을 찾는 다항식 시간 알고리즘에 오류가 있음을 밝히며, 알고리즘이 실패하는 반례를 제시한다.
• 결과적으로 평면 그래프에서 비순환 컷의 존재 여부 문제 역시 NP-완전임을 암시한다. 이는 비분리 사이클과의 평면 이중성에 기인한다.
• 환원 과정은 평면 3SAT를 기반으로 하며, 구성된 그래프의 최대 차수는 4이다. 이는 향후 삼차 그래프로의 차수 감소가 가능할 수 있음을 시사한다.