山本 真基 | 東京工業大学情報理工学研究科数理・計算科学専攻
スポンサーリンク
概要
関連著者
-
山本 真基
東海大理
-
山本 真基
東京工業大学情報理工学研究科
-
山本 真基
東京工業大学情報理工学研究科数理・計算科学専攻
-
渡辺 治
東京工業大学情報理工学研究科数理・計算科学専攻
-
渡辺 治
東工大情報理工
-
渡辺 治
東工大
-
渡辺 治
東京工業大学工学部情報工学科
-
渡辺 治
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
渡辺 治
東京工業大学
-
樺島 祥介
東工大総理工
-
繁住 健哉
東京工業大学
-
樺島 祥介
東工大 総理工
-
中村 篤祥
北海道大学大学院情報科学研究科
-
中村 篤祥
Nec C&cメディア研究所
-
中村 篤祥
Rwcp理論nec研究室
-
樺島 祥介
東京工業大学大学院総合理工学研究科
-
渡辺 治
Tokyo Inst. Technol.
-
WATANABE Osamu
Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology
-
繁住 健哉
東京工業大学情報理工学研究科数理・計算科学専攻
著作論文
- On NK-Community Problem (Theoretical Computer Science and its Applications)
- 25pQK-12 正解が埋め込まれたグラフ等分割問題の統計力学的解析(ネットワーク一般・情報統計力学,領域11,統計力学,物性基礎論,応用数学,力学,流体物理)
- MAX-2SAT問題の平均時間計算量の解析
- MAX-2SAT問題の平均時間計算量の解析
- A Message Passing Algorithm for MAX2SAT(New Trends in Theory of Computation and Algorithm)
- On generating instances for MAX2SAT with optimal solutions (Evolutionary Advancement in Fundamental Theories of Computer Science)
- MAX2SATの解答付き例題生成アルゴリズムの提案
- SATを解くO^^〜(1.234^m)時間決定性アルゴリズム
- 3-SATを解くあるローカルサーチアルゴリズムの上界の別証明
- 3-SATを解くあるローカルサーチアルゴリズムの上界の別証明