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

2001 Fiscal Year Final Research Report Summary

Solving Computationally Hard Problems by Metaheuristics

Research Project

Project/Area Number 10205211
Research Category

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

Allocation TypeSingle-year Grants
Research InstitutionKyoto University

Principal Investigator

IBARAKI Toshihide  Kyoto University, Graduate School of Informatics, Professor, 情報学研究科, 教授 (50026192)

Co-Investigator(Kenkyū-buntansha) NONOBE Koji  Kyoto University, Graduate School of Informatics, Assistant Professor, 情報学研究科, 助手 (40324678)
HORIYAMA Takashi  Nara Institute of Science and Technology, Graduate School of Information Science, Assistant Professor, 情報科学研究科, 助手 (60314530)
YAGIURA Mutsunori  Kyoto University, Graduate School of Informatics, Lecturer, 情報学研究科, 講師 (10263120)
SHINANO Yuji  Tokyo University of Agriculture and Technology, Faculty of Technology, Lecturer, 工学部, 講師 (00297623)
Project Period (FY) 1998 – 2000
Keywordsmetaheuristics / combinatorial optimization / approximation algorithm / general problem solver / generalized assignment problem / constraint satisfaction problem / resource-constrained project scheduling / vehicle routing problem
Research Abstract

Recently, many types of metaheuristics based on local search, e. g., simulated annealing, genetic algorithm, and tabu search, have been proposed, and successfully applied to various combinatorial optimization problems. The objective of this research is to develop powerful general-purpose algorithms for combinatorial problems arising in real applications. To achieve this purpose, we developed metaheuristics algorithms for the following problems : (a) Weighted Constraint Satisfaction Problem, (b) Generalized Assignment Problem, (c) Resource Constrained Project Scheduling Problem, (d) Set Covering Problem, (e) Cutting Stock Problem, (f) Vehicle Routing Problem, (g) Rectangle Packing Problem, and others. These problems are representative combinatorial optimization problems, and their conventional formulations are rather simple. In our research, aiming at improving the applicability of algorithms, we extended these formulations so that more practical and complicated problems can be handled.
In designing algorithms, we adopted iterated local search and tabu search as the frameworks, and defined search space and neighborhoods carefully so as to attain better performance. We also incorporated some mechanisms that adaptively control program parameters during the search, which can reduce users' efforts to tune the parameters appropriately.
In computational experiments, we solved many benchmark instances, and succeeded to improve the best known values for many instances. As to practical problems, our codes could also find solutions of high quality in reasonable computational time. Some codes are already being used in practical applications.

  • Research Products

    (73 results)

All Other

All Publications (73 results)

  • [Publications] K.Nonobe, T.Ibaraki: "A tabu search approach for the constraint satisfaction problem as a general problem solver"European Journal of Operational Research. 106. 599-623 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Yagiura, T.Ibaraki: "Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT"Springer Lecture Notes in Computer Science. 1449. 105-116 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Y.Uno, T.Ibaraki: "Reachability problems of random digraphs"IEICE Transactions. E81-A. 2694-2702 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Yagiura, T.Yamaguchi, T.Ibaraki: "A variable depth search algorithm with branching search for the generalized assignment problem"Optimization Methods and Software. 10. 419-441 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Boros, Y.Crama, O.Ekin, P.Hammer, T.Ibaraki, A.Kogan: "Boolean normal forms,shellability and reliability computations"SIAM Journal on Discrete Mathematics. 13. 212-226 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Boros, P.Hammer, T.Ibaraki, A.Kogan, E.Mayoraz, I.Muchnik: "An Implementation of Logical Analysis of Data"IEEE Trans.on Knowledge and Data Engineering. 12. 292-306 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Boros, T.Ibaraki, K.Makino: "Logical Analysis of Binary Data with Missing Bits"Artificial Intelligence. 107. 219-264 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] X.Deng, T.Ibaraki, H.Nagamochi: "Algorithmic Aspects of the Core of Combinatorial Optimization Games"Mathematics of Operations Research. 24. 751-766 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Eiter, T.Ibaraki, K.Makino: "Computing Intersections of Horn Theories for Reasoning with Models"Artificial Intelligence. 110. 57-101 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Eiter, T.Ibaraki, K.Makino: "On the Difference of Horn Theories"Springer Lecture Notes in Computer Science. (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Eiter, T.Ibaraki, K.Makino: "Bidual Horn Functions and Extensions"Discrete Applied Mathematics. 96,97. 55-88 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Horiyama, T.Ibaraki: "Ordered Binary Decision Diagrams Representing Knowledge-Bases"Proceedings of the 1st Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications,Kyoto. 167-174 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Horiyama, T.Ibaraki: "Ordered Binary Decision Diagrams as Knowledge-Bases"Springer Lecture Notes in Computer Science. 1741. 83-92 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Ibaraki, A.Kogan, K.Makino: "Functional Dependencies in Horn Theories"Artificial Intelligence. 108. 1-30 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Makino, T.Suda, H.Ono, T.Ibaraki: "Data Analysis by Positive Decision Trees"IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Uno, M.Yagiura: "Fast Algorithms to Enumerate All Common Intervals of Permutations"Algorithmica. 26. 290-309 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Yagiura, T.Yamaguchi, T.Ibaraki: "A Variable Depth Search Algorithm for the Generalized Assignment Problem"Meta-Heuristics:Advances and Trends in Local Search Paradigms for Optimization,Kluwer Academic Publishers. 459-471 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Yagiura, T.Ibaraki: "Analyses of the 2 and 3-Flip Neighborhoods for the MAX SAT"Journal of Combinatorial Optimization. 3. 95-114 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Boros, T.Horiyama, T.Ibaraki, K.Makino, M.Yagiura: "Finding Essential Attributes in Binary Data"Springer Lecture Notes in Computer Science. 1983. 133-138 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Horiyama, T.Ibaraki: "Reasoning with ordered binary decision diagrams"Springer Lecture Notes in Computer Science. 1969. 120-131 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Nonobe, T.Ibaraki: "An improved tabu search method for the weighted constraint satisfaction problem"INFOR. 39. 131-151 (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Nonobe, T.Ibaraki: "Formulation and tabu search algorithm for the resource constrained project scheduling problem"Essays and Surveys in Metaheuristics,Kluwer Academic Publishers. (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Ono, K.Makino, T.Ibaraki: "Logical Analysis of Data with decomposable structures"Springer Lecture Notes in Computer Science. 1858. 396-406 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Nagamochi, S.Nakamura, T.Ibaraki: "A simplified $\tilde {0}(nm)$ time edge-splitting algorithm in undirected graphs"Algorithmica. 26. 50-67 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Ibaraki: "Partially defined Boolean functions with applications to data analysis: A survey"Mathematica Japonica. 51. 153-165 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Boros, P.L.Hammer, T.Ibaraki, A.Kogan, E.Mayoraz, I.Muchnik: "An implementation of logical analysis of data"IEEE Trans.on Knowledge and Data Engineering. 12. 292-306 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] X.Deng, T.Ibaraki, H.Nagamochi, W.Zang: "Totally balanced combinatorial optimization games"Mathematical Programming. A-87. 441-452 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] D.R.Gaur, T.Ibaraki, R.Krishnamurti: "Constant ratio approximation algorithms for the rectangle stabbing problem and the rectilinear partitioning problem"Springer Lecture Notes in Computer Science. 1879. 494-503 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Kogan, T.Ibaraki: "Optimal scheduling in parallel and serial manufacturing via the maximum principle"Journal of Global Optimization. 16. 271-294 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Boros, Y.Crama, O.Ekin, P.L.Hammer, T.Ibaraki, A.Kogan: "Boolean normal forms,shellability and reliability computation"SIAM Journal on Discrete Mathematics. 13. 212-226 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Boros, T.Ibaraki, K.Makino: "Fully consistent extensions of partially defined Boolean functions"Springer Lecture Notes in Computer Science. 1872. 257-272 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Nagamochi, T.Ibaraki: "Polyhedral structure of submodular and posimodular systems"Discrete Applied Mathematics. 107. 165-189 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] H.Nagamochi, S.Katayama, T.Ibaraki: "A faster algorithm for computing minimum 5-way and 6-way cuts in graphs"Journal of Combinatorial Optimization. 4. 151-169 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Yagiura, T.Ibaraki: "Local Search"Handbook of Applied Optimization. (To appear).

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] M.Yagiura, T.Ibaraki: "Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: Experimental evaluation"Journal of Heuristics. (To appear).

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] R.E.Burkard, T.Ibaraki, W.R.Pulleyblank(eds.): "Mathematics of Industrial Systems III(Annals of Operations Research,Vol.~76)"Baltzer Science Publishers. (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 茨木 俊秀: "Cによるアルゴリズムとデータ構造"昭晃堂. 226 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 柳浦睦憲, 茨木俊秀: "組合せ最適化 -メタ戦略を中心として-"朝倉書店. 237 (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K. Nonobe, T. Ibaraki: "A tabu search approach for the constraint satisfaction problem as a general problem solver"European Journal of Operational Research. 106. 599-623 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Yagiura, T. Ibaraki: "Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT"Springer Lecture Notes in Computer Science. 1449. 105-116 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Y. Uno, T. Ibaraki: "Reachability problems of random digraphs"IEICE Transactions. E81-A. 2694-2702 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Yagiura, T. Yamaguchi, T. Ibaraki: "A variable depth search algorithm with branching search for the generalized assignment problem"Optimization Methods and Software. 10. 419-441 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E. Boros, Y. Crama, O. Ekin, P. Hammer, T. Ibaraki, A. Kogan: "Boolean normal forms, shellability and reliability computations"SIAM Journal on Discrete Mathematics. 13. 212-226 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E. Boros, P. Hammer, T. Ibaraki, A. Kogan, E. Mayoraz, I. Muchnik: "An Implementation of Logical Analysis of Data"IEEE Trans. on Knowledge and Data Engineering. 12. 292-306 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E. Boros, T. Ibaraki, K. Makino: "Logical Analysis of Binary Data with Missing Bits"Artificial Intelligence. 107. 219-264 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] X. Deng, T. Ibaraki, H. Nagamochi: "Algorithmic Aspects of the Core of Combinatorial Optimization Games"Mathematics of Operations Research. 24. 751-766 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Eiter, T. Ibaraki, K. Makino: "Computing Intersections of Horn Theories for Reasoning with Models"Artificial Intelligence. 110. 57-101 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Eiter, T. Ibaraki, K. Makino: "On the Difference of Horn Theories"Springer Lecture Notes in Computer Science. (1999)

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

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Horiyama, T. Ibaraki: "Ordered Binary Decision Diagrams Representing Knowledge-Bases"Proceedings of the 1st Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, Kyoto. 167-174 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Horiyama, T. Ibaraki: "Ordered Binary Decision Diagrams as Knowledge-Bases"Springer Lecture Notes in Computer Science. 1741. 83-92 (1999)

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

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K. Makino, T. Suda, H. Ono, T. Ibaraki: "Data Analysis by Positive Decision Trees"IEICE Transactions on Information and Systems. E82-D. 76-88 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Uno, M. Yagiura: "Fast Algorithms to Enumerate All Common Intervals of Two Permutations"Algorithmica. 26. 290-309 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Yagiura, T. Yamaguchi, T. Ibaraki: "A Variable Depth Search Algorithm for the Generalized Assignment Problem"Meta-Heuristics : Advances and Trends in Local Search Paradigms for Optimization, Kluwer Academic Publishers. 459-471 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Yagiura, T. Ibaraki: "Analyses of the 2 and 3-Flip Neighborhoods for the MAX SAT"Journal of Combinatorial Optimization. 3. 95-114 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E. Boros, T. Horiyama, T. Ibaraki, K. Makino, M. Yagiura: "Finding Essential Attributes in Binary Data"Springer Lecture Notes in Computer Science. 1983. 133-138 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Horiyama, T. Ibaraki: "Reasoning with ordered binary decision diagrams"Springer Lecture Notes in Computer Science. 1969. 120-131 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K. Nonobe, T. Ibaraki: "An improved tabu search method for the weighted constraint satisfaction problem"INFOR. 39. 131-151 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K. Nonobe, T. Ibaraki: "Formulation and tabu search algorithm for the resource constrained project scheduling problem"Essays and Surveys in Metaheuristics, Kluwer Academic Publishers. (2001)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Ono, K. Makino, T. Ibaraki: "Logical Analysis of Data with decomposable structures"Springer Lecture Notes in Computer Science. 1858. 396-406 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Nagamochi, S. Nakamura, T. Ibaraki: "A simplified $\tilde {0} (nm)$ time edge-splitting algorithm in undirected graphs"Algorithmica. 26. 50-67 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T. Ibaraki: "Partially defined Boolean functions with applications to data analysis : A survey"Mathematica Japonica. 51. 153-165 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E. Boros, P.L. Hammer, T. Ibaraki, A. Kogan, E. Mayoraz, I. Muchnik: "An implementation of logical analysis of data"IEEE Trans. on Knowledge and Data Engineering. 12. 292-306 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] X. Deng, T. Ibaraki, H. Nagamochi, W. Zang: "Totally balanced combinatorial optimization games"Mathematical Programming. A-87. 441-452 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] D.R. Gaur, T. Ibaraki, R. Krishnamurti: "Constant ratio approximation algorithms for the rectangle stabbing problem and the rectilinear partitioning problem"Springer Lecture Notes in Computer Science. 1879. 494-503 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K. Kogan, T. Ibaraki: "Optimal scheduling in parallel and serial manufacturing via the maximum principle"Journal of Global Optimization. 16. 271-294 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E. Boros, Y. Crama, O. Ekin, P. L. Hammer, T. Ibaraki, A. Kogan: "Boolean normal forms, shellability and reliability computations"SIAM Journal on Discrete Mathematics. 13. 212-226 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E. Boros, T. Ibaraki, K. Makino: "Fully consistent extensions of partially defined Boolean functions"Springer Lecture Notes in Computer Science. 1872. 257-272 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Nagamochi, T. Ibaraki: "Polyhedral structure of submodular and posimodular systems"Discrete Applied Mathematics. 107. 165-189 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H. Nagamochi, S. Katayama, T. Ibaraki: "A faster algorithm for computing minimum 5-way and 6-way cuts in graphs"Journal of Combinatorial Optimization. 4. 151-169 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Yagiura, T. Ibaraki: "Local Search"Handbook of Applied Optimization. (to appear).

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] M. Yagiura, T. Ibaraki: "Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT : Experimental evaluation"Journal of Heuristics. (to appear).

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2003-09-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi