3.メタアルゴリズムと計算限界証明の不思議な関係(<小特集>計算限界の解明への多面的アプローチ-P vs NPに向けた最前線-)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-09-01

著者

• 玉置 卓

  京都大学大学院情報学研究科

• 玉置 卓

  京都大学大学院情報学研究科通信情報システム専攻

関連論文

• SAT充足解の偏りを利用した局所探索の高速化
• 平面グラフにおけるHajos Calculusの複雑さについて
• PPSZタイプの充足可能性判定アルゴリズムの成功確率増幅について
• 3.メタアルゴリズムと計算限界証明の不思議な関係(計算限界の解明への多面的アプローチ-P vs NPに向けた最前線-)

スポンサーリンク