Cutting-Planes-Methode

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Beweis- und Widerlegungsverfahren, das auf linearen Ungleichungen arbeitet, die 0–1-Ganzheitsbedingungen repräsentieren: Man leitet neue gültige lineare Ungleichungen durch lineare Kombinationen ab und wendet ganzzahliges Abrunden (Cuts) an, um fraktionale Lösungen zu eliminieren und schließlich einen expliziten Widerspruch (z. B.