人力検索はてな
モバイル版を表示しています。PC版は
こちら
命題論理式をそのCNFに変換するアルゴリズムの計算量は何でしょうか?参考文献と共にご提示ください。
(What is the computational complexity of conversion from
a propositional formula to that in cnf?)
●質問者:
ktakashi
●カテゴリ:
コンピュータ
科学・統計資料
○ 状態 :キャンセル
└ 回答数 : 0/0件
回答がありません
関連質問
非常に狭く限定された形式を持つ英文によって、全ての文を表現し…
「狼と犬の関係と、虎と猫の関係は等しい」という命題が正しいか…
趣味で、ブログエントリを形態素解析し語のTFIDFを取得して、NMF…
●質問をもっと探す●
0.
人力検索はてなトップ
8.
このページを友達に紹介
9.
このページの先頭へ
□
対応機種一覧
□
お問い合わせ
□
ヘルプ
/
お知らせ
□
ログイン
□
無料ユーザー登録
□
はてなトップ