[論文レビュー] Improved algorithms for 3-coloring, 3-edge-coloring, and constraint satisfaction

David Eppstein|arXiv (Cornell University)|Jan 9, 2001

Constraint Satisfaction and Optimization参考文献 21被引用数 88

ひとこと要約

本稿では、3色塗り分け、3辺色分け、3-SATを制約充足問題（CSP）として定式化し、特に(3,2)-CSPおよび(2,3)-CSPとして扱うことにより、指数時間アルゴリズムの改善を提案する。デイヴィス・パットナム型バックトラッキングと高度なマッチングおよびネットワークフロー技術を組み合わせることで、これらのNP完全問題におけるより速い最悪ケース時間計算量を達成し、従来の結果を顕著に上回る。

ABSTRACT

We consider worst case time bounds for NP-complete problems including 3-SAT, 3-coloring, 3-edge-coloring, and 3-list-coloring. Our algorithms are based on a constraint satisfaction (CSP) formulation of these problems; 3-SAT is equivalent to (2, 3)-CSP while the other problems above are special cases of (3, 2)-CSP. We give a fast algorithm for (3, 2)-CSP and use it to improve the time bounds for solving the other problems listed above. Our techniques involve a mixture of Davis-Putnam-style backtracking with more sophisticated matching and network flow based ideas.

研究の動機と目的

• 3色塗り分け、3辺色分け、3-SATなどのNP完全問題の最悪ケース時間計算量の境界を改善すること。
• 制約充足問題（CSP）を用いて、特に(3,2)-CSPおよび(2,3)-CSPを用いて、これらの問題を共通の枠組みで統一すること。
• バックトラッキングと組み合わせる新しい(3,2)-CSP用アルゴリズムを開発すること。
• 改善された(3,2)-CSPアルゴリズムを応用し、特定のNP完全問題をより高速に解くアルゴリズムを導出すること。
• 探索とフローに基づく最適化を組み合わせたハイブリッドアプローチにより、よりタイトな理論的時間計算量境界を確立すること。

提案手法

• 3色塗り分け、3辺色分け、3-SATを制約充足問題として定式化：3色塗り分けと3辺色分けは(3,2)-CSPとして、3-SATは(2,3)-CSPとして扱う。
• デイヴィス・パットナム型バックトラッキングと効率的なマッチング技術を組み合わせた、(3,2)-CSP用の高速アルゴリズムを設計する。
• ネットワークフロー手法を統合し、CSPソルバーにおける探索空間の縮小と制約伝播の高速化を図る。
• 3色塗り分け、3辺色分け、3リスト色分けをより効率的に解くために、(3,2)-CSPアルゴリズムをサブルーチンとして応用する。
• フローに基づくマッチングを指針とする再帰的分解と pruning 策略を用いて、最悪ケース性能を向上させる。

実験結果

リサーチクエスチョン

• RQ1 統一的なCSP定式化により、3色塗り分けおよび関連問題の時間計算量を改善できるか？
• RQ2 マッチングとネットワークフローを用いてバックトラッキングをどのように強化し、指数的探索空間を縮小できるか？
• RQ3 ハイブリッド探索とフロー技術を用いることで、(3,2)-CSPの理論的時間計算量境界はどの程度改善されるか？
• RQ4 改善された(3,2)-CSPアルゴリズムは、3色塗り分けと3辺色分けをどの程度高速化できるか？
• RQ5 同じ枠組みを3リスト色分けと3-SATに拡張でき、同等の性能向上が得られるか？

主な発見

• 本稿では、以前に知られていたアルゴリズムよりも速い最悪ケース時間計算量の(3,2)-CSPが達成され、これが主な改善点である。
• 提案されたアルゴリズムにより、3色塗り分けと3辺色分けの時間計算量が、従来の指数的時間境界を顕著に上回る。
• ネットワークフローとマッチング技術をバックトラッキングに統合することで、探索空間の顕著な削減が達成された。
• 3-SATの時間計算量も、同じ枠組みを用いて(2,3)-CSPに帰着させることで、向上した。
• 探索と組合せ最適化を組み合わせたハイブリッド手法が、これらの問題において純粋なバックトラッキングよりも優れた理論的性能を示すことが実証された。