2000 Fiscal Year Annual Research Report
2分決定グラフ新構成法に基づく離散システム論と大規模最適化法の新展開
| Project/Area Number |
09480050
|
|---|
| Research Institution | the University of Tokyo |
|---|
Principal Investigator |
今井 浩 東京大学, 大学院・理学系研究科, 助教授 (80183010)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
岩田 覚 大阪大学, 大学院・基礎工学研究科, 講師 (00263161)
稲葉 真理 東京大学, 大学院・理学系研究科, 講師 (60282711)
浅井 健一 東京大学, 大学院・理学系研究科, 助手 (10262156)
|
|---|
| Keywords | グラフ / ネットワーク / マトロイド / Tutte多項式 / 離散システム / ネットワーク信頼度 / 2分決定グラフ / Jones多項式 |
|---|
| Research Abstract |
本研究では,2分決定グラフ(Binary Decision Diagram;BDDと略す)に基づいた離散システム論の展開を目指し,2分決定グラフを含むより一般的な分岐プログラム(Branching Program)のさらなる発展として量子版を検討し,量子計算での離散システム展開にも道筋をつけることを行っている.
本年度の研究では,信頼性関数計算についての従来結果を,社会基盤のライフラインとの関係を調査し,ライフラインの危機管理をテーマとした研究会における企画講演を通して,本研究で上げられている成果を広げる活動を行った.
さらに,本年度は発展として2分決定木を特別な場合として含む分岐プログラムを,新たに量子計算の枠組みで,分岐プログラムと密接な関係にあるオートマトンのレベルで計算能力の解析を行い,かつ,量子計算において離散不変量計算との関係,特に結び目のJones多項式計算について検討した.前者については,さらに量子カウンタオートマトンまで拡張して,その言語受理能力についての解析に成功し,国際会議などでの成果発表を行った.さらに,BDDのレベルにおいて,量子と現在の計算モデルとの間の計算能力差を示すことにも成功し,これについては発表を予定している.これは,量子計算での位相をカウンタとしてBDDにおいて利用するものであり,BDDを土台とした量子回路理論構築への展開が期待できる.
|
Research Products
(6 results)
-
[Publications] 今井浩,関根京子: "ネットワークシステムの信頼性の定量的評価法"日本OR学会平成12年度秋期研究発表会アブストラクト集. 2-A-6. (2000)
-
[Publications] T.Yamasaki,H.Kobayashi,Y.Tokunaga and H.Imai: "One-Way Probabilistic Reversible and Quantum One-Counter Automata"Lecture Notes in Computer Science. 1858. 436-446 (2000)
-
[Publications] H.Imai and M.Inaba: "Geometric Clustering by Divergence and Its Underlying Discrete Proximity Structures"IEICE Trans.Information and Systems. E83-D,1. 27-35 (2000)
-
[Publications] M.Inaba,N.Katoh and H.Imai: "Variance-Based κ-Clustering Algorithms by Voronoi Diagrams and Randomization"IEICE Trans.Information and Systems. E83-D,6. 1199-1206 (2000)
-
[Publications] H.Imai,M.Hachimori,M.Hamada,H.Kobayashi and K.Matsumoto: "Optimization in Quantum Computation and Information"Proceedings of the 2nd Japanese-Hungarian Symposium on Discrete Mathematics. (4月出版予定). (2000)
-
[Publications] J.Gruska and H.Imai: "Power, Puzzles and Properties of Entanglement"Lecture Notes in Computer Science. (5月出版予定). (2000)
