• Keine Ergebnisse gefunden

1. Aufgabenblatt f¨ ur die Vorlesung

N/A
N/A
Protected

Academic year: 2021

Aktie "1. Aufgabenblatt f¨ ur die Vorlesung"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

AG Theorie der k¨ unstlichen Intelligenz FB Mathematik und Informatik, Universit¨ at Bremen

Prof. Dr. Carsten Lutz

MZH 3090

clu@informatik.uni-bremen.de Tel.: 0421/218-64431

1. Aufgabenblatt f¨ ur die Vorlesung

” Komplexit¨ atstheorie“

Aufgabe 1: 5 Punkte

Verwende Algorithmus 2 f¨ ur die Erreichbarkeit in Graphen (Folie 111 von Kapitel 1), um zu entscheiden, ob in folgendem Graphen h von d erreichbar ist.

Aufgabe 2: 10 Punkte

Beweise die Korrektheit des Algorithmus aus Aufgabe 1. Zeige, dass f¨ ur alle Knoten v ∈ V folgendes gilt: v wird markiert gdw. v von v

0

erreichbar ist.

Hinweis: Verwenden Sie f¨ ur die “⇒” Richtung Induktion ¨ uber die Anzahl Schritte der while Schleife und f¨ ur die

“⇐” Richtung Induktion ¨ uber die L¨ ange des k¨ urzesten Pfades von v nach v

0

. Aufgabe 3: 10 Punkte

Berechne alle optimalen L¨ osungen f¨ ur folgendes Sequenzierungsproblem:

A = {a, b, c, d, e}

e ≺ b, e ≺ c, b ≺ a, b ≺ d

d(a) = 2, d(b) = 4, d(c) = 3, d(d) = 3, d(e) = 4

Zeige, dass Deine L¨ osungen wirklich optimal sind.

Aufgabe 4: 2+2+8=12 Punkte

Beweise f¨ ur den Fall des Sequenzierungsproblems:

(a) Wenn das Optimierungsproblem polynomiell l¨ osbar ist, dann auch das Entscheidungsproblem;

(b) Wenn das Berechnungsproblem polynomiell l¨ osbar ist, dann auch das Optimierungsproblem;

(c) Wenn das Entscheidungssproblem polynomiell l¨ osbar ist, dann auch das Berechnungsproblem;

Hinweis: nur bei Punkt 3 ist eigene Kreativit¨ at n¨ otig.

Aufgabe 5: 10 Punkte (Zusatzaufgabe)

Zeige die Korrektheit des Algorithmus b-clique auf Folie 29 des ersten Kapitels: wenn G eine k-Clique enth¨ halt, dann gibt b-clique(G, k) eine k-Clique in G aus.

Hinweis: es wird Induktion ben¨ otigt.

Referenzen

ÄHNLICHE DOKUMENTE

Welche der Inklusionen/definitionen kann (f¨ ur sich genommen) in einer azyklischen TBox verwendet werden, welche nicht.. Aufgabe

(c) Gibt es eine Interpretation I, in der nur endlich viele Konzeptinklusionen erf¨

Bitte EMail-Adressen auf L¨ osungszetteln angeben, damit wir Euch ¨ uber die erreichte Punktzahl informieren

(c) Gibt es eine Interpretation I, in der nur endlich viele Konzeptinklusionen erf¨

Bert sagt: “Wenn Chris nicht l¨ ugt, dann ist entweder Anna oder David ein L¨ ugner.”.. David sagt: “Wenn Bert die Wahrheit sagt, dann auch Anna

(b) Zeige, dass jede Klauselmenge erf¨ ullbar ist, wenn sie keine Klausel mit ausschließlich positiven Literalen enth¨ alt.. (c) Um einen Polyzeit-Algorithmus aus dem Resolutionssatz

zwischen zwei beliebigen Elemente existiert immer noch ein weiteres (a) Welche der S¨ atze sind g¨ ultig in den Strukturen R < bzw. Welche der S¨ atze gelten

(c) Verwende Trakhtenbrots Theorem, um zu beweisen, dass die Menge aller FO(τ)-Formeln, die kein endliches Modell besitzen, nicht rekursiv aufz¨