• Keine Ergebnisse gefunden

Zeigen Sie, dass PATH NL-vollst¨andig ist

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Zeigen Sie, dass PATH NL-vollst¨andig ist"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Universit¨at Siegen

Lehrstuhl Theoretische Informatik Markus Lohrey und Eric N¨oth

Komplexit¨atstheorie WS 2014/15

Ubungsblatt 13¨

Aufgabe 1.

1. Wiederholen Sie den Satz von Cook.

2. Zeigen Sie, dass VERTEX COVER NP-vollst¨andig ist.

3. Zeigen Sie, dass die 3-F¨arbbarkeit von Graphen NP-vollst¨andig ist.

Aufgabe 2.

1. Zeigen Sie, dass PATH NL-vollst¨andig ist.

2. Wiederholen Sie den Satz von Immerman-Szelepcs`enyi.

3. Geben Sie weitere NL-vollst¨andige Probleme an.

Aufgabe 3.

Zeigen Sie, dass Quantifizierte Boolesche Formeln PSPACE-vollst¨andig ist.

1

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 57.52 KB )

ÄHNLICHE DOKUMENTE

1. (15 %) Zeigen Sie mittels vollst¨ andiger Induktion, dass f¨ ur alle n > 1 gilt:

Theoretische Informatik 1 Gewertete Aufgaben, Blatt 2. Abgabe ins Fach Ihrer/s Tutor(in)

F¨ ullen Sie bitte zuerst das Deckblatt vollst¨ andig und leserlich aus. Damit erkl¨ aren Sie, dass

• Ihnen bekannt ist, dass die Teilnahme an der Pr¨ ufung eine ordnungsgem¨ aße Anmeldung voraussetzt, andernfalls die Pr¨ ufung nicht g¨ ultig ist (§39 Abs. 2 AllgStuPO).. •

F¨ ullen Sie bitte zuerst das Deckblatt vollst¨ andig und leserlich aus. Damit erkl¨ aren Sie, dass

Ihnen ist außerdem bewusst, dass ihre Nichterf¨ ullung zur Ung¨ ultigkeit der Pr¨ ufung f¨ uhren kann (§39 Abs. 2 Satz 4 AllgStuPO).. • Ihnen bekannt ist, dass die Teilnahme an

Zeigen Sie, dass

[r]

Zeigen Sie, dass

• Eine aussagenlogische Formel ist in konjunktiver Normalform (KNF), wenn sie eine Konjunktion von Disjunktionen von Literalen ist.. Konjunktionen immer alle Variablen genau

Zeigen Sie, dass |f(z

Bestimmen Sie (ohne Beweis) f¨ ur jede Kom- ponente von C \Sp(γ) die Windungszahl von γ um ein Element der entsprechenden Kom- ponente und tragen Sie diese in die Grafik

(ii) Beweisen oder widerlegen Sie, dass {f} funktional vollst¨andig ist

[r]

Kann jetzt ein Faktor im Nenner, dessen x-Wert die Definitionsmenge einschr¨ankt, vollst¨andig (d.h

• Kann jetzt ein Faktor im Nenner, dessen x-Wert die Definitionsmenge einschr¨ ankt, vollst¨ andig (d.h. mit allen seinen Potenzen) weggek¨ urzt werden, so hat man an dieser Stelle