We proved that the new decision problem is Karp-reducible to 3-SAT.
我々はその新しい決定問題がKarp還元可能であり、3-SATに還元できることを示した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
