Zertifizierte Einschränkungsweitergabe und duale Beweisanalysen in einem numerisch exakten MIP-Löser

Dieses Papier präsentiert die Integration von Einschränkungsweitergabe und dualer Beweisanalyse in einem exakten, fehlerfreien MIP-Löser. Die Autoren verwenden sichere Rundungsmethoden, um sicherzustellen, dass alle Ergebnisse nachweislich korrekt bleiben, während sie im Vergleich zu einer rein Gleitkommadarstellung so wenig Rechenleistung wie möglich opfern. Die Studie behandelt auch die Anpassung von Zertifizierungstechniken zur Korrektheitsüberprüfung. Rechnerische Studien zeigen die Wirksamkeit dieser Techniken und demonstrieren eine Leistungssteigerung von 23 % im Vergleich zum MIPLIB 2017 Benchmark-Testset.