一人ゲームHi-Qについて(計算アルゴリズムと計算量の基礎理論)
スポンサーリンク
概要
著者
関連論文
- 3充足可能性判定問題3SATの単一解を持つ正例題生成手法
- Expected Length of Longest Common Subsequences of Two Biased Random Strings and Its Application (Algorithm Engineering as a New Paradigm)
- Tractable and Intractable Problems on Generalized Chordal Graphs (Models of Computation and Algorithms)
- Complexity Classes Characterized by Semi-Random Sources
- 一人ゲームHi-Qについて(計算アルゴリズムと計算量の基礎理論)
- オセロゲームの複雑さ
- グラフ理論におけるNL-完全な問題 (形式言語理論とオートマトン理論)
- 2NPDAによるシミュレーションと未解決問題(計算アルゴリズムと計算量の基礎理論)
- 非決定性同時計算量について(計算機科学の基礎理論とその応用)
- k log n決定性領域を必要とする問題(計算機科学の基礎理論)
- Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications)
- ユネート関数におけるプライムインプリカントの最大数 (数理情報科学の基礎理論と応用)
- 制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)
- 石おきゲームと計算の複雑さ (情報科学の数学的基礎理論と応用)
- Goto文のないプログラム形について (計算機構の数学的研究)
- Goto文最小のプログラムについて (組合せ構造とグラフ理論)