[論文レビュー] Classical and Quantum Algorithms for the Boolean Satisfiability Problem

Carlos Barrón-Romero|arXiv (Cornell University)|Oct 6, 2015

Quantum Computing Algorithms and Architecture参考文献 5被引用数 3

ひとこと要約

本稿は、三値および二値符号化を用いて探索空間を縮小することで、ブール充足可能性問題（SAT）のための新しい古典的および量子的アルゴリズムフレームワークを提案する。古典的SATはNP完全であり、効率的解法が存在しない（NP ≠ P）が、結合された量子ブール変数を用いた量子アルゴリズムは線形時間計算量を達成し、量子計算下ではすべてのNP問題がO(n)時間で解けると示唆している。

ABSTRACT

This paper presents a complete algorithmic study of the decision Boolean Satisfiability Problem under the classical computation and quantum computation theories. The paper depicts deterministic and probabilistic algorithms, propositions of their properties and the main result is that the problem has not an efficient algorithm (NP is not P). Novel quantum algorithms and propositions depict that the complexity by quantum computation approach for solving the Boolean Satisfiability Problem or any NP problem is lineal time.

研究の動機と目的

• 古典的および量子的計算理論の下でのブール充足可能性問題（SAT）の分析を目的とする。
• SATに効率的古典的アルゴリズムが存在しないことを示し、NP ≠ Pの仮説を支持する。
• 量子ブール変数の結合を用いて、SATおよび任意のNP問題を線形時間で解く量子アルゴリズムフレームワークを開発することを目的とする。
• 探索空間を{0,1,2}ⁿから{0,1}ⁿに縮小することで、アルゴリズムの簡略化を図る単純SAT（SSAT）定式化を導入することを目的とする。
• 量子計算がNP問題を効率的に解くためのパラダイムシフトとしての理論的基盤を確立することを目的とする。

提案手法

• 節を二値文字列にマッピングすることで、SAT(n,m)を単純SAT（SSAT）問題に還元する。変数は存在するか、真または偽に制限される。
• 0 = ¬xᵢ、1 = xᵢ、2 = xᵢが存在しないという三値符号化システムを用い、節を三進数に変換する。
• 解が存在しないことを検出する不十分なボード検出アルゴリズムを用い、すべての2ⁿ個の二値組み合わせがカバーされているかを確認する。
• 量子変数をSAT式と結合することで、{0,1}ⁿをO(1)時間で探索する量子アルゴリズム（アルゴリズム5）を提案する。
• 各ビットレベルでSATを評価する再帰的量子ビット割り当て戦略を用い、O(n)の計算量で解を構築する。
• 量子評価を用いてO(n)時間で解なし主張の整合性をテストする検証アルゴリズム（アルゴリズム6）を導入する。

実験結果

リサーチクエスチョン

• RQ1 ブール充足可能性問題は、効率的なアルゴリズム的解析を可能にするより単純な形に還元可能か？
• RQ2 SATを多項式時間で解く決定的古典的アルゴリズムは存在するか？存在しない場合、その理由は何か？
• RQ3 量子計算は、量子変数の結合を通じて、SATおよび他のNP問題を線形時間で解けるか？
• RQ4 量子重ね合わせともつれが、NP決定問題における指数的高速化を可能にする役割は何か？
• RQ5 古典的モデルと量子モデルの間には、NP問題の計算複雑性において根本的な差異があるか？

主な発見

• 本稿は、効率的古典的アルゴリズムがSATに存在しないことから、NP ≠ Pであると結論づける。これは、効率的解法構築のための普遍的性質の存在不可能性によって支持される。
• 単純SAT（SSAT）定式化により、探索空間が3ⁿから2ⁿに縮小され、不十分なボード検出による解の存在の体系的分析が可能になる。
• 古典的アルゴリズムによるSSATはO(2ⁿ)時間で実行され、古典的計算下でのSATの指数的複雑性が確認される。
• 量子アルゴリズム5は、量子重ね合わせとSAT式との結合を活用することで、SATの決定計算量をO(1)に達成する。
• 量子アルゴリズム5はO(n)時間で解を構築し、解の検証は直感的かつ多項式時間で可能である。
• 本稿は、適切な量子計算設計のもとで、すべてのNP問題が線形時間計算量を達成すると主張しており、計算複雑性理論における根本的転換を示唆している。