松浦 昭洋 | 京都大学大学院 情報学研究科 通信情報システム専攻

スポンサーリンク

概要

• 松浦 昭洋の詳細を見る
• 同名の論文著者
• 京都大学大学院 情報学研究科 通信情報システム専攻の論文著者

関連著者

• 松浦 昭洋

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

• 松浦 昭洋

  京都大学情報学研究科

• 岩間 一雄

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

• Paterson Mike

  Department Of Computer Science University Of Warwick

著作論文

• A-25 k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法(離散アルゴリズム(2),A.アルゴリズム・基礎)
• 一定数の充足解を持つCNF式に対する準指数時間アルゴリズム
• 2^n-α個の決定性状態を要するn状態NFAの族について

スポンサーリンク