[論文レビュー] Rigid Foldability is NP-Hard

Hugo A. Akitaya, Erik D. Demaine+4 more|arXiv (Cornell University)|Dec 4, 2018

Advanced Materials and Mechanics参考文献 12被引用数 6

ひとこと要約

この論文は、すべての山折り・谷折りを用いる場合と、オプションの折り目を許容する場合の両方において、折り目パターンの剛体折り畳み可能性を決定することはNP困難であることを証明している。著者らは、分割問題への還元により、すべての折り目を用いるモデルにおける弱いNP困難性を確立し、1-in-3 SATへの還元により、オプションの折り目を許容するモデルにおける強いNP困難性を示した。これは、複雑さが自己交差や層の順序付けではなく、頂点における組み合わせ的制約に起因することを示している。

ABSTRACT

In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction from 1-in-3 SAT. Unlike flat foldability of origami or flexibility of other kinematic linkages, whose complexity originates in the complexity of the layer ordering and possible self-intersection of the material, rigid foldability from a planar state is hard even though there is no potential self-intersection. In fact, the complexity comes from the combinatorial behavior of the different possible rigid folding configurations at each vertex. The results underpin the fact that it is harder to fold from an unfolded sheet of paper than to unfold a folded state back to a plane, frequently encountered problem when realizing folding-based systems such as self-folding matter and reconfigurable robots.

研究の動機と目的

• 剛体パネルが回転ヒンジで接続された折り目パターンにおける剛体折り畳み可能性の計算複雑性を特定すること。
• 自己交差の懸念がなくとも剛体折り畳み可能性が依然として困難であることを示し、他の折り畳み問題と区別すること。
• すべての折り目を用いる場合とオプションの折り目を許容する場合の剛体折り畳み可能性の複雑さの違いを分析すること。
• 困難さの原因が自己交差や層の順序付けではなく、局所的な頂点制約に起因することを示すこと。

提案手法

• 分割問題への還元により、すべての折り目を用いた剛体折り畳み可能性の弱いNP困難性を証明する。
• 1-in-3 SATへの還元により、オプションの折り目を許容する剛体折り畳み可能性の強いNP困難性を確立する。
• 論理的制約を強制し、折り畳み速度を同期化するように設計された特殊な折り畳みガジェット（スプリッタ、ステアレージスプリッタ、ワイドニングスプリッタ、90°回転クロスオーバー）の開発。
• 回転行列と等長折り畳みモデルを用いて、剛体折り畳みを連続的かつ区分的測地的変換として形式化し、面の剛性を保持する。
• 変数と節のガジェットが論理変数と制約を符号化する水平および垂直のワイヤーを持つ平面折り目パターンの構築。
• 異なるワイヤー速度（1, p, p²）を用いた差動ワイヤー速度による折り畳み速度の同期化により、パターン全体にわたる折り畳み信号の一貫した伝搬を確保する。

実験結果

リサーチクエスチョン

• RQ1 すべての折り目を用いた折り目パターンの剛体折り畳み可能性は計算的に困難であり、その複雑さクラスは何か？
• RQ2 オプションの折り目（すなわち、平らのまま残ることが許容される折り目）を許容することで、剛体折り畳み可能性の計算複雑性は低下するか？
• RQ3 剛体折り畳み可能性における困難さの原因は何か—自己交差、層の順序付け、それとも頂点における組み合わせ的制約か？
• RQ4 平面折り目パターンを構築し、その剛体折り畳み可能性が1-in-3 SAT式の充足可能性と正確に一致するようにできるか？
• RQ5 ∃ℝに属するが、NPに属するか、それともより難しいか？剛体折り畳み可能性問題はNPに属するか、それとも厳密に難しいか？

主な発見

• すべての折り目を用いた剛体折り畳み可能性は弱いNP困難であることが、分割問題への還元により証明された。
• オプションの折り目を許容する剛体折り畳み可能性は強いNP困難であることが、1-in-3 SATへの還元により確立された。
• 困難さは自己交差や層の順序付けではなく、頂点における組み合わせ的制約に起因しており、物質的重なりがなくとも成立する。
• スプリッタ、クロスオーバー、速度同期ワイヤーで構成される相互接続された折り畳みガジェットのシステムは、1-in-3 SATのインスタンスをシミュレートでき、式が充足可能である場合にのみ折り畳める。
• 異なるワイヤー種別に異なる速度（1, p, p²）を割り当てることで、折り畳み速度の同期化が達成され、正しい信号伝搬が保証される。
• この結果は、平らな状態からの折り畳みが展開よりも計算的に難しいことを示しており、自己折り畳み材料や再構成可能ロボティクスにおける主要な課題である。