IDEAS home Printed from https://ideas.repec.org/a/spr/coopap/v81y2022i1d10.1007_s10589-021-00326-y.html
   My bibliography  Save this article

Finding a Hamiltonian cycle by finding the global minimizer of a linearly constrained problem

Author

Listed:
  • Michael Haythorpe

    (Flinders University)

  • Walter Murray

    (Stanford University)

Abstract

It has been shown that a global minimizer of a smooth determinant of a matrix function corresponds to the largest cycle of a graph. When it exists, this is a Hamiltonian cycle. Finding global minimizers even of a smooth function is a challenge. The difficulty is often exacerbated by the existence of many global minimizers. One may think this would help, but in the case of Hamiltonian cycles the ratio of the number of global minimizers to the number of local minimizers is typically astronomically small. There are various equivalent forms of the problem and here we report on two. Although the focus is on finding Hamiltonian cycles, and this has an interest in and of itself, this is just a proxy for a class of problems that have discrete variables. The solution of relaxations of these problems is typically at a degenerate vertex, and in the neighborhood of the solution the Hessian is indefinite. The form of the Hamiltonian cycle problem we address has the virtue of being an ideal test problem for algorithms designed for discrete nonlinear problems in general. It is easy to generate problems of varying size and varying character, and they have the advantage of being able to determine if a global solution has been found. A feature of many discrete problems is that there are many solutions. For example, in the frequency assignment problem any permutation of a solution is also a solution. A consequence is that a common characteristic of the relaxed problems is that they have large numbers of global minimizers and even larger numbers of both local minimizers, and saddle points whose reduced Hessian has only a single negative eigenvalue. Efficient algorithms that seek to find global minimizers for this type of problem are described. Results using BONMIN, a solver for nonlinear problems with continuous and discrete variables, are also included.

Suggested Citation

  • Michael Haythorpe & Walter Murray, 2022. "Finding a Hamiltonian cycle by finding the global minimizer of a linearly constrained problem," Computational Optimization and Applications, Springer, vol. 81(1), pages 309-336, January.
  • Handle: RePEc:spr:coopap:v:81:y:2022:i:1:d:10.1007_s10589-021-00326-y
    DOI: 10.1007/s10589-021-00326-y
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s10589-021-00326-y
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.

    File URL: https://libkey.io/10.1007/s10589-021-00326-y?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. J. Filar & M. Haythorpe & W. Murray, 2013. "On the determinant and its derivatives of the rank-one corrected generator of a Markov chain on a graph," Journal of Global Optimization, Springer, vol. 56(4), pages 1425-1440, August.
    2. Yuichi Nagata & Shigenobu Kobayashi, 2013. "A Powerful Genetic Algorithm Using Edge Assembly Crossover for the Traveling Salesman Problem," INFORMS Journal on Computing, INFORMS, vol. 25(2), pages 346-363, May.
    3. Ali Eshragh & Jerzy Filar & Michael Haythorpe, 2011. "A hybrid simulation-optimization algorithm for the Hamiltonian cycle problem," Annals of Operations Research, Springer, vol. 189(1), pages 103-125, September.
    4. Walter Murray & Kien-Ming Ng, 2010. "An algorithm for nonlinear optimization problems with binary variables," Computational Optimization and Applications, Springer, vol. 47(2), pages 257-288, October.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Marianna De Santis & Stefano Lucidi & Francesco Rinaldi, 2011. "A new class of functions for measuring solution integrality in the Feasibility Pump approach," DIS Technical Reports 2011-08, Department of Computer, Control and Management Engineering, Universita' degli Studi di Roma "La Sapienza".
    2. Javier Cano & Javier M. Moguerza & Francisco J. Prieto, 2017. "Using Improved Directions of Negative Curvature for the Solution of Bound-Constrained Nonconvex Problems," Journal of Optimization Theory and Applications, Springer, vol. 174(2), pages 474-499, August.
    3. Zongxu Mu & Jérémie Dubois-Lacoste & Holger H. Hoos & Thomas Stützle, 2018. "On the empirical scaling of running time for finding optimal solutions to the TSP," Journal of Heuristics, Springer, vol. 24(6), pages 879-898, December.
    4. Xiao Liu & Simge Küçükyavuz, 2018. "A polyhedral study of the static probabilistic lot-sizing problem," Annals of Operations Research, Springer, vol. 261(1), pages 233-254, February.
    5. Abdolmaleki, Mojtaba & Shahabi, Mehrdad & Yin, Yafeng & Masoud, Neda, 2021. "Itinerary planning for cooperative truck platooning," Transportation Research Part B: Methodological, Elsevier, vol. 153(C), pages 91-110.
    6. Wendel Melo & Marcia Fampa & Fernanda Raupp, 2014. "Integrating nonlinear branch-and-bound and outer approximation for convex Mixed Integer Nonlinear Programming," Journal of Global Optimization, Springer, vol. 60(2), pages 373-389, October.
    7. Rupaj Kumar Nayak & Nirmalya Kumar Mohanty, 2020. "Solution of boolean quadratic programming problems by two augmented Lagrangian algorithms based on a continuous relaxation," Journal of Combinatorial Optimization, Springer, vol. 39(3), pages 792-825, April.
    8. Azizipanah-Abarghooee, Rasoul & Golestaneh, Faranak & Gooi, Hoay Beng & Lin, Jeremy & Bavafa, Farhad & Terzija, Vladimir, 2016. "Corrective economic dispatch and operational cycles for probabilistic unit commitment with demand response and high wind power," Applied Energy, Elsevier, vol. 182(C), pages 634-651.
    9. Marianna De Santis & Stefano Lucidi & Francesco Rinaldi, 2013. "A new class of functions for measuring solution integrality in the Feasibility Pump approach: Complete Results," DIAG Technical Reports 2013-05, Department of Computer, Control and Management Engineering, Universita' degli Studi di Roma "La Sapienza".
    10. Hajime Kawakami, 2015. "Reconstruction algorithm for unknown cavities via Feynman–Kac type formula," Computational Optimization and Applications, Springer, vol. 61(1), pages 101-133, May.
    11. Ma, Cheng & Zhang, Liansheng, 2015. "On an exact penalty function method for nonlinear mixed discrete programming problems and its applications in search engine advertising problems," Applied Mathematics and Computation, Elsevier, vol. 271(C), pages 642-656.
    12. Md Saiful Islam & Md Sarowar Morshed & Md. Noor-E-Alam, 2022. "A Computational Framework for Solving Nonlinear Binary Optimization Problems in Robust Causal Inference," INFORMS Journal on Computing, INFORMS, vol. 34(6), pages 3023-3041, November.
    13. Ali Eshragh & Jerzy A. Filar & Thomas Kalinowski & Sogol Mohammadian, 2020. "Hamiltonian Cycles and Subsets of Discounted Occupational Measures," Mathematics of Operations Research, INFORMS, vol. 45(2), pages 713-731, May.
    14. Wendel Melo & Marcia Fampa & Fernanda Raupp, 2020. "An overview of MINLP algorithms and their implementation in Muriqui Optimizer," Annals of Operations Research, Springer, vol. 286(1), pages 217-241, March.
    15. He, Mu & Wu, Qinghua & Benlic, Una & Lu, Yongliang & Chen, Yuning, 2024. "An effective multi-level memetic search with neighborhood reduction for the clustered team orienteering problem," European Journal of Operational Research, Elsevier, vol. 318(3), pages 778-801.
    16. Wendel Melo & Marcia Fampa & Fernanda Raupp, 2018. "Integrality gap minimization heuristics for binary mixed integer nonlinear programming," Journal of Global Optimization, Springer, vol. 71(3), pages 593-612, July.
    17. S. Lucidi & F. Rinaldi, 2010. "Exact Penalty Functions for Nonlinear Integer Programming Problems," Journal of Optimization Theory and Applications, Springer, vol. 145(3), pages 479-488, June.
    18. Konstantin Avrachenkov & Ali Eshragh & Jerzy A. Filar, 2016. "On transition matrices of Markov chains corresponding to Hamiltonian cycles," Annals of Operations Research, Springer, vol. 243(1), pages 19-35, August.
    19. Phan, Dzung T. & Zhu, Yada, 2015. "Multi-stage optimization for periodic inspection planning of geo-distributed infrastructure systems," European Journal of Operational Research, Elsevier, vol. 245(3), pages 797-804.
    20. M. Santis & F. Rinaldi, 2012. "Continuous Reformulations for Zero–One Programming Problems," Journal of Optimization Theory and Applications, Springer, vol. 153(1), pages 75-84, April.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:coopap:v:81:y:2022:i:1:d:10.1007_s10589-021-00326-y. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.