• Keine Ergebnisse gefunden

Einf¨ uhrung in die Mathematische Optimierung – Blatt 8

N/A
N/A
Protected

Academic year: 2022

Aktie "Einf¨ uhrung in die Mathematische Optimierung – Blatt 8"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Maximilian Merkert und Clemens Zeile Wintersemester 2020/2021

Einf¨ uhrung in die Mathematische Optimierung – Blatt 8

Abgabe bis 22.12., Pr¨asentation am 05.01.2021

Aufgabe 1 (6 Punkte)

Betrachte die Vektoren a1= (1,1,0) und a2 = (0,1,1)und die LPs

min{⟨c, x⟩ ∣Ax=b, x≥O} und (std-LP) max{⟨b, y⟩ ∣Ay≤c} . (std-LP-dual) Finde einen Vektora3∈R3, sodass f¨urA= (a1, a2, a3) folgendes m¨oglich ist:

(a) Es gibt b, c∈R3, sodass (std-LP) unbeschr¨ankt und (std-LP-dual) unzul¨assig sind.

(b) Es gibt b, c∈R3, sodass (std-LP) unzul¨assig und (std-LP-dual) unbeschr¨ankt sind.

(c) Es gibt b, c∈R3, sodass (std-LP) unzul¨assig und (std-LP-dual) unzul¨assig sind.

Aufgabe 2 (4 Punkte)

Seien c= (7,6,5,−2,3) ∈R5, b= (4,3,5,1) ∈R4 und

A=

⎜⎜

1 3 5 −2 2

4 2 −2 1 1

2 4 4 −2 5

3 1 2 −1 −2

⎟⎟

gegeben. Wir wollen ¨uberpr¨ufen, obx = (0,43,23,53,0) eine Optimall¨osung von

max{⟨c, x⟩ ∶Ax≤b, x≥O5}ist. Betrachte dazu eine potenzielle L¨osungydes dualen LPs und wende auf x und y den Satz vom komplement¨aren Schlupf an.

Aufgabe 3 (4 Punkte)

Beweise: SeienA, B, C, D Matrizen undc, dVektoren mit Komponenten inRderart, dass das SystemAx+By=b,Cx+Dy≤d,x≥0 in unbekannten Vektorenxundywohldefiniert ist. Dann sind die folgenden Bedingungen ¨aquivalent:

(i) Es gibt x≥0 und y, die Ax+By=b und Cx+Dy≤d erf¨ullen.

(ii) F¨ur alle uund v ≥0 gilt die Implikation(uA+vC≥0, uB+vD=0) ⇒ ub+vd≥0.

Aufgabe 4 (4 Punkte)

Angenommen, das Hilfsproblem min{z ∣Ax+bz=b, x, z≥0} (mit A ∈ Rm×n, b ∈ Rm, wobeiAvollen Zeilenrang hat) zum Finden einer zul¨assigen Basisl¨osung hat als Optimum z>0, d.h. das Originalproblem Ax=b, x≥0 ist unzul¨assig.

Finde heraus, wie man aus dem aktuellen Tableau einen “Farkas-Strahl” y ∈ Rm mit yA≥0 und yb<0 konstruiert.

Hinweis: Betrachte die zur aktuellen Basis geh¨orige Duall¨osungy, wie sie im Abschnitt

“Basis-Darstellung von (std-LP-dual)” konstruiert wird.

S. 1/1

Referenzen

ÄHNLICHE DOKUMENTE

[r]

Zudem beachten Sie, dass ein LP unzul¨ assig oder unbeschr¨ ankt sein kann, was von Ihrem Code erkannt werden soll. Die L¨ osungen dieser Aufgabe sollen per Email

Im Simplex-Algorithmus mit der Bland-Regel f¨ uhrt jeder Basiswechsel zu einer echten Verbesserung des Zielfunktionswerts der jeweils aktuellen Basisl¨ osung.. Die folgenden

In beiden F¨ allen sollen f¨ ur das entsprechende LP nicht einfach Symbole f¨ ur Matri- zen/Vektoren, sondern einzelne (Un-)Gleichungen (quantifiziert mit “f¨

Beweise Bemerkung 2.8, Teil 1: Die konvexe H¨ ulle von X ⊆ R n ist die Menge der konvexen Kombinationen von endlich vielen Punkten aus X. Aufgabe 6

Falls dann keine Darstellung existiert, helfen die gewonnenen Farkas-Multiplizierer, einen Widerspruch

In beiden F¨ allen sollen f¨ ur das entsprechende LP nicht einfach Symbole f¨ ur Matri- zen/Vektoren, sondern einzelne (Un-)Gleichungen (quantifiziert mit “f¨

(1) Eine Variable, die gerade in die Basis (Gleichungsformat!) eingetreten ist, kann die Basis beim n¨ achsten Schritt wieder verlassen. (2) Falls keine Basisl¨ osung degeneriert