[論文レビュー] The complexity of generalized domino tilings

Igor Pak, Jed Yang|arXiv (Cornell University)|May 9, 2013

Cellular Automata and Applications参考文献 21被引用数 6

ひとこと要約

本稿では、ドミノやスラブ（2×2×1タイル）による3次元領域のタイル張りが計算的に困難であることを確立している。決定問題および数え上げ問題の両方が、それぞれNP完全および#P完全である。これは、トポロジカルに単純（可縮可能）な領域に対しても成り立つ。結果は高次元へと拡張され、2次元では効率的に解けるが、3次元以上では根本的なタイル張り問題が計算的に困難になることが示された。

ABSTRACT

Tiling planar regions with dominoes is a classical problem in which the decision and counting problems are polynomial. We prove a variety of hardness results (both NP- and #P-completeness) for different generalizations of dominoes in three and higher dimensions.

研究の動機と目的

• 一般化ドミノおよびスラブを用いた3次元領域のタイル張りの計算複雑性を調査すること。
• トポロジカル制約（可縮性など）が高次元におけるタイリング問題の複雑性を軽減するかどうかを特定すること。
• 古典的ツールが機能しない3次元および高次元における、既知の2次元タイリング結果の拡張。
• 3次元以降の決定問題および数え上げ問題の両方における下界の確立。
• 幾何的・組合的設定における、解ける問題と解けない問題の境界を明確化すること。

提案手法

• 特に3部グラフにおける完全マッチング問題から、ハードなタイリングインスタンスを構築するための還元。
• 3次元グリッド構造へのグラフ埋め込みを用いて、タイリング制約を通じて計算問題をシミュレート。
• 元の計算問題の複雑性を符号化する、一般および可縮可能な特定の3次元領域の構築。
• ヴァリエンの#P完全性結果を3次元ドミノタイリングに適応し、修正された還元を用いて再証明。
• 同じ構築技術を応用し、スラブタイリングおよび可縮可能領域における#P完全性の証明。
• 再帰的または帰納的タイリング構成を用いて、d ≥ 4次元への結果の一般化。

実験結果

リサーチクエスチョン

• RQ1 スラブ（2×2×1タイル）による3次元領域のタイル張り可能性はNP完全か？
• RQ2 可縮可能3次元領域に制限した場合でも、スラブタイリングのNP完全性は維持されるか？
• RQ3 3次元領域におけるドミノタイリングの数え上げ問題は、可縮可能領域に対しても#P完全か？
• RQ4 3次元におけるスラブタイリングの数え上げ問題が#P完全であることを示せるか？
• RQ5 一般化ドミノおよびスラブによるタイリングの計算複雑性は、高次元（d ≥ 4）においてどのようになるか？

主な発見

• 可縮可能であっても、スラブによる3次元領域のタイル張り可能性はNP完全である。
• 3次元領域におけるドミノタイリングの数え上げ問題は#P完全であり、数え上げが決定問題よりも著しく困難であることが確認された。
• 可縮可能領域に制限しても、数え上げ問題は#P完全のままであり、トポロジカルな単純性が計算可能性を回復させないことが示された。
• 3次元領域におけるスラブタイリングの数え上げ問題も#P完全であり、可縮可能領域に対しても同様に成り立つ。
• 結果はd ≥ 4次元へと拡張され、一般化ドミノまたはスラブによるタイリングが高次元でも計算的に困難であることが示された。
• 可縮可能3次元領域におけるドミノまたはスラブタイリングでは、局所的な移動（小さなフリップによる変換）による変換可能性という性質が成り立たない。これは構造的複雑性を示している。