• 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 1 WS 2017/18

Prof. Dr. Gerhard Woeginger 16.10.2017

Tim Hartmann, Daniel Neuen

Übung zur Vorlesung

Berechenbarkeit und Komplexität

Blatt 1

Tutoriumsaufgabe 1.1

(a) Wiederhole die Definitionen der O-,Ω- und Θ-Notation.

(b) Sortiere die folgenden Funktionen nach wachsender Größenordnung. Wenn in deiner Sortierung f vor g steht, dann ist f =O(g). Begründe dabei jeweils, warum f vor g steht.

√n, nn, logn, n

logn, n, 1

n, n2, 3n, nlogn, 2n

Tutoriumsaufgabe 1.2

Geben Sie je eine formale Darstellung für die Sprachen der folgenden Entscheidungs- probleme an. Machen Sie sich dabei insbesondere Gedanken zur Kodierung der Eingabe und zum Eingabealphabet.

(a) Das Teilsummenproblem besteht darin, für eine gegebene MengeM von natürlichen Zahlen und eine natürliche Zahl b zu entscheiden, ob es eine Teilmenge von M gibt, sodass die Summe der Elemente dieser Teilmengeb ist. Die SpracheLTeilsumme enthalte die Kodierungen der Paare (M, b) mit dieser Eigenschaft.

(b) Eine Clique in einem Graphen G = (V, E) ist eine Menge K ⊆ V von paarweise benachbarten Knoten. Die Sprache des CliquenproblemsLClique enthalte die Kodie- rungen aller Paare (G, b)mit b∈N, so dassG eine Clique der Größe mindestens b besitzt.

Tutoriumsaufgabe 1.3

Geben Sie formal eine Turingmaschine M über Σ = {0,1} an, die für eine auf dem Eingabeband befindliche Binärzahl w ∈ Σ (das höchstwertige Bit stehe jeweils links) die Binärzahl w+ 2 berechnet. Wenn w=, soll M auch ausgeben.

Beschreiben Sie kurz die Funktionsweise Ihrer Turingmaschine.

— bitte wenden —

(2)

Hausaufgabe 1.1 (2 + 2 Punkte) Geben Sie je eine formale Darstellung für die Sprachen der folgenden Entscheidungs- probleme an. Machen Sie sich dabei insbesondere Gedanken zur Kodierung der Eingabe 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 Hamiltonkreis in einem GraphenG= (V, E)ist ein Kreis, indem jeder Knoten des Graphen genau einmal vorkommt. Die Sprache des HamiltonkreisproblemsLHC enthalte die Kodierungen aller Graphen G, so dass G einen Hamiltonkreis besitzt.

Hausaufgabe 1.2 (5 Punkte)

Geben Sie zu der folgenden Turingmaschine M an, welche Konfigurationen auf der Ein- gabe w= 110erreicht werden.

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

δ 0 1 B

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

Hausaufgabe 1.3 (6 Punkte)

Geben Sie eine Beschreibung des Verhaltens der folgenden TuringmaschineM an. Geben Sie die von M berechnete Funktion an.

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

δ 0 1 B

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

Abgabe bis Dienstag, den 24.10.2017 um 16:15 Uhr

im Sammelkasten am Lehrstuhl i1 oder in Ihrem Tutorium.

Referenzen

ÄHNLICHE DOKUMENTE

• Abgabe: am darauffolgenden Mittwoch um 14:00 Uhr im Sammelkasten am Lehrstuhl für Informatik 1. (Erdgeschoss des Gebäudes E1 im Informatikzentrum, vor der Türe des Lehrstuhls auf

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

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

(a) Zeigen Sie, jeweils mit Hilfe eines Polynomialzeitverifizierers, dass die folgenden Entscheidungsprobleme in NP sind..

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 ≤

An m Punkten befinden sich Menschen (schwarz im Bild), die das Gebäude im Falle eines Brandes verlassen müssen.. Dazu müssen sie über einen Pfad (grau im Bild) einen

Geben Sie die Simulation einer NTM mit polynomieller Worst-Case Laufzeit durch eine deterministische TM an?. Wie hoch ist die Laufzeit der

Beschreibe eine polynomielle Reduktion von SubsetSum auf die Entscheidungsvariante von Makespan-Scheduling und beweise ihre Korrektheit. Abgabe bis Donnerstags, den 23.01.2014 um