論理式充足可能性問題の双線形計画問題としての記述―標準形の場合―

萩原 斉  中森 眞理雄  

誌名
電子情報通信学会論文誌 D   Vol.J77-D1   No.7   pp.525-527
発行日: 1994/07/25
Online ISSN: 
DOI: 
Print ISSN: 0915-1915
論文種別: レター
専門分野: 
キーワード: 
充足可能性,  整数計画,  双線形計画,  計算複雑度,  クラスNP,  

本文: PDF(163.3KB)>>
論文を購入




あらまし: 
0-1整数計画問題と論理式充足可能性問題を双線形計画問題として記述し,変数および制約条件式の数を用いて問題の複雑度を定義する方法を示す.