1999 Fiscal Year Annual Research Report
| Project/Area Number |
10205217
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
藤重 悟 大阪大学, 大学院・基礎工学研究科, 教授 (10092321)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
繁野 麻衣子 筑波大学, 社会工学系, 講師 (40272687)
牧野 和久 大阪大学, 大学院・基礎工学研究科, 助手 (60294162)
岩田 覚 大阪大学, 大学院・基礎工学研究科, 助教授 (00263161)
|
|---|
| Keywords | 組合せ最適化 / アルゴリズム |
|---|
| Research Abstract |
離散構造を有するシステムの最適化問題が容易に解けるか否かは,その対象となるシステムの構造に強く依存する.比較的容易に解ける問題の離散構造としては,劣モジュラ関数が深く関係することが知られている.劣モジュラ関数とは,有限集合の部分集合全体の上で定義された関数であり,任意の部分集合の組X,Yに対して,
f(X)+f(Y)≧f(X∪Y)+f(X∩Y)
を満たすものを意味する.劣モジュラ関数は,凸関数の離散版と見なすことができるため,その最小化が離散最適化における基本的な問題と考えられてきた.線型計画法に対する最初の多項式時間アルゴリズムである楕円体法を用いて,劣モジュラ関数の最小化も多項式時間でできることがGrotschel,Lovasz,Schrijver(1981)によって明らかにされていた.しかし,楕円体法は,収束が極めて遅く,実際上は効率的なアルゴリズムとは言いがたい.本年度の研究では,組合せ的な手法による多項式時間アルゴリズムの開発を行った.
このほかに,行列束の構造指数を求める組合せ緩和法に関する研究,知識獲得問題に対して論理関数を用いた研究,ネットワーク上の離散最適化問題に関する逆問題の研究を行った.
|
-
[Publications] S. Fujishige: "A laminarity property of the polyhedron described by a weakly posi-modular set function"Discrete Applied Mathematics. 100. 123-126 (2000)
-
[Publications] S. Fujishige: "A note on Faigle and keru's dual greedy polyhedra"Mathematical Programming. (to appear).
-
[Publications] S. Fujishige, S. Iwata: "Minimizing a submodular function arising from a concave function"Discrete Applied Mathematics. 92. 211-215 (1999)
-
[Publications] S. Iwata, S. T. McCormick Ms. Shigeno: "A fast cost sealing algorithm for submodular flow"Information Processing Letters. (to appear).
-
[Publications] K. Makino, K. Hatanaka, T. Ibaraki: "Horn extensions of a partially defined Boolean functions"SIAM Journal on Computing. 28. 2168-2186 (1999)
-
[Publications] E. Boros, K. Makino, T. Ibaraki: "Logical analysis of binary data with missing bits"Artificial Intelligence. 107. 219-263 (1999)
-
[Publications] A. Kogan, T. Ibaraki, K. Makino: "Functional dependencies in Horn theories"Artificial Intelligence. 108. 1-30 (1999)
-
[Publications] K. Makino, T. Suda, T. Ono, T. Ibaraki: "Data analysis by positive decision trees"IEICE Transaction on Information and Systems. E82-D. 76-88 (1999)
-
[Publications] T. Eiter, T. Ibaraki, K. Makino: "Bidual Horn functions and extensions"Discrete Applied Mathematics. 96/97. 55-88 (1999)
-
[Publications] T. Eiter, T. Ibaraki, K. Makino: "Computing intersections of Horn theories for reasoning with models"Artificial Intelligence. 110. 57-101 (1999)
-
[Publications] J. C. Bioch, K. Makino, T. Ibaraki: "Minimum self-dual decompositions of positive dual-minor Boolean functions"Discrete Applied Mathematics. 96/97. 307-326 (1999)
-
[Publications] K. Makino, T. Ibaraki: "Inner-core and outer-core functions of partially defined Boolean functions"Discrete Applied Mathematics. 96/97. 443-460 (1999)
