• Keine Ergebnisse gefunden

Dipl.-Math. Stefan Weltge Wintersemester 2015/16

N/A
N/A
Protected

Academic year: 2022

Aktie "Dipl.-Math. Stefan Weltge Wintersemester 2015/16"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Dipl.-Math. Stefan Weltge Wintersemester 2015/16

Geometrische Methoden in der Diskreten Optimierung: ¨ Ubung 9

Besprechung am 12.01.2016

Aufgabe 1

Sei n ∈ {3, 4, 5} und P ⊆ R

2

ein beliebiges konvexes n-Eck. Zeigen Sie, dass xc(P ) = n gilt.

Aufgabe 2

Sei P ⊆ R

2

ein konvexes Sechseck. Zeigen Sie, dass xc(P ) ∈ {5, 6} gilt. F¨ ur welche Sechsecke gilt xc(P ) = 5?

Aufgabe 3

Sei S ⊆ R

n×n

eine Matrix, so dass S

i,i

6= 0 f¨ ur alle i ∈ [n] sowie S

i,j

· S

j,i

= 0 f¨ ur alle i, j ∈ [n] mit i 6= j gilt. Zeigen Sie, dass rang(S) ≥ √

n gilt.

Hinweis: Betrachten Sie dasKronecker-Produkt1 A:=S⊗ST. Zeigen Sie, dassA eine regul¨are Diago- nalmatrix der Gr¨oßen×nals Submatrix enth¨alt.

(Obige Aufgabe zeigt zusammen mit Aufgabe 4, Blatt 8, dass Fooling Sets (Lemma 3.49 aus der VL) in Schlupfmatrizen von PolytopenP nicht gr¨oßer sein k¨onnen als (dim(P) + 1)2.)

Aufgabe 4

Sei φ

n

eine 3-SAT-Formel

2

in Variablen x

1

, . . . , x

n

∈ {0, 1}. Das zugeh¨ orige 3-SAT- Polytop sei definiert als

P

φn

:= conv({x ∈ {0, 1}

n

| φ

n

(x) ist wahr}).

Zeigen Sie, dass es 3-SAT-Formeln φ

n

gibt, so dass xc(P

φn

) = 2

Ω(n)

gilt.

Hinweis: Zeigen Sie, dass es eine 3-SAT-Formelφ0n2 mit O(n2) Klauseln gibt, so dass φ0(x) ist wahr ⇐⇒ x∈CORR(n)

f¨ur allex∈ {0,1}n2 gilt.

(Man kann mit Reduktionstechniken wie in dieser Aufgabe zeigen, dass zu jedem 3-SAT-Polytop Pφn

ein TSP-Polytop TSP(n0) mitn0 =O(n) existiert, so dass Pφn Projektion einer Seite von TSP(n0) ist.

Somit gilt xc(TSP(n0))≥xc(Pφn).

Damit erh¨alt man schließlich xc(TSP(n)) = 2Ω(n).)

1http://de.wikipedia.org/wiki/Kronecker-Produkt

2https://de.wikipedia.org/wiki/3-SAT

Referenzen

ÄHNLICHE DOKUMENTE

H¨ ohere Mathematik II f¨ ur die Fachrichtungen Elektroingenieurwesen, Physik und Geod¨ asie inklusive. Komplexe Analysis und

Weitere Informationen zu den Pr¨ ufungen entnehmen Sie bitte der Vorlesungshomepage

HM II (Physik): drei handbeschriebene DIN A4 - Bl¨atter (insgesamt sechs Seiten) HM II (ETEC, Geod.): zwei handbeschriebene DIN A4 - Bl¨atter (insgesamt vier Seiten) KAI (ETEC):

Priv.-Doz. Entscheiden Sie, ob die folgenden Aussagen wahr oder falsch sind. Geben Sie jeweils einen Beweis bzw.. Details zur Pr¨ ufungsanmeldung werden in K¨ urze

H¨ ohere Mathematik II f¨ ur die Fachrichtungen Elektroingenieurwesen und Physik inklusive Komplexe Analysis und

Karlsruher Institut f¨ ur Technologie (KIT) Institut f¨ ur

H¨ ohere Mathematik II f¨ ur die Fachrichtungen Elektroingenieurwesen und Physik inklusive Komplexe Analysis und

Weitere Informationen zur Pr¨ ufung entnehmen Sie bitte der Vorlesungshomepage