[논문 리뷰] Hamiltonicity is Hard in Thin or Polygonal Grid Graphs, but Easy in Thin Polygonal Grid Graphs

Erik D. Demaine, Mikhail Rudoy|arXiv (Cornell University)|2017. 06. 30.

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

한 줄 요약

이 논문은 아크린 등(2007)에서 제기한 두 개의 열린 문제를 해결하면서, 정사각형 다각형 격자 그래프와 육각형 얇은 격자 그래프에서 해밀턴성의 NP-완전성을 증명한다. 또한 격자 그래프가 동시에 얇고 다각형일 경우 해밀턴성이 다항시간 내에 해결 가능해지며, 이는 정사각형, 삼각형, 육각형 격자에서 새로운 다항시간 해결 가능 케이스를 제공한다. 이는 차수 제약이 있는 정점 분할 문제로의 감소를 통해 이루어진다.

ABSTRACT

In 2007, Arkin et al. initiated a systematic study of the complexity of the Hamiltonian cycle problem on square, triangular, or hexagonal grid graphs, restricted to polygonal, thin, superthin, degree-bounded, or solid grid graphs. They solved many combinations of these problems, proving them either polynomially solvable or NP-complete, but left three combinations open. In this paper, we prove two of these unsolved combinations to be NP-complete: Hamiltonicity of Square Polygonal Grid Graphs and Hamiltonicity of Hexagonal Thin Grid Graphs. We also consider a new restriction, where the grid graph is both thin and polygonal, and prove that Hamiltonicity then becomes polynomially solvable for square, triangular, and hexagonal grid graphs.

연구 동기 및 목표

• 제한된 격자 그래프에서 해밀턴성의 복잡도에 관한 두 개의 열린 문제를 해결하기 위해, 특히 정사각형 다각형 격자 그래프와 육각형 얇은 격자 그래프에 대해 연구한다.
• 얇고 다각형 격자 그래프의 교차 영역에서 해밀턴성의 복잡도를 조사한다.
• 고체 정사각형 격자 그래프에서 해밀턴성의 다항시간 해결 가능성이 육각형 고체 격자 그래프로도 확장되는지 확인한다.
• 기하학적 및 구조적 제약 조건 하에서 해밀턴성이 여전히 어려운지 또는 해결 가능해지는지를 통합적으로 이해하는 데 기여한다.

제안 방법

• 변수와 절 가드를 사용하여 3-CNF 만족 가능성 문제에서 정사각형 다각형 격자 그래프 및 육각형 얇은 격자 그래프에서 해밀턴 사이클을 구성하기 위한 감소 기법을 적용하며, 선로 상태를 강제로 설정한다.
• 논리적 변수와 절을 시뮬레이션하는 전용 변수 및 절 가드를 설계하며, 참 값 할당에 해당하는 두 개의 강제 선로를 활용한다.
• 특히 육각형 격자에서 효과적인 감소를 통해, 얇고 다각형인 격자 그래프에서 해밀턴성의 다항시간 해결 가능성을 증명하기 위해 최대 차수 3의 트리 잔여 정점 분할 문제로의 감소를 수행한다.
• 사이클 병합 기법과 구조적 분석을 활용하여 감소의 정확성과 해밀턴 사이클 연장에 대한 닫힘 성질을 검증한다.
• 정사각형, 삼각형, 육각형 격자 그래프의 정의를 명시적으로 제시하며, 경계, 내부, 구멍, 픽셀 면 등의 차이를 명확히 한다.
• 3-CNF 공식의 만족 가능성과 구성된 격자 그래프에서 해밀턴 사이클의 존재성 간의 동치성을 증명함으로써, 답을 유지하는 감소를 확립한다.

실험 결과

연구 질문

• RQ1 아크린 등(2007)에서 열어두었던 정사각형 다각형 격자 그래프에서 해밀턴성은 NP-완전한가?
• RQ2 동일한 논문에서 해결되지 않은 또 다른 케이스인 육각형 얇은 격자 그래프에서 해밀턴성은 NP-완전한가?
• RQ3 얇고 다각형 격자 그래프의 특성을 동시에 만족할 경우, 모든 세 가지 격자 유형에서 해밀턴성은 다항시간 내에 해결 가능한가?
• RQ4 아크린 등이 추측한 바와 같이, 고체 정사각형 격자 그래프에서의 다항시간 알고리즘은 육각형 고체 격자 그래프로도 적용 가능한가?
• RQ5 어떤 구조적 특성이 제한된 격자 그래프 클래스에서 효율적인 해밀턴 사이클 탐지 가능성을 결정짓는가?

주요 결과

• 정사각형 다각형 격자 그래프에서 해밀턴성은 NP-완전하며, 아크린 등(2007)에서 제기한 열린 문제를 해결한다.
• 육각형 얇은 격자 그래프에서 해밀턴성은 NP-완전하며, 이전에 해결되지 않은 케이스의 난이도를 확인한다.
• 세 가지 격자 유형인 정사각형, 삼각형, 육각형에서 모두 얇고 다각형인 격자 그래프에서 해밀턴성은 다항시간 내에 해결 가능하다.
• 특히 육각형 격자에서 효과적인 감소를 통해, 최대 차수 3의 트리 잔여 정점 분할 문제로의 감소를 통해 얇고 다각형인 격자에서의 다항시간 해결 가능성이 달성된다.
• 3-CNF에서 격자 그래프로의 감소는 답을 유지하며 다항시간 내에 수행되며, 이는 두 새로운 난이도 케이스에서의 NP-완전성을 입증한다.
• 마지막으로 남은 열린 문제인 육각형 고체 격자 그래프에서의 해밀턴성은 아직 해결되지 않았지만, 저자들은 이 경우도 다항시간 내에 해결 가능할 것으로 추측한다.