• Keine Ergebnisse gefunden

Blatt1 BerechenbarkeitundKomplexität ÜbungzurVorlesung

N/A
N/A
Protected

Academic year: 2022

Aktie "Blatt1 BerechenbarkeitundKomplexität ÜbungzurVorlesung"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Lehrstuhl für Informatik 7 WS 2014/15

Prof. Dr. Wolfgang Thomas 15.10.2014

Kamal Al-Bawani, Sascha Geulen,

Oliver Göbel, Benjamin Ries, Lisa Wagner

Übung zur Vorlesung

Berechenbarkeit und Komplexität

Blatt 1

Aufgabe 1.1

Geben Sie eine formale Darstellung für die Sprachen der folgenden Entscheidungsproble- me an. Machen Sie sich dabei insbesondere Gedanken zur Kodierung der Eingabe, zur Eingabelänge und zum Eingabealphabet.

(a) Das Partition-Problem besteht darin, zu entscheiden, ob eine gegebene Menge von natürlichen Zahlen so in zwei Teile partitioniert werden kann, dass die Summen über die jeweiligen Elemente der einzelnen Teile gleich groß sind. Die Sprache LPartition enthalte genau jene Zahlmengen, für die die genannte Eigenschaft gilt.

(b) Ein Hamiltonpfad in einem Graphen G ist ein Pfad in G, der jeden Knoten ge- nau einmal besucht. Die Sprache des Hamiltonpfad-ProblemsLHamiltonenthalte alle Graphen, die mindestens einen Hamiltonpfad besitzen.

(c) Ein Graph heißt stark-zusammenhängend, wenn jeder Knoten von jedem anderen Knoten durch einen Pfad erreichbar ist. Die Sprache Lconnected enthalte alle stark- zusammenhängenden Graphen.

Aufgabe 1.2

Geben Sie eine Beschreibung des Verhaltens der folgenden Turingmaschine M auf nicht- leeren Eingaben. Welche Funktion wird von M berechnet?

M = ({q0, q1, q2, q3,q},¯ {0,1},{0,1, B}, B, q0,q, δ)¯

δ 0 1 B

q0 (q0,0, R) (q1,1, R) (¯q,0, N) q1 (q1,0, R) (q1,1, R) (q2, B, L) q2 (q2,1, L) (q3,0, L) (¯q,0, N) q3 (q3,0, L) (q3,1, L) (¯q, B, R)

— bitte wenden —

(2)

Aufgabe 1.3 (4 Punkte) Geben Sie formal (vgl. vorherige Aufgabe) je eine Turingmaschine über Σ = {0,1} an, die für eine auf dem Eingabeband befindliche Binärzahl w∈Σ+ (das höchstwertige Bit stehe jeweils links)

(a) die Binärzahl bw/2c berechnet.

(b) die Binärzahl w+ 1 berechnet.

Abgabe bis Mittwoch, den 22.10.2014 um 14.00 Uhr

im Sammelkasten am Lehrstuhl für Informatik 1.

Referenzen

ÄHNLICHE DOKUMENTE

• Falls Sie in einem Studiengang eingeschrieben sind, für den es einen entsprechenden Eintrag im System gibt (wie z. „Bachelor Computer Science“), sollten Sie auch diesen

(a) Das Teilsummenproblem besteht darin, für eine gegebene Menge M von natürlichen Zahlen und eine natürliche Zahl b zu entscheiden, ob es eine Teilmenge von M gibt, sodass die

(b) Beweisen oder widerlegen Sie mit einem skizziertem Beweis: 100-VARIABLE-WHILE Programme sind Turing-mächtig.. — bitte

Hausaufgabe 8.1 (15 Punkte) Geben Sie für die folgenden Sprachen jeweils an, ob diese rekursiv bzw. rekursiv aufzähl-

Ziegen sie für das Bin Packing Problem ( BPP ), dass falls die Entscheidungsvariante in P ist, so kann auch die Optimierungsvariante in polynomialer Zeit gelöst

(b) Geben Sie je eine unentscheidbare Sprache an, auf die sich der Satz von Rice an- wenden lässt, und eine, auf die er sich nicht anwenden lässt?. Die Sprachen sollen beide

Zeigen oder widerlegen Sie, dass folgende Probleme entscheidbar sind. Beweisen Sie insbesondere die Korrektheit Ihrer

Frage: Gibt es eine erfüllende Belegung, so dass in jeder Klausel mindestens ein wahres und ein falsches Literal vorkommt.. Zeigen Sie durch polynomielle Reduktion: 3SAT ≤