[論文レビュー] Symmetry within Solutions

Marijn J. H. Heule, Toby Walsh|arXiv (Cornell University)|Apr 15, 2010

Graph Labeling and Dimension Problems参考文献 18被引用数 7

ひとこと要約

本論文は、制約充足問題の個々の解に内在する対称性である内部対称性の概念を導入する。これは、異なる解の間を写像する従来の解対称性とは補完的である。内部対称性を特定し、対称性を破る制約を用いて強制することで、探索空間を著しく削減し、最先端の性能向上を達成した。具体的には、ヴァン・ダール・ワーデン数の下界を約10%向上させ、サイズ24のダブルホイールグラフに対する最初のグレースフルラベルリングを発見した。

ABSTRACT

We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping between different solutions of the same problem. We argue that we may be able to exploit both types of symmetry when finding solutions. We illustrate the potential of exploiting internal symmetries on two benchmark domains: Van der Waerden numbers and graceful graphs. By identifying internal symmetries we are able to extend the state of the art in both cases.

研究の動機と目的

• 制約充足問題の解における内部対称性の概念を形式的に定義すること。
• 解対称性よりもあまり研究されていないが、探索空間の削減に効果的に利用可能な内部対称性であることを示すこと。
• 内部対称性と解対称性を組み合わせることで、組合せ探索における性能向上が著しく達成されることを示すこと。
• ヴァン・ダール・ワーデン数とグレースフルグラフの2つのベンチマーク分野において、最先端の性能を拡張すること。

提案手法

• 内部対称性を、解 A に対して σ(A) = A を満たす対称性 σ として定義する。これは、解が σ に関して不変であることを意味する。
• 対称性集合 Σ* の閉包を用いて、基本部分集合 B と対称性 Σ から解内のすべての割り当てを生成する。
• 内部対称性を強制する対称性を破る制約を導入し、探索を対称的な解に制限する。
• 既存の解対称性を破る手法と組み合わせて、内部対称性制約を適用し、探索空間を削減する。
• ヴァン・ダール・ワーデン数の文脈では、内部対称性を強制することで、下界を約10%向上させた。
• グレースフルグラフの文脈では、σ₄ₙ（ハブが0または4nに位置する）および σ₊₂（ラベルを+2シフトする）の内部対称性を強制し、DW₂₄ に対するグレースフルラベルリングを発見した。

実験結果

リサーチクエスチョン

• RQ1 解に内在する内部対称性—すなわち、1つの解内で成立する対称性—を形式的に定義し、異なる解を写像する解対称性とは明確に区別できるか？
• RQ2 内部対称性は、どのようにして検出され、制約充足問題における探索空間の削減に利用可能か？
• RQ3 既存の解対称性を破る技法と組み合わせた内部対称性制約によって、どのような性能向上が達成できるか？
• RQ4 内部対称性は、ヴァン・ダール・ワーデン数やグレースフルグラフのような組合せ探索問題において、どれほど最先端の性能を拡張できるか？

主な発見

• 著者らは、4次正方形の880通りの通常の魔方陣のうち48つが、σ_inv ∘ σ_180 という内部対称性を含んでいることを発見した。これは、内部対称性が普遍的ではなく、解に依存するものであることを示している。
• ヴァン・ダール・ワーデン数の文脈では、内部対称性を強制することで、下界が約10%向上し、既知の範囲が拡張された。
• グレースフルグラフの分野では、本手法により、以前は未知であったダブルホイールグラフ DW₂₄ に対するグレースフルラベルリングが初めて発見された。
• DW₂₄ のグレースフルラベルリングの計算コストは、内部対称性 σ₄ₙ および σ₊₂ を強制したことで、7200秒以上から602.09秒にまで低下した。
• 内部対称性制約の効果は、特に大きなインスタンスで顕著であった。DW₂₀ では、時間は7200秒以上から117.08秒にまで短縮された。
• 結果として、内部対称性と解対称性の破る技法を組み合わせることで、特に難易度の高い組合せ探索問題において顕著な性能向上が達成されることを示した。