1998 Fiscal Year Annual Research Report

2分決定グラフ新構成法に基づく離散システム論と大規模最適化法の新展開

Research Project

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分決定グラフ(BDD)に基づいた離散システム論に対する統一的アプローチを確立することと,プロトタイプシステムを統合システムへと発展させることを目指している. 本年度の研究では,まず理論的にBDDの表現能力に関する解析結果を発表した.単調な論理関数は,集合族としては独立システム,さらには単体的複体に対応するが,その表現として集合族全体をそのまま表した場合と,集合族の極大集合の集まりのみを表現した場合について,BDDの複雑度における差を明らかにした.特別な場合として,グラフ不変量計算で応用の広いマトロイドの場合は,この2表現に本質的差異がないことを示した.一方,一般の場合は,極大集合族ではコンパクトになるが,全体集合族では指数爆発している基本的な場合を示した. さらに,結び目の不変量であるJones多項式計算とネットワーク信頼度関数の計算について,具体的にプロトタイプシステムを作成し,これまで厳密には解けなかったサイズの問題群を実際に解いて見せた.このためには,理論と実際のギャップをうめる必要があり,平面グラフなど分離定理が成り立つクラスに関する理論的解析で大きな定数が出てきていた部分が,実際にはさほど大きな定数にならないことを実証し,実用的にうまくいくことを示した. さらに,幾何構造の離散的側面の表現に本手法が使えることを理論的に明らかにし,実際にその応用を示した.これらの広がりを通じて,本研究テーマのより広い分野への展開が図れており,本研究アプローチの有効性を示している.

Research Products
(7 results)

All Other

All Publications (7 results)

[Publications] K.Hayase and H.Imai: "OBDDs of a Monotone Function and of Its Prlme Implicants" Theory of Computing Systems. vol.31. 579-591 (1998)
[Publications] 関根京子、今井浩、今井桂子: "Jones多項式の計算" 日本応用数理学会論文誌. vol.8,No.3. 341-354 (1998)
[Publications] Koji Hakata and Hiroshi Imai: "Algorithms for the Longest Comma,Subsequence Boblam for Multiple Strings Based on Gemetric Maxima" Optimization Methods and Software. vol.10. 233-260 (1998)
[Publications] M.Inaba and H.Imai: "Geometric Clustering in Feature Space" Lecture Notes in Artificial Intelligence. vol.1532. 421-422 (1998)
[Publications] A.Tajima and H.Imai: "Computational Investigations of the Optimality of Two-and Three-Dimensional Triangulations under Several Criteria" Proceedings of the 10th Canadian Conference on Computational Geometry. 44-45 (1998)
[Publications] H.Imai,K.Sekine and K.Imai: "Computational Investigations of All-Terminal Network Reliability via BDDs" IEICE Trans Fundamentals. vol.E82A.No.5(掲載予定). (1999)
[Publications] 今井浩: "ネットワーク信頼度計算の周辺-組合せ数え上げの新展開離散構造とアルゴリズムV(藤重悟編)" 近代科学社, 50 (1998)

1998 Fiscal Year Annual Research Report

2分決定グラフ新構成法に基づく離散システム論と大規模最適化法の新展開

Principal Investigator

今井 浩 東京大学, 大学院・理学系研究科, 助教授 (80183010)

Research Products

[Publications] K.Hayase and H.Imai: "OBDDs of a Monotone Function and of Its Prlme Implicants" Theory of Computing Systems. vol.31. 579-591 (1998)

[Publications] 関根京子、今井浩、今井桂子: "Jones多項式の計算" 日本応用数理学会論文誌. vol.8,No.3. 341-354 (1998)

[Publications] Koji Hakata and Hiroshi Imai: "Algorithms for the Longest Comma,Subsequence Boblam for Multiple Strings Based on Gemetric Maxima" Optimization Methods and Software. vol.10. 233-260 (1998)

[Publications] M.Inaba and H.Imai: "Geometric Clustering in Feature Space" Lecture Notes in Artificial Intelligence. vol.1532. 421-422 (1998)

[Publications] A.Tajima and H.Imai: "Computational Investigations of the Optimality of Two-and Three-Dimensional Triangulations under Several Criteria" Proceedings of the 10th Canadian Conference on Computational Geometry. 44-45 (1998)

[Publications] H.Imai,K.Sekine and K.Imai: "Computational Investigations of All-Terminal Network Reliability via BDDs" IEICE Trans Fundamentals. vol.E82A.No.5(掲載予定). (1999)

[Publications] 今井 浩: "ネットワーク信頼度計算の周辺-組合せ数え上げの新展開 離散構造とアルゴリズムV(藤重悟編)" 近代科学社, 50 (1998)

今井浩東京大学, 大学院・理学系研究科, 助教授 (80183010)

[Publications] 今井浩: "ネットワーク信頼度計算の周辺-組合せ数え上げの新展開離散構造とアルゴリズムV(藤重悟編)" 近代科学社, 50 (1998)