1998 Fiscal Year Annual Research Report

複体理論に基づく離散システムのアルゴリズム論の新展開に関する研究

Research Project

Project/Area Number	10205204
Research Institution	The University of Tokyo
Principal Investigator	今井浩東京大学, 大学院・理学系研究科, 助教授 (80183010)
Co-Investigator(Kenkyū-buntansha)	稲葉真理東京大学, 大学院・理学系研究科, 助手 (60282711) 浅井健一東京大学, 大学院・理学系研究科, 助手 (10262156)
Keywords	単体的複体 / 不変多項式 / マトロイド / 離散システム / 情報幾何 / Voronoi図
Research Abstract	本研究では,単体的複体理論に基づいた離散システム論に対する統一的アプローチを確立することと,さらに関連した離散システム問題に対して実際にそれらを解くプロトタイプシステムを開発して,アルゴリズムデータベースの構築に高件することを目指している. 本年度の研究では,まず理論的に単体的複体の有する不変量の計算について,様々な離散システムへの応用も含めて検討した.単体的複体では,フェイスに関するfベクトルと,それを線形変換して得られるhベクトルという不変量が基本的である.hベクトルは,単体的複体のシェリングとも関係する.本年度の研究では,様々な離散システムの良さを記述するマトロイドを単体的複体としてみたとき,もとのマトロイドとその双対マトロイドのhベクトルを合わせたものとしてTutte多項式が得られることに基づき,マトロイド複体での不変量計算について成果を上げた.具体的には,マトロイド複体の場合は,独立集合族・基族をコンパクトに表現する構造として2分決定グラフに着目し,その組合せ複雑度の解析と,応用としてネットワーク信頼度・絡み目のブラケット多項式計算が中規模問題でも実際に解けることを示した. また,情報幾何での有限点集合の構成する離散構造について解析を行ない,単体的複体の典型例である凸多面体によってその離散幾何構造を明らかにした.具体的には,情報幾何の双対平坦空間でのダイバージェンスによる近接構造としてVoronoi図を定義・解析し,ポテンシャル関数を通じた共役性によってこの構造が凸多面体構造をなすことを示した.この場合の複体としての不変量計算については,引続き検討を進めている.

Research Products

(7 results)

All Other

All Publications (7 results)

[Publications] K.Hayase and H.Imai: "OBDDs of a Monotone Function and of ITS Prime Implicarts" Theory of Computing Systems. vol.31. 579-591 (1998)
[Publications] 関根京子.今井浩.今井桂子: "Jones多項式の計算" 日本応用数理学会論文誌. vol.8.no.3. 341-354 (1998)
[Publications] T.Ikeda and H.Imai: "Enhauced A^* Algorithms for Multiple Alignments : Optimal Alignments for Several Sequences and \K\-Opt Aporaximate Alignments for Large Cases" Theoretical Computer Science. vol.210, No.2. 341-374 (1999)
[Publications] M.Inaba and H.Imai: "Geomatric Clustering in Feature Space" Lecture Notes in Artificial Intelligence. vol.1532. 421-422 (1998)
[Publications] Keiko Imai and Hiroshi Imai: "Dynamic Weighted Voronei Diagrams and Weighted Minimax Matching of Two Corresponding Prints sets" Optimizatiom Methods and Software. vol.10. 261-274 (1998)
[Publications] H.Imai, K.Sekine and K.Imai: "Computational Investigations of All-Tarminal Network Reliability via BDDs," IEICE Trams Fundamantals. vol.E82・A No.5. (1999)
[Publications] 今井浩: "ネットワーク信頼度計算の周辺-組合せ数え上げの新展開離散構造とアルゴリズムV(藤重悟編)" 近代科学社, 50 (1998)

1998 Fiscal Year Annual Research Report

複体理論に基づく離散システムのアルゴリズム論の新展開に関する研究

Principal Investigator

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

Research Products

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

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

[Publications] T.Ikeda and H.Imai: "Enhauced A^* Algorithms for Multiple Alignments : Optimal Alignments for Several Sequences and \K\-Opt Aporaximate Alignments for Large Cases" Theoretical Computer Science. vol.210, No.2. 341-374 (1999)

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

[Publications] Keiko Imai and Hiroshi Imai: "Dynamic Weighted Voronei Diagrams and Weighted Minimax Matching of Two Corresponding Prints sets" Optimizatiom Methods and Software. vol.10. 261-274 (1998)

[Publications] H.Imai, K.Sekine and K.Imai: "Computational Investigations of All-Tarminal Network Reliability via BDDs," IEICE Trams Fundamantals. vol.E82・A No.5. (1999)

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

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

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