検索内容:
その論文は、任意のSATのインスタンスを多項式時間で新しい制約問題のインスタンスに変換する多項式時間チューリング還元を提示している。
計算複雑性を学ぶ大学院生は、決定問題の難しさを比較する際にしばしばクックの還元に遭遇する。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★