Skip to main content
Log in

Solving constrained optimization problems by solution-based decomposition search

  • Published:
Journal of Combinatorial Optimization Aims and scope Submit manuscript

Abstract

Solving constrained optimization problems (COPs) is a challenging task. In this paper we present a new strategy for solving COPs called solve and decompose (or \( S \& D\) for short). The proposed strategy is a systematic iterative depth-first strategy that is based on problem decomposition. \( S \& D\) uses a feasible solution of the COP, found by any exact method, to further decompose the original problem into a bounded number of subproblems which are considerably smaller in size. It also uses the value of the feasible solution as a bound that we add to the created subproblems in order to strengthen the cost-based filtering. Furthermore, the feasible solution is exploited in order to create subproblems that have more promise in finding better solutions which are explored in a depth-first manner. The whole process is repeated until we reach a specified depth where we do not decompose the subproblems anymore but we solve them to optimality using any exact method like Branch and Bound. Our initial results on two benchmark problems show that \( S \& D\) may reach improvements of up to three orders of magnitude in terms of runtime when compared to Branch and Bound.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

Notes

  1. http://www.emn.fr/z-info/choco-solver/

References

  • Frisch AM, Miguel I, Walsh T (2001) Modelling a steel mill slab design problem. In: Proceedings of the IJCAI-01 workshop on modelling and solving problems with constraints, pp 39–45

  • Han B, Leblet J, Simon G (2010) Hard multidimensional multiple choice knapsack problems, an empirical study. Comput Oper Res 37(1):172–181

    Article  MathSciNet  MATH  Google Scholar 

  • Harvey WD, Ginsberg ML (1995) Limited discrepancy search. In: Proceedings of the 14th international joint conference on artificial intelligence, vol 1. Morgan Kaufmann Publishers Inc., San Francisco, pp 607–613

  • Jain V, Grossmann IE (2001) Algorithms for hybrid MILP/CP models for a class of optimization problems. INFORMS J Comput 13(4):258–276

    Article  MathSciNet  MATH  Google Scholar 

  • Kitching M, Bacchus F (2009) Exploiting decomposition on constraint problems with high tree-width. In: Proceedings of the 21st international joint conference on artificial intelligence, IJCAI 2009, Pasadena, CA, July 11–17, 2009, pp 525–531

  • Lawler EL, Wood DE (1966) Branch-and-bound methods: a survey. Oper Res 14(4):699–719

    Article  MathSciNet  MATH  Google Scholar 

  • Milano M, von Hoeve WJ (2002) Reduced cost-based ranking for generating promising subproblems. In: Proceedings of the 8th international conference on principles and practice of constraint programming, CP ’02. Springer, London, pp 1–16

  • Moser M, Jokanovic DP, Shiratori N (1997) An algorithm for the multidimensional multiple-choice knapsack problem. IEICE Trans Fundam Electron Commun Comput Sci 80(3):582–589

    Google Scholar 

  • Régin J, Rezgui M, Malapert A (2014) Improvement of the embarrassingly parallel search for data centers. In: Principles and practice of constraint programming—20th international conference, CP 2014, Lyon, France, September 8–12, 2014, proceedings, pp 622–635

  • Rossi F, von Beek P, Walsh T (2006) Handbook of constraint programming (foundations of artificial intelligence). Elsevier, New York

    Google Scholar 

  • Tsang E (1993) Foundations of constraint satisfaction. Academic Press, London

    Google Scholar 

  • von Hoeve WJ, Milano M (2004) Decomposition based search—a theoretical and experimental evaluation. CoRR cs.AI/0407040

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mahdi Khemakhem.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lamine, A., Khemakhem, M., Hnich, B. et al. Solving constrained optimization problems by solution-based decomposition search. J Comb Optim 32, 672–695 (2016). https://doi.org/10.1007/s10878-015-9892-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10878-015-9892-8

Keywords

Navigation