スポンサーリンク

群馬大学工学研究科情報工学専攻 | 論文

• 単調論理関数と擬似補関数に対する近似モデル(計算モデルと計算の複雑さに関する研究)
• 否定制約のもとでのクリーク関数の複雑さに対する指数関数の下界
• 単調論理関数と擬似補関数に対する近似モデル
• 非単調論理回路に対する Razborov の近似モデルの構造
• 制限付回路モデルに対するRazborovの近似法の適用
• k-限定独立性に基づいたDNFの近似アルゴリズム

• < 前のページ

スポンサーリンク