• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Computational Efficiency of Discrete Optimization Algorithms and Discrete Structures

Research Project

Project/Area Number 10205217
Research Category

Grant-in-Aid for Scientific Research on Priority Areas (B)

Allocation TypeSingle-year Grants
Research InstitutionOsaka University

Principal Investigator

FUJISHIGE Satoru  Grad. School of Engineering science, Osaka Univ., Professor, 基礎工学研究科, 教授 (10092321)

Co-Investigator(Kenkyū-buntansha) SHIGENO Maiko  Inst. of Policy and Planning Sci., Univ of Tsukuba, Assist. Prof., 社会工学系, 講師 (40272687)
MAKINO Kazuhisa  Grad. School of Engineering Science, Osaka Univ., Assoc. Prof., 基礎工学研究科, 助教授 (60294162)
IWATA Satoru  Grad. Sch. of Info. Sci. and Tech., Univ. of Tokyo, Assoc. Prof., 情報理工学研究科, 助教授 (00263161)
TAKABATAKE Takashi  Grad. Sch. of Engineering Science, Osaka Univ., Research Assoc., 基礎工学研究科, 助手 (50324827)
Project Period (FY) 1998 – 2000
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥17,500,000 (Direct Cost: ¥17,500,000)
Fiscal Year 2000: ¥4,900,000 (Direct Cost: ¥4,900,000)
Fiscal Year 1999: ¥5,800,000 (Direct Cost: ¥5,800,000)
Fiscal Year 1998: ¥6,800,000 (Direct Cost: ¥6,800,000)
KeywordsAlgorithms / Discrete Optimization / Combinatorial Optimization / Submodular Functions / Hypergraphs / 計算効率 / ネットワーク最適化 / コテリ理論
Research Abstract

The objective of this research project is to examine the underlying combinatorial structure of optimization problems that can be solved efficiently, and to give a unifying principle for designing efficient algorithms for such a class of combinatorial optimization problems. Our major results of the project are the following.
1. We succeeded in resolving the long-standing open problem of devising a combinatorial (strongly) polynomial algorithm for minimizing submodular functions. This gave great impact on the field of discrete optimization. Following this result, we also developed a fully combinatorial strongly polynomial algorithm for submodular function minimization, and a combinatorial polynomial-time algorithm for bisubmodular function minimization, a generalization of submodular function minimization.
2. The second cluster of results are concerned with network optimization problems. We considered a source location problem with flow requirements in undirected networks and devised a fast algorithm for solving it. Also we developed an efficient algorithm for L_∞-minimax inverse problem of the minimum cut problem by taking a parametric approach, and we obtained a characterization of the so-called polybasic polyhedra that generalize the boundary polyhedra of generalized flows.
3. As the third cluster of results, we developed a polynomial-time algorithm for finding an optimal coterie in distributed systems, and we succeeded in constructing pseudopolynomial-time algorithms for enumerating partial transversals and multiple transversals of hypergraphs arising in the fields of data mining and learning theory.
Besides these results, we revealed the deep underlying relationship between the submodularity and the economic equilibrium analysis by showing the equivalence of the M^?-concavity of the relevant set function and the gross substitutes condition in the matching (or equilibrium) model with indivisible commodities.

Report

(4 results)
  • 2001 Final Research Report Summary
  • 2000 Annual Research Report
  • 1999 Annual Research Report
  • 1998 Annual Research Report
  • Research Products

    (157 results)

All Other

All Publications (157 results)

  • [Publications] Fujishige, S.: "A lexicographic algebraic theorem and its applications"Linear Algebra and its Applications. 279. 75-91 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "Another simple proof of the validity of Nagamochi and Ibaraki's min-cut algorithm and Queyranne's extension to symmetric submodular function minimization"Journal of the Operations Research Society of Japan. 41. 626-628 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "Patterns that preserve sparsity in orthogonal factorization"Linear Algebra and its Applications. 268. 345-354 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "Block-triangularization of skew-symmetric matrices"Linear Algebra and its Applications. 273. 215-226 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "Fast bipartite network flow algorithms for assembly and scheduling"Operations Research Letters. 22. 137-143 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 永持仁: "初等的フローゲームの凸性について"電子情報通信学会論文誌 D-I. J81-D-I. 666-676 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E.: "Error-free and best-fit extensions of partially defined Boolean functions"Information and Computation. 140. 254-283 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "A fast and simple algorithm for identifying 2-monotonic positive Boolean functions"Journal of Algorithms. 26. 291-305 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T.: "Double Horn functions"Information and Computation. 144. 155-190 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "Minimizing a submodular function arising from a concave function"Discrete Applied Mathematics. 92. 211-215 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E.: "Logical analysis of binary data with missing bits"Artificial Intelligence. 107. 219-264 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T.: "Computing intersections of Horn theories for reasoning with models"Artificial Intelligence. 110. 57-101 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "Horn extensions of a partially defined Boolean function"SIAM Journal of Computing. 28. 2168-2186 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T.: "Bidual Horn functions and extensions"Discrete Applied Mathematics. 96-97. 55-88 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Ibaraki, T.: "Functional dependencies in Horn theories"Artificial Intelligence. 108. 1-30 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "Data analysis by positive decision trees"IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Bioch, J.C.: "Minimum self-dual decompositions of positive dual-minor Boolean functions"Discrete Applied Mathematics. 96-97. 307-326 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "Inner-core and outer-core functions of partially defined Boolean functions"Discrete Applied Mathematics. 96-97. 443-460 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "Interior and exterior functions of positive Boolean functions"Proceedings of the 1st Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications,Kyoto(Japan). 159-166 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "A laminarity property of the polyhedron described by a weakly posi-modular set function"Discrete Applied Mathematics. 100. 123-126 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "Algorithms for submodular flows"IEICE Transactions on Information and Systems. E83-D. 322-329 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "An algorithm for solving the minimum norm point over the intersection a polytope and an affine set"Journal of Optimization Theory and Applications. 105. 113-141 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "A note on Faigle and Kern's dual greedy polyhedra"Mathematical Programming. 88. 217-220 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "Notes on L-/M-convex functions and the separation theorems"Mathematical Programming. 88. 129-146 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T.: "On the difference of Horn theories"Journal of Computer and System Sciences. 61. 478-507 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "Efficient generation of all regular non-dominated coteries"Proceedings of PODC2000. 279-288 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E.: "Generating partial and multiple transversals of a hypergraph"Springer Lecture Notes in Computer Science(Proceedings of ICALP2000(Montanari,U.et al.eds.)). 1853. 588-599 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "Max- and min-neighborhood monopolies"Springer Lecture Notes in Computer Science(Proceedings of SWAT2000(Halldorsson,M.M.ed.)). 1851. 513-526 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Ono, H.: "Logical analysis of data with decomposable structures"Springer Lecture Notes in Computer Science(Proceedings of COCOON2000(Du,D.-Z.et al.eds.)). 1858. 396-406 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E.: "Fully consistent extensions of partially defined Boolean functions with missing bits"Springer Lecture Notes in Computer Science(Proceedings of IFIP TCS2000(van Leeuwen,J.et al.eds.)). 1872. 257-272 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E.: "Finding essential attributes in binary data"Springer Lecture Notes in Computer Science(Proceedings of IDEAL2000(Leung,K.Sak.et al.eds.)). 1983. 133-138 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Shigeno, M.: "Relaxed most negative cycle and most positive cut canceling algorithms for minimum cost flow"Mathematics of Operations Research. 25. 76-104 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "A fast cost scaling algorithm for submodular flow"Information Processing Letters. 74. 123-128 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "Realization of set functions as cut functions of graphs and hypergraphs"Discrete Mathematics. 226. 199-210 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "Combinatorial relaxation algorithm for mixed polynomial matrices"Mathematical Programming. 90. 353-371 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "On minimum edge ranking spanning trees"Journal of Algorithms. 38. 411-437 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E.: "Dual-bounded generating problems:partial and multiple transversals of a hypergraph"SIAM Journal on Computing. 30. 2036-2050 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T.: "Disjunctions of Horn theories and their cores"SIAM Journal on Computing. 31. 269-288 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Ibaraki, T.: "On functional dependencies in q-Horn theories"Artificial Intelligence. 131. 171-187 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "Transformation of regular non-dominated coteries"SIAM Journal on Discrete Mathematics. 14. 381-407 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "A combinatorial strongly polynomial algorithm for minimizing submodular functions"Journal of the ACM. 48. 761-777 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "On matroid intersection adjacency"Discrete Mathematics. 242. 277-281 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "A fully combinatorial algorithm for submodular function minimization"Journal of Combinatorial Theory,Series B. 84. 203-212 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T.: "Decision lists and related Boolean functions"Theoretical Computer Science. 270. 493-524 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Arata, K.: "Locating sources to meet flow demands in undirected networks"Journal of Algorithms. 42. 54-68 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Shigeno, M.: "Minimax inverse problems of minimum cuts"Networks. 39. 7-14 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "Fast cycle canceling algorithms for minimum cost submodular flow"Combinatorica. (掲載予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "Conjugate scaling algorithm for Fenchel-type duality in discrete convex optimization"SIAM Journal on Optimization. (掲載予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fleischer, L.: "A faster capacity scaling algorithm for minimum cost submodular flow"Mathematical Programming. (掲載予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fleischer, L.: "A push-relabel framework for submodular function minimization an applications to parametric optimization"Discrete Applied Mathematics. (掲載予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "A linear time algorithm for recognizing regular Boolean functions"Journal of Algorithms. (掲載予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤重 悟(編): "離散構造とアルゴリズム V"近代科学社. 249 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤重 悟(編): "離散構造とアルゴリズム VI"近代科学社. 215 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤重 悟(編): "離散構造とアルゴリズム VII"近代科学社. 204 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤重 悟: "劣モジュラ関数最小化アルゴリズム(アルゴリズム工学-計算困難問題への挑戦-,4.6節)"共立出版. 6 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 藤重 悟: "劣モジュラ関数最小化のアルゴリズム-ブレイクスルーと周辺の話題-(アルゴリズムの新展開-理論から工学へ)"サイエンス社. 6 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S., Yang, Z.: "A lexicographic algebraic theorem and its applications."Linear Algebra and its Applications. 279. 75-91 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "Another simple proof of the validity of Nagamochi and Ibaraki's min-cut algorithm and Queyranne's extension to symmetric submodular function minimization."Journal of the Operations Research Society of Japan. 41. 626-628 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S., Olesky, D. D., van den Driessche, P.: "Patterns that preserve sparsity in orthogonal factorization."Linear Algebra and its Applications. 268. 345-354 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "Block-triangularization of skew-symmetric matrices."Linear Algebra and its Applications. 273. 215-226 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S., Matsui, T., McCormick, S. T.: "Fast bipartite network flow algorithms for assembly and scheduling."Operations Research Letters. 22. 137-143 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Nagamochi, H., Makino, K., Zhen, D. -Z., Murata, M. Ibaraki, T.: "Convexity of elementary flow games. (in Japanese)"The Transactions of the IEICE. J81-D-I. 666-676 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E., Ibaraki, T., Makino, K.: "Error-free and best-fit extensions of partially defined Boolean functions."Information and Computation. 140. 254-283 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Ibaraki, T.: "A fast and simple algorithm for identifying 2-monotonic positive Boolean functions."Journal of Algorithms. 26. 291-305 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T., Ibaraki, T., Makino, K.: "Double Horn functions."Information and Computation. 144. 155-190 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S., Iwata, S.: "Minimizing a submodular function arising from a concave function."Discrete Applied Mathematics. 92. 211-215 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E., Ibaraki, T., Makino, K.: "Logical analysis of binary data with missing bits."Artificial Intelligence. 107. 219-264 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T., Ibaraki, T., Makino, K.: "Computing intersections of Horn theories for reasoning with models."Artificial Intelligence. 110. 57-101 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Hatanaka, K., Ibaraki, T.: "Horn extensions of a partially defined Boolean function."SIAM Journal on Computing. 28. 2168-2186 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T., Ibaraki, T., Makino, K.: "Bidual Horn functions and extensions."Discrete Applied Mathematics. 96-97. 55-88 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Ibaraki, T., Kogan, A., Makino, K.: "Functional dependencies in Horn theories."Artificial Intelligence. 108. 1-30 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Suda, T., Ono, H., Ibaraki, T.: "Data analysis by positive decision trees."IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Bioch, J. C., Ibaraki, T., Makino, K.: "Minimum self-dual decompositions of positive dual-minor Boolean functions."Discrete Applied Mathematics. 96-97. 307-326 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Ibaraki, T.: "Inner-core and outer-core functions of partially defined Boolean functions."Discrete Applied Mathematics. 96-97. 443-460 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Ono, T., Ibaraki, T.: "Interior and exterior functions of positive Boolean functions."Proceedings of the 1st Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications. 159-166 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "A laminarity property of the polyhedron described by a weakly posi-modular set function."Discrete Applied Mathematics. 100. 123-126 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S., Iwata, S.: "Algorithms for submodular flows."IEICE Transactions on Information and Systems. E83-D. 322-329 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S., Liu, X., Zhang, X.: "An algorithm for solving the minimum norm point over the intersection of a polytope and an affine set."Journal of Optimization Theory and Applications. 105. 113-141 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S.: "A note on Faigle and Kern's dual greedy polyhedra."Mathematical Programming. 88. 217-220 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S., Murota, K.: "Notes on L-/M-convex functions and the separation theorems."Mathematical Programming. 88. 129-146 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T., Ibaraki, T., Makino, K.: "On the difference of Horn theories."Journal of Computer and System Science. 61. 478-507 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Kameda, T.: "Efficient generation of all regular non-dominated coteries."Proceedings of PODC2000. 279-288 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E., Gurvich, V., Khachiyan, L., Makino, K.: "Generating partial and multiple transversals of a hypergraph."Springer Lecture Notes in Computer Science (Montanari, U. et al. eds., ICALP2000). 1853. 588-599 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Yamashita, M., Kameda, T.: "Max- and min-neighborhood monopolies."Springer Lecture Notes in Computer Science (Halldorsson, M. M. ed., SWAT2000). 1851. 513-526 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Ono, H., Makino, K., Ibaraki, T.: "Logical analysis of data with decomposable structures."Springer Lecture Notes in Computer Science (Du, D. -Z. et al. eds., COCOON2000). 1858. 396-406 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E., Ibaraki, T., Makino, K.: "Fully consistent extensions of partially defined Boolean functions with missing bits."Springer Lecture Notes in Computer Science (van Leeuwen, J. et al. eds., IFIP TCS2000). 1872. 257-272 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E., Horiyama, T., Ibaraki, T., Makino, K., Yagiura, M.: "Finding essential attributes in binary data."Springer Lecture Notes in Computer Science (Leung, K. Sak. et al. eds., IDEAL2000). 1983. 133-138 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Shigeno, M., Iwata, S., McCormick, S. T.: "Relaxed most negative cycle and most positive cut canceling algorithms for minimum cost flow."Mathematics of Operations Research. 25. 76-104 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S., McCormick, S. T., Shigeno, M.: "A fast cost scaling algorithm for submodular flow."Information Processing Letters. 74. 123-128 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige, S., Patkar, S. B.: "Realization of set functions as cut functions of graphs and hypergraphs."Discrete Mathematics. 226. 199-210 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S., Murota, K.: "Combinatorial relaxation algorithm for mixed polynomial matrices."Mathematical Programming. 90. 353-371 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Uno, Y., Ibaraki, T.: "On minimum edge ranking spanning trees."Journal of Algorithms. 38. 411-437 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Boros, E., Gurvich, V., Khachiyan, L., Makino, K.: "Dual-bounded generating problems : partial and multiple transversals of a hypergraph."SIAM Journal on Computing. 30. 2036-2050 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T., Ibaraki, T., Makino, K.: "Disjunctions of Horn theories and their cores."SIAM Journal on Computing. 31. 269-288 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Ibaraki, T., Kogan, A., Makino, K.: "On functional dependencies in q-Horn theories."Artificial Intelligence. 131. 171-187 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K., Kameda, T.: "Transformation of regular non-dominated coteries."SIAM Journal on Discrete Mathematics. 14. 381-407 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S., Fleischer, L., Fujishige, S.: "A combinatorial strongly polynomial algorithm for minimizing submodular functions."Journal of the ACM. 48. 761-777 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "On matroid intersection adjacency."Discrete Mathematics. 242. 277-281 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S.: "A fully combinatorial algorithm for submodular function minimization."Journal of Combinatorial Theory, Series B. 84. 203-212 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Eiter, T., Ibaraki, T., Makino, K.: "Decision lists and related Boolean functions."Theoretical Computer Science. 270. 493-524 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Arata, K., Iwata, S., Makino, K., Fujishige, S.: "Locating sources to meet flow demands in undirected networks."Journal of Algorithms. 42. 54-68 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Shigeno, M.: "Minimax inverse problems of minimum cuts."Networks. 39. 7-14 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S., McCormick, S. T., Shigeno, M.: "Fast cycle canceling algorithms for minimum cost submodular flow."Combinatorica. (to appear.).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Iwata, S., Shigeno, M.: "Conjugate scaling algorithm for Fenchel-type duality in discrete convex optimization."SIAM Journal on Optimization. (to appear.).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fleischer, L., Iwata, S., McCormick, S. T.: "A faster capacity scaling algorithm for minimum cost submodular flow."Mathematical Programming. (to appear.).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fleischer, L., Iwata, S.: "A push-relabel framework for submodular function minimization and applications to parametric optimization."Discrete Applied Mathematics. (to appear.).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Makino, K.: "A linear time algorithm for recognizing regular Boolean functions."Journal of Algorithms. (to appear.).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fujishige,S.: "Realization of set functions as cut functions of graphs and hypergraphs"Discrete Mathematics. 226. 199-210 (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] Fujishige,S.: "Notes on L-/M-convex functions and the separation theorems"Mathematical Programming. 88. 129-146 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Fujishige,S.: "A note on Faigle and Kern's dual greedy polyhedra"Mathematical Programming. 88. 217-220 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Fujishige,S.: "An algorithm for solving the minimum norm point over the intersection of a polytope and an affine set"Journal of Optimization Theory and Applications. 105. 113-141 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Fujishige,S.: "Algorithms for submodular flows"IEICE Transactions on Information and Systems. E83-D. 322-329 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Fujishige,S.: "A laminarity property of the polyhedron described by a weakly posi-modular set function"Discrete Applied Mathematics. 100. 123-126 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Iwata,S.: "A combinatorial strongly polynomial algorithm for minimizing submodular functions"Journal of the ACM. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Eiter,T.: "On the difference of Horn theories"Journal of Computer and System Sciences. 61. 478-507 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Makino,K.: "Efficient generation of all regular non-dominated coteries"Proceedings of PODC2000. 19. 279-288 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Boros,E.: "Generating partial and multiple transversals of a hypergraph"ICALP2000,LNCS. 1853. 588-599 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Makino,K.: "Max- and min-neighborhood monopolies"SWAT2000,LNCS. 1851. 513-526 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Arata,K.: "Locating sources to meet flow demands in undirected networks"SWAT2000,LNCS. 1851. 300-313 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Shigeno,M.: "Relaxed most negative cycle and most positive cut canceling algorithms for minimum cost flow"Mathematics of Operations Research. 25. 76-104 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Iwata,S.: "A fast cost scaling algorithm for submodular flow"Information Proceeding Letters. 74. 123-128 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Iwata,S.: "Fast cycle canceling algorithms for minimum cost submodular flow"Combinatorica. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Iwata,S.: "Conjugate scaling technique for Fenchel-type duality in discrete convex optimization"SIAM Journal on Optimization. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Iwata,S.: "Combinatorial relaxation algorithm for mixed polynomial matrices"Mathematical Programming. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Iwata,S.: "On matroid intersection adjacency"Discrete Mathematics. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Ono,H.: "Logical analysis of data with decomposable structures"COCOON2000,LNCS. 1858. 396-406 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Boros,E.: "Fully consistent extensions of partially defined Boolean functions with missing bits"IFIP TCS2000,LNCS. 1872. 257-272 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Boros,E.: "Finding essential attributes in binary data"IDEAL2000,LNCS. 1983. 133-138 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Makino,K.: "On minimum edge ranking spanning trees"Journal of Algorithms. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Boros,E.: "Dual-bounded generating problems : partial and multiple transversals of a hypergraph"SIAM Journal on Computing. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Eiter,T.: "Decision lists and related Boolean functions"Theoretical Computer Science. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Ibaraki,T.: "On functional dependencies in q-Horn theories"Artificial Intelligence. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Makino,K.: "A linear time algorithm for recognizing regular Boolean functions"Journal of Algorithms. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] Eiter,T.: "Disjunctions of Horn theories and their cores"SIAM Journal on Computing. (採録決定済).

    • Related Report
      2000 Annual Research Report
  • [Publications] S. Fujishige: "A laminarity property of the polyhedron described by a weakly posi-modular set function"Discrete Applied Mathematics. 100. 123-126 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] S. Fujishige: "A note on Faigle and keru's dual greedy polyhedra"Mathematical Programming. (to appear).

    • Related Report
      1999 Annual Research Report
  • [Publications] S. Fujishige, S. Iwata: "Minimizing a submodular function arising from a concave function"Discrete Applied Mathematics. 92. 211-215 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] S. Iwata, S. T. McCormick Ms. Shigeno: "A fast cost sealing algorithm for submodular flow"Information Processing Letters. (to appear).

    • Related Report
      1999 Annual Research Report
  • [Publications] K. Makino, K. Hatanaka, T. Ibaraki: "Horn extensions of a partially defined Boolean functions"SIAM Journal on Computing. 28. 2168-2186 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] E. Boros, K. Makino, T. Ibaraki: "Logical analysis of binary data with missing bits"Artificial Intelligence. 107. 219-263 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] A. Kogan, T. Ibaraki, K. Makino: "Functional dependencies in Horn theories"Artificial Intelligence. 108. 1-30 (1999)

    • Related Report
      1999 Annual Research Report
  • [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)

    • Related Report
      1999 Annual Research Report
  • [Publications] T. Eiter, T. Ibaraki, K. Makino: "Bidual Horn functions and extensions"Discrete Applied Mathematics. 96/97. 55-88 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] T. Eiter, T. Ibaraki, K. Makino: "Computing intersections of Horn theories for reasoning with models"Artificial Intelligence. 110. 57-101 (1999)

    • Related Report
      1999 Annual Research Report
  • [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)

    • Related Report
      1999 Annual Research Report
  • [Publications] K. Makino, T. Ibaraki: "Inner-core and outer-core functions of partially defined Boolean functions"Discrete Applied Mathematics. 96/97. 443-460 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] S.Fujishige: "Another Simple proof of the validity of Nagamochi and Ibaraki's min-cut algorithm and Queyranne's extension to symmetric submodular function minimization" Journal of the Operations Research Society of Japan. 41. 626-628 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Fujishige: "A lexicographicalgebraic theorem and its applications" Linear Algebra and Its Applications. 279. 75-91 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] X.Liu: "Au algorithm for strictly convex quadratic programming with box constraints." OR Transactions. 2. 8-22 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Iwata: "Block-triaugularization of skew-symmetric matrices" Linear Algebra and Its Applications. 273. 215-226 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Iwata: "Patterns that preserve sparsity in orthogonal factorization" Linear Algebra and Its Applications. 268. 345-354 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Iwata: "A fast bipartite network flow algorithm for selective assembly" Operations Research Letters. 22. 137-143 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] E.Boros: "Error-free and best-fit extensions of partially defined Boolean functions" Information and Computation. 140. 254-283 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] K.Makino: "A fast and simple algorithm for identifying 2-monotonic positive Boolean functions" Journal of Algorithms. 26. 291-305 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] H.Nagamochi: "Convexity of elementary flow game" Trans.Inst.Electron.Inform.Comm.Eng.Jap.J81-O-I. 666-676 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Eiter: "Double Horn functions" Information and Computation. 144. 155-190 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] T.Eiter: "Disjunctions of Horn thearies and their cores" Lecture Notes on Computer Science. 1533. 49-58 (1998)

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1998-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi