Blatt6 BerechenbarkeitundKomplexität ÜbungzurVorlesung

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

(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

• Wenn ein(e) Student(in) sich bereit erklärt hat eine Aufgabe zu präsentieren und diese nicht korrekt oder unvollständig präsentiert, werden alle Punkte auf dem Übungsblatt

• 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-

(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 ≤

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