• Keine Ergebnisse gefunden

Wiesozeigtdas,dassdasOptimieren uberdenSchnittdreierMatroideimAllgemeinen GegebenseieinDigraph und .Zeige,dassdieMengeallerMengen definiertals .AnalogdefiniertmanSchnittevonmehralszwei GegebenseieineendlicheGrundmenge undeineKollektionvonTeilmengen 2 . Komb

N/A
N/A
Protected

Academic year: 2022

Aktie "Wiesozeigtdas,dassdasOptimieren uberdenSchnittdreierMatroideimAllgemeinen GegebenseieinDigraph und .Zeige,dassdieMengeallerMengen definiertals .AnalogdefiniertmanSchnittevonmehralszwei GegebenseieineendlicheGrundmenge undeineKollektionvonTeilmengen 2 . Komb"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Prof. Dr. Volker Kaibel M.Sc. Jonas Frede

Wintersemester 2018/2019

Kombinatorische Optimierung – Blatt 12

www.math.uni-magdeburg.de/institute/imo/teaching/wise18/kombopt/

Pr¨asentation in der ¨Ubung am 18.01.2019

Aufgabe 1

Gegeben sei eine endliche Grundmenge E und eine Kollektion von Teilmengen S ⊆2E. Eine partielle Transversale T ⊆E ist eine Menge von Elementen, so dass T derart mittels f injektiv nach S abgebildet werden kann, dasst∈f(t) f¨ur alle t∈T gilt. (Kann T sogar bijektiv nachS abgebildet werden, so heißt T Transversale.)

Zeige, dass die Menge der partiellen Transversalen ein Matroid ¨uberE bildet.

Aufgabe 2

SindM1= (E,I1)undM2= (E,I2)zwei Matroide, so ist der Schnitt der beiden Matroide definiert als M1∩M2 = (E,I1 ∩ I2). Analog definiert man Schnitte von mehr als zwei Matroiden. (Achtung: Schnitte von Matroiden sind im Allgemeinen nicht selbst Matroide!) Gegeben sei ein Digraph D = (V, A) und s, t ∈V. Zeige, dass die Menge aller Mengen knotendisjunkter Wege und Kreise, die nicht inshineinf¨uhren und nicht austhinausf¨uhren, als Schnitt zweier Matroide aufgefasst werden kann.

Hinweis: Benutze jeweils ein Transversalmatroid f¨ur s und eines f¨urt.

Wieso zeigt das, dass das Optimieren ¨uber den Schnitt dreier Matroide im Allgemeinen NP-schwer (d.h. so schwer wie das Hamiltonwegproblem) ist?

S. 1/1

Referenzen

ÄHNLICHE DOKUMENTE

Fachbereich Mathematik und Informatik Sommersemester 2007 der Universit¨ at

Hinweis: Es gibt einen kurzen einfachen Beweis, der aber nicht ganz einfach zu finden ist.. Falls Du ihn nicht findest, so zeige die Behauptung zumindest f¨ ur den Fall, dass

Universit¨ at Konstanz Sebastian Gruler Fachbereich Mathematik und Statistik Mar´ıa L´ opez Quijorna.. Wintersemester 2012/2013

Hinweis: Dies erledigt mit deutlich mehr Theorie als damals verf¨ ugbar noch einmal den schwierigsten Teil der ohne solche Hilfsmittel sehr schweren Aufgabe 10.

Universit¨ at Konstanz Sebastian Gruler Fachbereich Mathematik und Statistik Mar´ıa L´ opez Quijorna.. Wintersemester 2012/2013

Universit¨ at Konstanz Christoph Hanselka Fachbereich Mathematik und Statistik Markus Schweighofer Sommersemester 2012.. Ubungsblatt 1 zur Kommutativen

[r]

b) Beweise den Existenzsatz der Finaltopologie, d.h. Wir versehen X mit der Unterraumtopologie und Y mit der Quotiententopologie. Die abgeschlossenen Mengen sind also gerade