時間内にSATISFIABILITY問題を解決するために最もよく知られている空間要求は何ですか?

私はSATISFIABILITY問題のための最適な空間要求アルゴリズムを見つけるために多くを探しましたが、私はDSPACE(n)にある無理強い力よりも良いものは何も見つかりませんでした。より良い境界が存在するか?最もよく知られているものは何ですか?

ベストアンサー

If I understand your question correctly, as far as I understand
this is computational-model dependent. An excellent lecture on the
subject by Prof. Ryan O’Donnell can be found here: https://www.youtube.com/watch?v=_nCBH_lVjGU

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です