MojaCoder
Playground
問題
問題を投稿
コンテスト
コンテストを作成
EN
JA
登録
サインイン
Solve 3-SAT
2 secs
1024 MB
magurofly
Tweet
問題
提出
テストケース
解説
3-SAT の乱択アルゴリズム
を使うことにより
O
(
1.33
4
V
)
O(1.334^V)
O
(
1.33
4
V
)
時間で解くことができます。