Detailansicht
Branch-and-Cut for an SDP Relaxation of Large-Scale Minimum Bisection Problems
ISBN/EAN: 9783836486903
Umbreit-Nr.: 4725004
Sprache:
Deutsch
Umfang: 244 S.
Format in cm: 1.6 x 22 x 15
Einband:
kartoniertes Buch
Erschienen am 29.11.2013
Auflage: 1/2013
- Zusatztext
- The minimum bisection problem (MB) is a challenging graph partitioning problem with numerous applications. Several inexact solution approaches for MB showed up in recent years. For the exact solution of large instances of MB, linear programming (LP) based methods were dominating. This doctoral thesis deals with the exact solution of large-scale MB via a semidefinite programming (SDP) relaxation in a branch-and-cut framework. After reviewing known results on the underlying bisection cut polytope, new valid inequalities are studied. Strengthenings based on the new cluster weight polytope and polynomial separation algorithms for special cases are investigated. Computationally, the dual of the SDP relaxation of MB is tackled in its equivalent form as an eigenvalue optimisation problem with the spectral bundle method. Details of the implementation are presented, including primal heuristics, branching rules, support extensions and warm start. A study showing that the chosen approach is competitive to state-of-the-art implementations using LP or SDP relaxations concludes the thesis. The book is aimed at researchers and practitioners in optimisation and discrete mathematics.
- Autorenportrait
- Dr. rer. nat. Michael Armbruster: Studied business mathematics at Chemnitz University of Technology (CUT) and University of Liverpool. Worked as research assistant at CUT and University of Klagenfurt. Took a doctoral degree from CUT. Currently employed as software architect at DB Systel GmbH Frankfurt, Germany.