[논문 리뷰] Reconfiguration of Colorable Sets in Classes of Perfect Graphs

Takehiro Ito, Yota Otachi|arXiv (Cornell University)|2018. 01. 01.

Advanced Graph Theory Research참고 문헌 16인용 수 1

한 줄 요약

이 논문은 완벽 그래프에서 c-색 가능 집합의 재구성 문제를 조사하며, c가 고정된 경우 구간 그래프에서는 선형 시간 내로 해결 가능하고, 스플릿 그래프에서는 다항 시간 내로 해결 가능하다는 것을 입증한다. 반면, c가 고정된 상태에서도 코-비교 가능성 그래프와 순환 그래프에서는 여전히 PSPACE-완전하다. 주요 기여는 구간 그래프에서 최단 재구성 시퀀스의 조합적 특성화로, 이는 TAR 및 TJ 규칙에 대한 효율적인 알고리즘을 가능하게 하며, 다양한 그래프 클래스 간의 날카로운 복잡도 경계를 드러낸다.

ABSTRACT

A set of vertices in a graph is c-colorable if the subgraph induced by the set has a proper c-coloring. In this paper, we study the problem of finding a step-by-step transformation (reconfiguration) between two c-colorable sets in the same graph. This problem generalizes the well-studied Independent Set Reconfiguration problem. As the first step toward a systematic understanding of the complexity of this general problem, we study the problem on classes of perfect graphs. We first focus on interval graphs and give a combinatorial characterization of the distance between two c-colorable sets. This gives a linear-time algorithm for finding an actual shortest reconfiguration sequence for interval graphs. Since interval graphs are exactly the graphs that are simultaneously chordal and co-comparability, we then complement the positive result by showing that even deciding reachability is PSPACE-complete for chordal graphs and for co-comparability graphs. The hardness for chordal graphs holds even for split graphs. We also consider the case where c is a fixed constant and show that in such a case the reachability problem is polynomial-time solvable for split graphs but still PSPACE-complete for co-comparability graphs. The complexity of this case for chordal graphs remains unsettled. As by-products, our positive results give the first polynomial-time solvable cases (split graphs and interval graphs) for Feedback Vertex Set Reconfiguration.

연구 동기 및 목표

• 완벽 그래프의 다양한 클래스에서 c-색 가능 집합의 재구성 문제의 계산 복잡도를 이해하고, 독립 집합 재구성 문제의 일반화를 시도한다.
• 재구성 시퀀스의 구조를 구간 그래프에서 c-색 가능 집합에 대해 특성화하여 효율적인 계산을 가능하게 한다.
• 다양한 그래프 클래스에서 문제의 다항식 시간 가능 및 NP-완전 사례의 경계를 특정한다. 특히 c가 고정된 경우와 변수인 경우를 중심으로 한다.
• 피드백 정점 집합 재구성 문제에 대해, 구간 그래프와 스플릿 그래프에서의 양호한 결과를 통해 첫 번째 다항 시간 가능 사례를 확립한다.
• c가 고정된 상수일 때, 순환 그래프에서 문제의 복잡도 상태를 명확히 한다. 이는 아직 미해결 상태이다.

제안 방법

• 정점 수준의 구조 분석과 클리크 분해를 활용하여, 구간 그래프에서 두 c-색 가능 집합 간의 거리에 대한 조합적 특성화를 개발한다.
• 일반 그래프에서의 최단 s–t 경로 재구성 문제에서, 코-비교 가능성 그래프에서의 c-색 가능 집합 재구성 문제로의 감소를 구축하며, TAR, TJ, TS 규칙 하에서 해 구조를 유지한다.
• 일반 그래프에서 경로 재구성 문제로의 감소를 통해, 코-비교 가능성 그래프에서 문제의 PSPACE-완전성을 증명한다. 이는 경로를 클리크와 보조 정점에 매립시키는 구성 기법을 사용한다.
• c가 고정된 스플릿 그래프에서 문제의 다항 시간 가능성을 입증한다. 이는 클리크와 독립 집합의 구조를 활용하고 가능한 구성 수를 유한하게 제한함으로써 달성된다.
• 구간 그래프가 정확히 순환 그래프와 코-비교 가능성 그래프의 교집합임을 이용하여, 긍정적인 결과가 더 이상 확장될 수 없음을 주장한다.
• 결과를 피드백 정점 집합 재구성 문제에 적용하여, TAR 및 TJ 규칙 하에서 구간 그래프와 스플릿 그래프에서 다항 시간 가능성을 입증한다.

실험 결과

연구 질문

• RQ1 TAR 및 TJ 규칙 하에서 구간 그래프에서 c-색 가능 집합의 재구성 문제의 계산 복잡도는 무엇인가?
• RQ2 c가 고정된 경우와 입력의 일부인 경우에 따라, 스플릿 그래프 및 순환 그래프에서 문제의 복잡도는 어떻게 변화하는가?
• RQ3 c가 고정된 상태에서도 코-비교 가능성 그래프와 순환 그래프에서 문제의 PSPACE-완전성은 유지되는가?
• RQ4 구간 그래프에서 c-색 가능 집합의 최단 재구성 시퀀스 문제의 복잡도는 무엇인가?
• RQ5 구간 그래프와 스플릿 그래프에서의 긍정적 결과는 특히 c ≥ 2일 때 TS 규칙으로까지 확장 가능한가?

주요 결과

• TAR 및 TJ 규칙 하에서 구간 그래프에서 c-색 가능 집합의 재구성 문제는 선형 시간 내로 해결 가능하며, 최단 재구성 시퀀스에 대한 조합적 특성화가 존재한다.
• c가 고정된 스플릿 그래프에서는 문제의 다항 시간 가능성이 입증되나, c가 입력의 일부일 경우 PSPACE-완전성이 된다.
• c가 고정된 상태에서도 코-비교 가능성 그래프에서 모든 세 규칙(TAR, TJ, TS) 하에서 문제의 PSPACE-완전성이 유지된다.
• c가 고정된 상태에서도 순환 그래프에서 문제의 PSPACE-완전성은 TAR 및 TJ 규칙 하에서 유지되며, 스플릿 그래프의 경우에도 마찬가지다. 특히 c = 2인 경우의 복잡도는 아직 미해결 상태이다.
• c ≥ 2가 고정된 경우 완벽 그래프에서 문제는 NP-완전성이 되며, 이는 기저 검색 문제의 복잡도 지도를 완성한다.
• 피드백 정점 집합 재구성 문제의 경우, TAR 및 TJ 규칙 하에서 구간 그래프와 스플릿 그래프에서 다항 시간 가능성이 입증되며, 이는 이러한 그래프 클래스에 대해 처음으로 다항 시간 가능 결과를 제공한다.