[論文レビュー] Packing identical simple polygons is NP-hard

Sarah R. Allen, John Iacono|arXiv (Cornell University)|Sep 24, 2012

Computational Geometry and Mesh Generation参考文献 2被引用数 5

ひとこと要約

この論文は、回転と平行移動を許可した場合、小さな単純多角形を *k* 個の同一コピーとして、より大きな単純多角形に詰め込む問題が NP 困難であることを証明している。著者らは、平面回路充足問題（Planar-Circuit-SAT）からの新しい還元を提示し、回路全体を大きな多角形の代わりに小さな多角形の形状に埋め込むことで、両方の入力形状が単純多角形である場合に初めて NP 困難性を確立した。

ABSTRACT

Given a small polygon S, a big simple polygon B and a positive integer k, it is shown to be NP-hard to determine whether k copies of the small polygon (allowing translation and rotation) can be placed in the big polygon without overlap. Previous NP-hardness results were only known in the case where the big polygon is allowed to be non-simple. A novel reduction from Planar-Circuit-SAT is presented where a small polygon is constructed to encode the entire circuit.

研究の動機と目的

• 単純多角形同士の詰め込み問題の計算複雑性を解明すること。この問題は、P に属するかどうかも NP 困難であるのかも以前は不明であった。
• 両方の多角形が単純（穴がない）である場合に NP 困難性を示すことで、計算幾何学における重要な空白を埋めること。
• 回路全体を大きな多角形の構造ではなく、小さな多角形の幾何学的形状に埋め込むことで、新しい還元技術を開発すること。
• 正方形などの特定の形状や非単純多角形にとどまらない、多角形詰め込みの困難性の理解を拡張すること。

提案手法

• 平面グリッド充足問題（Planar-Grid-SAT）—平面回路充足問題の一種—から出発し、多角形詰め込み問題の困難なインスタンスを構築する。
• 論理的状態と回路素子（配線、インバーター、AND ゲート）を符号化するための複雑な非凸な小さな多角形を設計。この多角形には、突出部、内蔵部、マイクロノッチが含まれる。
• 幾何的制約（突出部と内蔵部）によって一意な剛体配置を強制し、回路内の真理値割り当てを模倣する。
• 隣接する多角形の配置における変数の真理値（真／偽）を表すために、ずらされた内蔵部とナイラー（nailers）を導入する。
• 列の偶奇性と回路素子の種別（配線、インバーター、AND ゲート）に応じて、マイクロノッチの位置をプログラミングし、論理的一致性を保証する。
• 大きな多角形は回路論理に依存せず、配置を制約するにはサイズと境界形状のみに依存する。

実験結果

リサーチクエスチョン

• RQ1 k 個の同一の単純多角形を単純な大きな多角形に詰め込む問題は NP 困難か？
• RQ2 回路論理を大きな多角形の構造ではなく、小さな多角形に符号化するような、平面回路充足問題からの還元を構築できるか？
• RQ3 どのような幾何的特徴が、論理的変数やゲートを模倣する一意的または制約付きの詰め込みを強制できるか？
• RQ4 非凸でサイズが可変な小さな多角形を用いて、多角形詰め込み枠組み内で任意の回路論理を模倣できるか？
• RQ5 この構成は、特に凸または定数複雑性の多角形を含む他の多角形詰め込み変種の複雑性にどのような影響を及えるか？

主な発見

• k 個の同一の単純多角形を単純な大きな多角形に詰め込む問題は、NP 困難であることが証明された。
• 還元により、配線、インバーター、AND ゲートを含む完全な平面グリッド充足問題回路が、小さな多角形の形状に符号化された。
• 配置は変数の真理値割り当てを除き一意的であり、幾何的制約（マイクロノッチと内蔵部）によって論理的一致性が保証される。
• 大きな多角形は回路構造に依存せず、配置を制約するにはサイズと境界形状のみに依存する。
• この構成では、多項式サイズの非凸な小さな多角形が使用され、今後の複雑性解析において新たな課題をもたらす。
• 両方の入力多角形が単純である場合に NP 困難性を確立したことで、長年の未解決問題が解決された。