2002 Fiscal Year Annual Research Report
| Project/Area Number |
14084207
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
渡辺 治 東京工業大学, 大学院・情報理工学研究科, 教授 (80158617)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
岩間 一雄 京都大学, 大学院・情報学研究科, 教授 (50131272)
|
|---|
| Keywords | 確率アルゴリズム / ランダマイズド計算 / 局所探索法 / 制約解探索問題 / アルゴリズムの状態確率の変化 |
|---|
| Research Abstract |
本研究課題では,統計力学などの分野で提唱されている様々な確率的手法のアルゴリズム的な有効性を解析することを目的としている.初年度である本年度は,そのための解析手法の確立を目指し,具体例として,ランダム局所探索法を取り上げ,その基礎的な性質やアルゴリズムの効率の研究,さらには,アルゴリズムの平均的な振舞いに関する解析を行った.
渡辺らのグループでは,疎パリティ検査行列を持つ符号に対するランダム局所探索法による復号アルゴリズムを対象として,その平均的な振舞いを調べた.同様の研究を基盤(c)で行ってきたが,本研究では,解析に都合のよいようにアルゴリズムを改良したため,従来の計算機実験で見えにくかった点が明らかになった.その結果,非常に素直な形の解析の道筋を見つけることができた.この解析手法は,一般に多くの確率的アルゴリズムの解析に利用できると思われる.ただし,その正当性についての厳密な評価は今後の課題として残されている.
一方,基礎的な面では,問題の平均的な難しさに関する解析(研究発表にある最初の論文)や効率的な確率的な評価法についての一般論(研究発表の2番目の論文)などの研究も行った.
また,岩問のグループでは,様々な離散数学的問題の難しさの解析を行った(研究発表にある3〜5番目の論文).
|
Research Products
(6 results)
-
[Publications] 澤井 健, 渡辺 治: "LDPC符号に対するランダム復号法の解析"アルゴリズム研究会SIGAL. NO.3. 25-32 (2003)
-
[Publications] S.Aida, R.Schuler, T.Tsukiji, O.Watanabe: "The Difference between polynominal-time many-one and truth-table reducibilities on distributional problems"Theory of Comput.Systems. 35. 449-463 (2002)
-
[Publications] C.Domingo, R.Gavalda, O.Watanabe: "Adaptive sampling methods for scaling up knowledge discovery algorithms"Data Mining and Knowledge Discovery. 6(2). 131-152 (2002)
-
[Publications] Manlove, D., Irving, R., Iwama, K., Miyazaki, S., Morita, Y.: "Hard Variants of Stable Marriage"Theoretical Computer Science. 276. 261-279 (2002)
-
[Publications] Iwama, K., Yamashita, S.: "Transformation Rules for Designing CNOT-based Quantum Circuits"Proc.39^<th> ACM/IEEE DAC. 419-424 (2002)
-
[Publications] Iwama, K., Morizumi, H.: "An Explicit Lower Bound of $5n-o(n)$ for Boolean Circuits"Proc.MFCS2002. 353-364 (2002)
