• Keine Ergebnisse gefunden

Aufgabe 1 Beweisen Sie:

N/A
N/A
Protected

Academic year: 2021

Aktie "Aufgabe 1 Beweisen Sie:"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Universit¨ at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey

Diskrete Mathematik f¨ ur Informatiker WS 2015/2016

Ubungsblatt 8 ¨

Aufgabe 1 Beweisen Sie:

Sei G = (V , E ) ein zusammenh¨ angender Graph und sei jeder Knoten v ∈ V vom Grad h¨ ochstens 2 (∀v ∈ V : d

G

(v ) ≤ 2). Dann ist G entweder ein einzelner Knoten, der P

n

oder der C

n

.

Hinweis: Versuchen Sie vollst¨ andige Induktion ¨ uber die Anzahl der Kanten.

Aufgabe 2 Gegeben folgender Graph

und das Matching M = {{h, f }, {c, e}, {a , d }}:

a b c h

d

e

f g

(a) Ist M maximal/perfekt?

(b) Finden Sie einen erweiternden Weg, der die Kanten {h , f } und {c, e}

enth¨ alt?

(c) Geben Sie ggf. das aus dem resultierenden Weg entstehende Matching an. Ist dieses Matching maximal/perfekt?

Aufgabe 3 Bestimmen Sie die Anzahl der perfekten Matchings im bipar- titen Graphen K

n,n

und im vollst¨ andigen Graphen K

2n

.

Aufgabe 4 Zeichnen Sie den Graph

G = (V , E ) mit V = {1, 2, 3, 4, 5}, E = {{1, 2}, {1, 3}, {1, 5}, {2, 4}, {2, 5}, {3, 4}, {3, 5}}.

(a) Enth¨ alt G einen Eulerweg / Eulerkreis?

(b) Sei G

0

= (V ∪ {6}, E ∪ {{1, 6}, {2, 6}}).

Enth¨ alt G

0

einen Eulerweg / Eulerkreis?

1

(2)

(c) Sei G

00

= (V ∪ {6, 7}, E ∪ {{1, 6}, {2, 6}, {3, 7}, {4, 7}}).

Enth¨ alt G

00

einen Eulerweg / Eulerkreis?

Aufgabe 5 Bestimmen Sie ein Kriterium, so dass ein Graph G = (V , E ) einen Eulerweg, aber keinen Eulerkreis hat.

Aufgabe 6 Beweisen oder widerlegen Sie: In jedem Graph G = (V , E ) mit Eulerkreis gibt es eine Menge von echten Kreisen, so dass jede Kante e ∈ E in genau einem dieser Kreise liegt.

Aufgabe 7 Sei G ein Graph mit n Knoten.

(a) Was ist die kleinste Anzahl an Kanten m , die man braucht, so dass G zusammenh¨ angend ist?

(b) Wie viele Kanten muss G mindestens haben, so dass G in jedem Fall zusammenh¨ angend ist?

2

Referenzen

ÄHNLICHE DOKUMENTE

Ist es m¨ oglich, dass NP-vollst¨ andige Probleme und Probleme aus P eine disjunkte Teilung der Klasse NP bilden?. Aufgabe

Lehrstuhl Theoretische Informatik Markus Lohrey.. Grundlagen der Theoretischen Informatik

a) Gegeben eine pr¨ adikatenlogische Formel F mit einem einstelligen Pr¨ adi- katensymbol, ohne Gleichheit und ohne Funktionssymbole, ist F erf¨ ull- bar?. b) Gegeben zwei

Fachbereich Mathematik und Statistik Vorkurs Mathematik 2019.

Fachbereich Mathematik und Statistik Prof..

(d) Beweisen oder widerlegen Sie, dass die folgenden Formeln äquivalent sind zu einer Horn- Formel. Hinweis: Führen Sie einen Induktionsbeweis über die Anzahl der Aussagenvariablen,

(b) Zeigen Sie, dass jede Erweiterung von F um eine nicht-monotone Boolesche Funktion, eine funktional vollständige Menge liefert. Hinweis: Drücken Sie mit Hilfe einer solchen

eine zunehmende unendliche Mengenfolge von