Abstract
We present a novel heuristic to identify feasible solutions of a mixed-integer nonlinear programming problem arising in natural gas transportation: the selection of new pipelines to enhance the network’s capacity to a desired level in a cost-efficient way. We solve this problem in a linear programming based branch-and-cut approach, where we deal with the nonlinearities by linear outer approximation and spatial branching. At certain nodes of the branching tree, we compute a KKT point of a nonlinear relaxation. Based on the information from the KKT point we alter some of the binary variables in a locally promising way exploiting our problem-specific structure. On a test set of real-world instances, we are able to increase the chance of identifying feasible solutions by some order of magnitude compared to standard MINLP heuristics that are already built in the general-purpose MINLP solver SCIP.
Similar content being viewed by others
References
Achterberg T (2009) SCIP: solving constraint integer programs. Math Progr Comput 1(1):1–41
Achterberg T, Berthold T (2007) Improving the feasibility pump. Discrete Optim 4(1):77–86
Achterberg T, Berthold T, Hendel G (2012) Rounding and propagation heuristics for mixed integer programming. In: Klatte D, Lüthi H-J, Schmedders K (eds) Operations Research Proceedings 2011. Springer, Berlin, pp 71–76
Balas E, Schmieta S, Wallace C (2004) Pivot and shift: a mixed integer programming heuristic. Discrete Optim 1(1):3–12
Belotti P (2009) Couenne: a user’s manual
Berthold T (2012) RENS: the optimal rounding. Technical Report ZR-12-17, Zuse Institute Berlin, Takustraße 7, 14195 Berlin, Germany
Berthold T (2013) Primal MINLP heuristics in a nutshell. ZIB-Report 13–2, Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany
Berthold T (2006) Primal heuristics for mixed integer programs. Diploma thesis, Technische Universität Berlin
Berthold T (2014) RENS: the optimal rounding. Math Progr Comput 6(1):33–54
Berthold T, Gleixner AM (2014) Undercover: a primal MINLP heuristic exploring a largest sub-MIP. Math Progr 144(1–2):315–346
Berthold T, Heinz S, Pfetsch ME, Vigerske S (2011) Large neighborhood search beyond MIP. In: Di Gaspero L, Schaerf A, Stützle T (eds) Proceedings of the 9th Metaheuristics International Conference (MIC 2011), pp 51–60
Bixby RE (1994) Commentary: progress in linear programming. ORSA J Comput 6:15–22
Bixby RE (2002) Solving real-world linear programs: a decade and more of progress. Oper Res 50(1):1–13
Bonami P, Biegler LT, Conn AR, Cornuéjols G, Grossmann IE, Laird CD, Lee J, Lodi A, Margot F, Sawaya N, Wächter A (2008) An algorithmic framework for convex mixed integer nonlinear programs. Discrete Optim 5(2):186–204
Bonami P, Cornuéjols G, Lodi A, Margot F (2009) A feasibility pump for mixed integer nonlinear programming. Math Progr 119(2):331–352
Bonami P, Goncalves J (2012) Heuristics for convex mixed integer nonlinear programs. Comput Optim Appl 51:729–747
Bonami P, Gonçalves J (2012) Heuristics for convex mixed integer nonlinear programs. Comput Optim Appl 51:729–747
CPLEX (2011) User’s Manual for CPLEX, 12.1 edn. IBM Corporation, Armonk
D’Ambrosio C, Frangioni A, Liberti L, Lodi A (2012) A storm of feasibility pumps for nonconvex minlp. Math Progr 136:375–402
Danna E, Rothberg E, Le Pape C (2005) Exploring relaxation induced neighborhoods to improve MIP solutions. Math Progr 102:71–90
Danna E, Rothberg E, Le Pape C (2004) Exploring relaxation induced neighborhoods to improve MIP solutions. Mathe Progr 102(1):71–90
Fiacco AV, Ishizuka Y (1990) Sensitivity and stability analysis for nonlinear programming. Ann Oper Res 27(1):215–236
Fischetti M, Glover F, Lodi A (2005) The feasibility pump. Math Progr 104(1):91–104
Fischetti M, Salvagnin D (2009) Feasibility pump 2.0. mathematical programming computation, vol 1, pp 201–222
Floudas CA, Misener R (2013) A framework for globally optimizing mixed-integer signomial programs. J Optim Theory Appl 161(3):905–932
Fügenschuh A, Geißler B, Gollmer R, Hayn C, Henrion R, Hiller B, Humpola J, Koch T, Lehmann T, Martin A, Mirkov R, Morsi A, Rövekamp J, Schewe L, Schmidt M, Schultz R, Schwarz R, Schweiger J, Stangl C, Steinbach MC, Willert BM (2014) Mathematical optimization for challenging network planning problems in unbundled liberalized gas markets. Energy Syst 5(3):449–473
Fügenschuh A, Hiller B, Humpola J, Koch T, Lehman T, Schwarz R, Schweiger J, Szabó J (2011) Gas network topology optimization for upcoming market requirements. In: IEEE Proceedings of the 8th International Conference on the European Energy Market (EEM), pp 346–351
Fügenschuh A, Martin A (2005) Computational integer programming and cutting planes. In: Weissmantel R, Aardal K, Nemhauser G (eds) Handbook on discrete optimization. Elsevier, New York, pp 69–122
Geißler B, Martin A, Morsi A (2013) LaMaTTO++. Available at: http://www.mso.math.fau.de/edom/projects/lamatto.html
Guzelsoy M, Nemhauser G, Savelsbergh M (2013) Restrict-and-relax search for 0–1 mixed-integer programs. EURO J Comput Optim 1(1–2):201–218
Humpola J, Fügenschuh A (2013) A new class of valid inequalities for nonlinear network design problems. ZIB-Report 13–06, Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany
Humpola J, Fügenschuh A (2013) A unified view on relaxations for a nonlinear network flow problem. ZIB-Report 13–31, Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany
Koberstein A (2005) The dual simplex method, techniques for a fast and stable implementation. PhD thesis, Universität Paderborn, Fakultät für Wirtschaftswissenschaften
Liberti L, Mladenović N, Nannicini G (2011) A recipe for finding good solutions to MINLPs. Math Progr Comput 3:349–390
Mahajan A, Leyffer S, Kirches C (2012) Solving mixed-integer nonlinear programs by QP-diving. Technical Report ANL/MCS-2071-0312, Argonne National Laboratory, Mathematics and Computer Science Division
Majahan A, Leyffer S, Linderoth JT, Luedtke J, Munson T MINOTAUR: a toolkit for solving mixed-integer nonlinear optimization. http://wiki.mcs.anl.gov/minotaur
Nannicini G, Belotti P (2012) Rounding-based heuristics for nonconvex MINLPs. Math Progr Comput 4:1–31
Nemhauser GL, Wolsey LA (1988) Integer and combinatorial optimization. Wiley, New York
Orchard-Hays W (1990) History of the development of LP solvers. Interfaces 20(4):61–73
Pfetsch ME, Fügenschuh A, Geißler B, Geißler N, Gollmer R, Hiller B, Humpola J, Koch T, Lehmann T, Martin A, Morsi A, Rövekamp J, Schewe L, Schmidt M, Schultz R, Schwarz R, Schweiger J, Stangl C, Steinbach MC, Vigerske S, Willert BM (2012) Validation of nominations in gas network optimization: models, methods, and solutions. ZIB-Report 12–41, Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany
Rothberg E (2007) An evolutionary algorithm for polishing mixed integer programming solutions. INFORMS J Comput 19(4):534–541
Smith EMB, Pantelides CC (1999) A symbolic reformulation/spatial branch-and-bound algorithm for the global optimization of nonconvex MINLPs. Comput Chem Eng 23:457–478
Tawarmalani M, Sahinidis NV (2002) Convexification and global optimization in continuous and mixed-integer nonlinear programming: theory, algorithms, software, and applications. Kluwer Academic, Boston
Tawarmalani M, Sahinidis NV (2004) Global optimization of mixed-integer nonlinear programs: a theoretical and computational study. Math Progr 99(3):563–591
Tawarmalani M, Sahinidis NV (2005) A polyhedral branch-and-cut approach to global optimization. Math Progr 103(2):225–249
Vigerske S (2012) Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming. PhD thesis, Humboldt-Universität zu Berlin
Wächter A, Biegler LT (2006) On the implementation of a primal-dual interior point filter line search algorithm for large-scale nonlinear programming. Math Progr 106(1):25–57
Weymouth TR (1912) Problems in natural gas engineering. Trans Am Soc Mech Eng 34(1349):185–231
Wunderling R (2006) Paralleler und objektorientierter Simplex-Algorithmus. PhD thesis, Technische Universität Berlin, Fachbereich Mathematik
Acknowledgments
We are grateful to Open Grid Europe GmbH (OGE, Essen/Germany) for supporting our work. Armin Fügenschuh conducted parts of this research under a Konrad-Zuse-Fellowship. We thank two anonymous referees for carefully reading our manuscript and their various comments helping us to improve its quality.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Humpola, J., Fügenschuh, A. & Lehmann, T. A primal heuristic for optimizing the topology of gas networks based on dual information. EURO J Comput Optim 3, 53–78 (2015). https://doi.org/10.1007/s13675-014-0029-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13675-014-0029-0
Keywords
- Mixed-integer nonlinear programming
- Relaxations
- Heuristics
- Duality
- Nonlinear network design applications