[論文レビュー] Yin-Yang Puzzles are NP-complete

Erik D. Demaine, Jayson Lynch+2 more|arXiv (Cornell University)|Jun 29, 2021

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制約のない変種への証明を拡張し、事前に割り当てられた頂点を持つグリッドグラフの2つの連結誘導部分グラフへの分割問題のNP完全性を示すこと。
• 2つの色クラスが誘導木（induced trees）を形成するというより厳しい制約のもとでのNP完全性を証明し、パズルのより厳密なバージョンに対応すること。
• 事前に色が塗られたセルの数が非常に少ない場合でも問題の難易度が保たれることを示し、スパarsely clues が与えられた場合でも問題が困難である可能性を示唆すること。

提案手法

• NP困難な平面的4正則木残渣頂点分割（TRVB）問題からイン・ヤンパズルの決定問題への還元。
• TRVBインスタンスの頂点と辺の挙動を模倣するグリッドグラフにおける頂点および辺のガジェットの構築。
• 「重要」な黒丸と「重要でない」黒丸の使用：重要な丸はTRVB解のコア構造を表し、重要でない丸は接続性と無閉路性を保つようにひも状の構造で接続される。
• 黒丸が連結でかつ無閉路であることは、かつはTRVBインスタンスに解があることと同値であり、重要でない丸は全体の構造に影響を与えないことの証明。
• 上段の接続と下方へのひもを通じての接続を追跡することで、黒部分グラフ全体が連結でかつ無閉路であることと、重要黒丸が連結であることの同値性を示す。
• 解の数を保つパーサモンアス還元を用い、これによりイン・ヤンパズルの数え上げ問題や別の解の存在を求める問題についても、#P-困難およびNP困難である可能性が示唆される。

実験結果

リサーチクエスチョン

• RQ1 2×2ルールを含むか含まないかにかかわらず、イン・ヤンパズルの決定問題は計算的に困難であるか？
• RQ2 標準的なイン・ヤンパズルは、事前に色が塗られた頂点を持つグリッドグラフへの分割問題に還元可能か？
• RQ3 2つの色クラスが単なる連結部分グラフではなく、誘導木（induced trees）を形成する必要がある場合、問題は依然としてNP完全か？
• RQ4 O(n)個の事前に色が塗られたセルしか与えられていないようなスパarsely clues の状況下でも、NP完全性は保たれるか？
• RQ5 類似の技術を用いて、イン・ヤンパズルを3色以上や三角格子・六角格子などの他のグリッドタイプに一般化できるか？

主な発見

• 2×2ルールを含む標準的なイン・ヤンパズルは、事前に色が塗られたセルがある場合でもNP完全である。
• 2×2ルールのない変種についてもNP完全であり、これは事前に割り当てられた頂点を持つグリッドグラフを2つの連結誘導部分グラフに分割する問題に対応する。
• 両方の色クラスが誘導木を形成するという特別な場合についてもNP完全であることが示され、より厳しい構造的制約のもとでの困難性が証明された。
• TRVBからの還元はパーサモンアスであるため、解の数が保たれ、イン・ヤンパズルの数え上げ問題は#P-困難、別の解の存在を求める問題はNP困難である可能性が示唆される。
• 証明手法から、事前に色が塗られたヒントがスパースな場合でも問題が困難であることが示唆されるが、o(n)個のヒントを達成するには新たな符号化戦略が必要となる。
• 3色以上や三角格子・六角格子への一般化についても、同様の証明手法が適用可能であり、NP困難である可能性が高い。