Als «mathematical-programming» getaggte Fragen

2
Theorembeweise in Coq
Hintergrund Ich lerne selbst Hilfe, Coq. Bisher habe ich Yves Bertots Coq in Eile gelesen . Mein Ziel ist es nun, einige grundlegende Ergebnisse bezüglich der natürlichen Zahlen zu beweisen, die mit dem sogenannten Divisionsalgorithmus gipfeln. Auf meinem Weg zu diesem Ziel bin ich jedoch auf einige Rückschläge gestoßen. Insbesondere …
2
Bekannte Facetten des Travelling Salesman Problem Polytops
Für die Branch-and-Cut-Methode ist es wichtig, viele Facetten der durch das Problem erzeugten Polytope zu kennen. Derzeit ist es jedoch eines der schwierigsten Probleme, tatsächlich alle Facetten solcher Polytope zu berechnen, da sie schnell an Größe zunehmen. Für ein beliebiges Optimierungsproblem ist das Polytop, das beim Verzweigen und Schneiden oder …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.