MAX2SATの解答付き例題生成アルゴリズムの提案
スポンサーリンク
概要
- 論文の詳細を見る
MAX2SATのための例題生成アルゴリズムを提案する.このアルゴリズムは,例題を生成するとともにその最適解も出力する.最適解を定めるためにexpanderグラフの性質を用いた.
- 一般社団法人情報処理学会の論文
- 1999-11-08
著者
関連論文
- On NK-Community Problem (Theoretical Computer Science and its Applications)
- 25pQK-12 正解が埋め込まれたグラフ等分割問題の統計力学的解析(ネットワーク一般・情報統計力学,領域11,統計力学,物性基礎論,応用数学,力学,流体物理)
- MAX-2SAT問題の平均時間計算量の解析
- MAX-2SAT問題の平均時間計算量の解析
- A Message Passing Algorithm for MAX2SAT(New Trends in Theory of Computation and Algorithm)
- On generating instances for MAX2SAT with optimal solutions (Evolutionary Advancement in Fundamental Theories of Computer Science)
- MAX2SATの解答付き例題生成アルゴリズムの提案
- SATを解くO^^〜(1.234^m)時間決定性アルゴリズム
- 3-SATを解くあるローカルサーチアルゴリズムの上界の別証明
- 3-SATを解くあるローカルサーチアルゴリズムの上界の別証明