Computing optimality certificates for convex mixed-integer nonlinear problems

Halbig K, Hümbs L, Rösel F, Schewe L, Weninger D (2021)


Publication Language: English

Publication Type: Other publication type

Publication year: 2021

URI: https://opus4.kobv.de/opus4-trr154/frontdoor/index/index/docId/476/

Abstract

Every optimization problem has a corresponding verification problem which verifies whether a given optimal solution is in fact optimal. In the literature there are a lot of such ways to verify optimality for a given solution, e.g., the branch-and-bound tree. To simplify this task, Baes et al. introduced optimality certificates for convex mixed-integer nonlinear programs and proved that these are bounded in the number of integer variables. We introduce an algorithm to compute the certificates and conduct computational experiments. Through the experiments we show that the optimality certificates can be surprisingly small.

Authors with CRIS profile

Involved external institutions

How to cite

APA:

Halbig, K., Hümbs, L., Rösel, F., Schewe, L., & Weninger, D. (2021). Computing optimality certificates for convex mixed-integer nonlinear problems.

MLA:

Halbig, Katrin, et al. Computing optimality certificates for convex mixed-integer nonlinear problems. 2021.

BibTeX: Download