実施課題2-Satisfiability問題

Question

を実装したいの2-土問題100000の文字列.であり200000頂点.っと言っても過言ではないと配列のすべての連絡が頂点からの各頂点のスペースの複雑さ O(200000^2) るのは困難だが割れました。てくださいげつ効率的な実施2-土問題です。

Answer 1

から wikipedia:

...2-satisfiability解決することができる多項式時間でとして Aspvall,Plass&Tarjan(1979) 観測、2-satisfiabilityインスタンスが命と絆を巡る物語が幕を開ける場合にだけ、その各変数のインスタンスに属する強連結成分の意味グラフの否定と同じです。以来、強力接続部品が見つからないか、誤りがある場線形時間アルゴリズムに基づきの深さ優先探索、同様の線形結合に適用として2-satisfiability.

いうものはほぼ問題なく理解する項がいか は アルゴリズムで使用できる解決の2-土問題、記述内で参照される文書線形時間アルゴリズムのための試験の真実を定量boolean式).できるよう購入するオンラインで約20米ドル.さんが役に立たないものがあります。

更新: 無料のPDFが同じ文書です こちらの.信用く liori します。

Answer 2

このスレッド全体はビットが台無しです。はい、1は線形時間で2-SATを解くことはできませんが、ない - あなたはその多くの変数のためにそれを解決することはできません。 2-土を解決するための時間は、200個の000変数について（200000 * 199999）/ 2に達する可能性があり、あなたは、このソリューションを使用する場合、さらにあなたはほぼ同じ量のメモリが必要になります含意の数、に対して線形であります。 。（遅いですが、その多くのメモリを必要としない強連結成分を使用していない）別の解決策があります。