[논문 리뷰] Yin-Yang Puzzles are NP-complete

Erik D. Demaine, Jayson Lynch외 2명|arXiv (Cornell University)|2021. 06. 29.

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

한 줄 요약

이 논문은 평면 4-정규 트리 잔여 정점 분할(TRVB) 문제를 격자 그래프 분할 문제로 감소시켜, 인영 퍼즐이 NP-완전임을 증명한다. 표준 인영 퍼즐(2×2 규칙 포함)과 이 규칙이 없는 변형 모두에 대해 NP-완전성을 입증하여, 사전에 색이 칠해진 셀이 존재하는 경우에도 해가 존재하는지 여부를 판단하는 것이 계산적으로 비가역적임을 보여준다.

ABSTRACT

We prove NP-completeness of Yin-Yang / Shiromaru-Kuromaru pencil-and-paper puzzles. Viewed as a graph partitioning problem, we prove NP-completeness of partitioning a rectangular grid graph into two induced trees (normal Yin-Yang), or into two induced connected subgraphs (Yin-Yang without $2 imes 2$ rule), subject to some vertices being pre-assigned to a specific tree/subgraph.

연구 동기 및 목표

• 인영 퍼즐을 푸는 데 필요한 계산 복잡도를 규명하는 것.
• 2×2 규칙(동색 2×2 정사각형 금지)을 포함하는 표준 인영 퍼즐의 NP-완전성을 증명하는 것.
• 2×2 제약 조건이 없는 변형으로 증명을 확장하여, 사전에 할당된 정점이 있는 격자 그래프를 두 개의 연결된 유도 부분그래프로 분할하는 문제의 NP-완전성을 입증하는 것.
• 두 색 클래스가 각각 유도 트리가 되어야 하는 특수한 경우에 대해 NP-완전성을 증명하여, 더 엄격한 구조적 제약 조건에 대한 난이도를 입증하는 것.
• 오직 소수의 셀만 사전에 색이 칠해진 경우에도 문제의 난이도가 유지됨을 보여주어, 희박한 힌트 집합 조건에서도 문제의 난이도가 여전히 높음을 시사하는 것.

제안 방법

• NP-난이도인 평면 4-정규 트리 잔여 정점 분할(TRVB) 문제에서 인영 퍼즐 결정 문제로의 감소.
• TRVB 인스턴스의 정점과 간선을 시뮬레이션하는 격자 그래프 내 정점 및 간선 기반 기반 구조의 설계.
• 중요한(important) 및 중요하지 않은(unimportant) 검은 원을 사용하여 연결성과 사이클 없음을 모델링: 중요한 원은 TRVB 해의 핵심 구조를 나타내며, 중요하지 않은 원은 연결성과 사이클 없음을 유지하는 끈으로 연결된다.
• 검은 원들이 연결되고 사이클이 없음을 만족하는 것은 오직 TRVB 인스턴스에 해가 존재할 때에만 성립하며, 중요하지 않은 원들은 전반적인 구조에 영향을 주지 않는다.
• 상단 행과 하향 방향의 끈을 따라 연결성을 추적함으로써, 전체 검은 부분그래프가 연결되고 사이클이 없음을 보장하며, 이는 중요한 검은 원들이 연결되고 사이클이 없을 때에만 성립함을 증명한다.
• 해의 수를 유지하는 파라시논적 감소(parsimonious reduction)를 사용하여, 인영 퍼즐의 해를 세는 문제와 다른 해가 존재하는지 확인하는 문제 역시 각각 #P-완전 및 NP-완전일 가능성이 있음을 시사한다.

실험 결과

연구 질문

• RQ1 2×2 규칙이 있는지 여부에 관계없이 인영 퍼즐의 결정 문제는 계산적으로 어렵단 말인가?
• RQ2 표준 인영 퍼즐은 사전에 색이 칠해진 정점이 있는 격자 그래프의 분할 문제로 감소될 수 있는가?
• RQ3 두 색 클래스가 단순히 연결된 부분그래프가 아니라 각각 유도 트리가 되어야 하는 경우에도 문제는 여전히 NP-완전한가?
• RQ4 O(n) 정도의 사전에 색이 칠해진 셀만 존재하는 희박한 힌트 집합 조건에서도 NP-완전성은 유지되는가?
• RQ5 유사한 기법을 사용해 인영 퍼즐을 세 개 이상의 색상이나 삼각형, 육각형 격자와 같은 다른 격자 유형으로 일반화할 수 있는가?

주요 결과

• 2×2 규칙을 포함한 표준 인영 퍼즐은 사전에 색이 칠해진 셀이 존재하는 경우에도 여전히 NP-완전하다.
• 2×2 규칙이 없는 변형 역시 NP-완전이며, 사전에 할당된 정점이 있는 격자 그래프를 두 개의 연결된 유도 부분그래프로 분할하는 문제에 해당한다.
• 두 색 클래스가 모두 유도 트리가 되어야 하는 특수한 경우 역시 NP-완전이며, 더 엄격한 구조적 제약 조건에 대한 난이도를 입증한다.
• TRVB로부터의 감소는 파라시논적이라 해의 수가 유지되므로, 인영 퍼즐의 해를 세는 문제와 다른 해가 존재하는지 확인하는 문제 역시 각각 #P-완전 및 NP-완전일 가능성이 있다.
• 증명 기법은 희박한 사전에 색이 칠해진 힌트 집합 조건에서도 문제의 난이도가 유지됨을 시사하지만, o(n) 수준의 힌트를 달성하기 위해서는 새로운 인코딩 전략이 필요할 것이다.
• 세 개 이상의 색상이나 삼각형, 육각형 격자로의 일반화 역시 NP-완전일 가능성이 있으며, 유사한 증명 기법이 적용될 것으로 예상된다.