松浦 昭洋 | 京都大学情報学研究科
スポンサーリンク
概要
関連著者
-
松浦 昭洋
京都大学情報学研究科
-
岩間 一雄
京都大学情報学研究科
-
松浦 昭洋
京都大学大学院 情報学研究科 通信情報システム専攻
-
岩間 一雄
京都大学大学院情報学研究科
-
Paterson Mike
Department Of Computer Science University Of Warwick
著作論文
- A-25 k-CNF式に対するInclusion-Exclusion公式における非充足解数計算手法(離散アルゴリズム(2),A.アルゴリズム・基礎)
- k-CNF式に対するInclusion-Exclusion公式について
- SATのいくつかの部分問題の複雑さについて (計算理論とアルゴリズムの新展開)
- 2^n-α個の決定性状態を要するn状態NFAの族について