第28回 (2014)
セッションID: 1D5-OS-11b-5in
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
フーリエ変換を用いた命題論理式の充足可能性に関する考察ー第2報ー
詳細
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
本論文では，命題論理式の充足可能性 (SAT) について，フーリエ変換に基づくスペクトル表現を用いた解析を試みる．第1報では，スペクトル表現における非ゼロフーリエ係数 (NFC) の存在性とSATが等価であることを明らかにした．本稿では，スペクトル表現の問題サイズに相当するNFCの個数 (t値) に注目し，t値を効率的に算出する手法を提案する．
