研究領域 | 多面的アプローチの統合による計算限界の解明 |
研究課題/領域番号 |
24106008
|
研究種目 |
新学術領域研究(研究領域提案型)
|
配分区分 | 補助金 |
審査区分 |
理工系
|
研究機関 | 東京工業大学 |
研究代表者 |
渡辺 治 東京工業大学, 情報理工学院, 教授 (80158617)
|
研究分担者 |
安藤 映 崇城大学, 情報学部, 助教 (20583511)
伊東 利哉 東京工業大学, 情報理工学研究科, 教授 (20184674)
小柴 健史 埼玉大学, 理工学研究科, 教授 (60400800)
山本 真基 成蹊大学, 理工学部, 准教授 (50432414)
森 立平 東京工業大学, 情報理工学研究科, 助教 (60732857)
|
連携研究者 |
樺島 祥介 東京工業大学, 情報理工学院, 教授 (80260652)
福島 孝治 東京大学, 総合文化研究科, 准教授 (80282606)
|
研究協力者 |
Krzakala Florent Ecole Superieure de Physique et Chimie Industrielle
Zdeborova Lenka CNRS, Institute of Theoret. Physics at CEA
Zhou Haijun Chinese Academy of Sci., Inst. of Theoret. Physics
|
研究期間 (年度) |
2012-06-28 – 2017-03-31
|
研究課題ステータス |
完了 (2016年度)
|
配分額 *注記 |
81,120千円 (直接経費: 62,400千円、間接経費: 18,720千円)
2016年度: 18,590千円 (直接経費: 14,300千円、間接経費: 4,290千円)
2015年度: 18,590千円 (直接経費: 14,300千円、間接経費: 4,290千円)
2014年度: 18,720千円 (直接経費: 14,400千円、間接経費: 4,320千円)
2013年度: 18,590千円 (直接経費: 14,300千円、間接経費: 4,290千円)
2012年度: 6,630千円 (直接経費: 5,100千円、間接経費: 1,530千円)
|
キーワード | 計算困難さの解析 / 計算困難さの相転移 / 解空間の構造 / 解の数え上げ問題 / 制約式充足可能性問題 / 平均時間計算量 / SOS法 / 解空間の離散体積計算問題 / 回路設計問題 / 計算限界の確定 / 解空間の構造解析 / 情報理論的解析 / 平均時計算量解析 / 限定計算における計算限界 / 強指数時間仮説 / 確率分布解析 / 劣線形領域計算 / 充足解探索 / 解の一意化 / 平均時計算複雑さ / 伝搬系アルゴリズム / 充足可能性問題 / 統計力学的解析 / 計算論的解析 / 制約解探索問題 / 最尤解探索問題 |
研究成果の概要 |
統計力学的な観点で提案されてきた計算の解析手法や計算に関する問題について,計算論的な観点から検討を行った。その結果,問題例の計算困難さの変化に関して,これまでの枠組みでは捉えられていなかった困難さの変化を明らにすることに成功し,計算困難さの変化を研究するための新しい,より頑健な枠組みを提案した。この結果は,暗号の安全性の基礎にもなる。一方,解の構造の特徴付けや,解の数え上げ問題など,統計力学の基本問題に関しても,効率的アルゴリズムの開発や,その基礎となる知見を得ることができた。
|