[논문 리뷰] Token Sliding on Split Graphs

Rémy Belmonte, Eun Jung Kim외 4명|arXiv (Cornell University)|2019. 01. 01.

Advanced Graph Theory Research인용 수 5

한 줄 요약

이 논문은 스플릿 그래프에서 토큰 슬라이딩 규칙에 따른 독립집합 재구성의 PSPACE-완전성을 증명하며, 재구성 복잡도 분야의 열린 문제를 해결한다. 또한, 모든 고정된 c ≥ 1에 대해, 순환 그래프에서 c-색칠 가능 재구성 문제는 PSPACE-완전하지만, 스플릿 그래프에서는 n^O(c) 다항시간 알고리즘이 존재한다—다만 c = 1인 경우는 여전히 PSPACE-완전하여, 이 규칙에 대해 스플릿 그래프에서 유일한 딱다이토미를 드러낸다.

ABSTRACT

We consider the complexity of the Independent Set Reconfiguration problem under the Token Sliding rule. In this problem we are given two independent sets of a graph and are asked if we can transform one to the other by repeatedly exchanging a vertex that is currently in the set with one of its neighbors, while maintaining the set independent. Our main result is to show that this problem is PSPACE-complete on split graphs (and hence also on chordal graphs), thus resolving an open problem in this area. We then go on to consider the c-Colorable Reconfiguration problem under the same rule, where the constraint is now to maintain the set c-colorable at all times. As one may expect, a simple modification of our reduction shows that this more general problem is PSPACE-complete for all fixed c >= 1 on chordal graphs. Somewhat surprisingly, we show that the same cannot be said for split graphs: we give a polynomial time (n^{O(c)}) algorithm for all fixed values of c, except c=1, for which the problem is PSPACE-complete. We complement our algorithm with a lower bound showing that c-Colorable Reconfiguration is W[2]-hard on split graphs parameterized by c and the length of the solution, as well as a tight ETH-based lower bound for both parameters.

연구 동기 및 목표

• 스플릿 그래프 및 순환 그래프에서 토큰 슬라이딩 규칙에 따른 독립집합 재구성 문제의 복잡도를 해결하기 위해.
• 고정된 c ≥ 1에 대해 스플릿 그래프에서 c-색칠 가능 재구성 문제의 매개변수화된 복잡도를 조사하기 위해.
• 스플릿 그래프에서 독립집합 재구성의 난이도가 동일한 규칙 하에 더 높은 c 값으로까지 확장되는지 여부를 규명하기 위해.
• c와 해 길이 ℓ에 대해 매개변수화된 c-색칠 가능 재구성 문제에 대해 날카로운 하한을 확립하기 위해.
• 특히 알고리즘 가능성 측면에서, 토큰 슬라이딩과 다른 재구성 규칙 간의 구조적 차이를 스플릿 그래프에서 탐색하기 위해.

제안 방법

• 스플릿 그래프에서 독립집합 재구성의 PSPACE-완전성을 증명하기 위해, 재구성 가능한 지배집합 문제의 변종으로부터의 축소를 수행한다.
• 입력 그래프 G로부터 스플릿 그래프 G′을 구성하며, G에서 크기 k의 지배집합은 G′에서 크기 (n+k)의 k-색칠 가능 집합에 대응한다.
• G에서의 유효한 TJ 이동과 G′에서의 유효한 TS 이동 사이에 일대일 대응을 설정하여 탈취성과 해 길이를 유지한다.
• 이 축소 기법을 응용하여, 모든 고정된 c ≥ 1에 대해 순환 그래프에서 c-색칠 가능 재구성 문제의 PSPACE-완전성을 입증한다.
• c ≥ 2인 경우 스플릿 그래프에서 c-색칠 가능 재구성 문제에 대해 n^O(c) 동적 프로그래밍 알고리즘을 설계한다—c = 1의 경우 제외.
• 지배집합 재구성 문제로부터의 축소를 통해 W[2]-난이도와 ETH 기반 하한을 증명하여, ETH 하에 o(n^{c+ℓ}) 알고리즘이 존재하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 스플릿 그래프에서 토큰 슬라이딩 규칙에 따른 독립집합 재구성 문제의 PSPACE-완전성은 성립하는가?
• RQ2 순환 그래프에서 c = 1에 대해 성립하는 c-색칠 가능 재구성 문제의 PSPACE-완전성은 더 높은 고정된 c 값으로까지 확장되는가?
• RQ3 c = 1일 때 PSPACE-완전이지만, c ≥ 2인 경우 스플릿 그래프에서 c-색칠 가능 재구성 문제는 다항시간 내에 해결 가능한가?
• RQ4 c와 해 길이 ℓ에 대해 매개변수화된 스플릿 그래프에서의 c-색칠 가능 재구성 문제의 복잡도는 어떠한가?
• RQ5 스플릿 그래프에서 토큰 슬라이딩과 다른 재구성 규칙 간에 복잡도 행동에 근본적인 차이가 존재하는가?

주요 결과

• 스플릿 그래프에서 토큰 슬라이딩 규칙에 따른 독립집합 재구성 문제는 PSPACE-완전하며, 이는 분야 내 열린 문제를 해결한다.
• 동일한 문제의 PSPACE-완전성은 순환 그래프 및 홀-프리 그래프에서도 유지되며, 스플릿 그래프가 이들의 부분집합이기 때문이다.
• 모든 고정된 c ≥ 1에 대해, 순환 그래프에서 토큰 슬라이딩 규칙에 따른 c-색칠 가능 재구성 문제는 PSPACE-완전하다.
• 스플릿 그래프에서는 c ≥ 2에 대해 n^O(c) 알고리즘이 존재하지만, c = 1일 땐 여전히 PSPACE-완전하다.
• 모든 세 규칙(TAR, TJ, TS) 하에서, 스플릿 그래프에서 c-색칠 가능 재구성 문제의 매개변수 c와 해 길이 ℓ에 대해 W[2]-난이도이다.
• Exponential Time Hypothesis(ETH) 하에, 스플릿 그래프에서 c-색칠 가능 재구성 문제에 대해 o(n^{c+ℓ}) 알고리즘은 존재하지 않으며, 이는 n^O(c) 알고리즘의 상한과 정확히 일치한다.