最終更新日:2025/12/02

The paper presents a Cook reduction that transforms any instance of SAT into an instance of the new constraint problem in polynomial time.

正解を見る

The paper presents a Cook reduction that transforms any instance of SAT into an instance of the new constraint problem in polynomial time.

音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文

その論文は、任意のSATのインスタンスを多項式時間で新しい制約問題のインスタンスに変換する多項式時間チューリング還元を提示している。

Sentence quizzes to help you learn to read

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★