Sie sind auf Seite 1von 2

EBKFS - Heimubung 9

Markus Kuhn Mtrklnr.: 6609603 Aufgabe 1 Aufgabe 2 Aufgabe 3


Cliquek := { G | G = (V,E) ist ein Graph mit einer k- Clique} k sei beliebig, aber fest gewhlt fr die DTM und die Korrektheit und Laufzeit. a u DTM Mc bei Eingabe G : 1. Teste, ob G gltige Kodierung eines Graphen ist. Falls nicht, lehne ab. u 2. Erstelle Teilmenge S mit allen k-elementigen Teilmengen aus V . 3. Wiederhole fr alle Elemente x in S u 3.1 Prfe ob x im Graph eine k-Clique darstellt. u Falls ja, akzeptiere. 4. Lehne ab. Korrektheit z.Z.: w Cliquek w L(Mc ) w Cliquek w ist von Form G es existiert eine k-Clique in G in S gibt es die Teilmenge der Knoten aus V die eine k-Clique bilden Mc akzeptiert w L(Mc ) w Cliquek / 1. w ist nicht von der Form G Mc lehnt ab. w L(Mc ) / 2. w ist von der Form G es existiert keine k-Clique in G in der Teilmenge S existiert keine Menge aus Knoten die eine k-Clique bilden Mc ndet keine k-Clique w L(Mc ) /

Johannes Brandt Mtrklnr.: 6618887

EBKfS Ubungsgruppe 07

Markus Kuhn Johannes Brandt

Laufzeit z.Z. polynomielle Laufzeit 1. prft die DTM die Kodierung. Dies bentigt laut Vorlesung lineare Zeit. u o 2. Hier werden die Teilmengen aus V entnommen. Hierzu bentigt es folgende Zeit o |V | |V |! |V | (|V | 1) (|V | k + 1) (|V | k)! 1 k+1 = = = k k!(|V | k)! k!(|V | k)! k! i=1 1 (|V|-i) |V|k |V|k O(| V |)k k! Soviele k-elementige Teilmengen existieren in V . Das Hinzufgen der Mengen zu u S ist natrlich in linearer Zeit mglich. u o 3. Hier muss jede Teilmenge auf ihre Clique-Eigenschaft getestet werden. Das geht k in polynomieller Zeit (Existenz von Kanten muss nachgewiesen werden. 2 Ausserdem wird im Skript gesagt, dass es einen Verizierer gibt der die Eigenschaft in polynomieller Zeit prfen kann. u Somit kann hier eine Clique der Gre k (falls existent) in polynomieller Zeit o gefunden werden. Daher kommt die Gesamtlaufzeit O(|V|k ) zustande. Somit liegt Cliquek in P.

Aufgabe 4
V1 bei Eingabe X,S,k,c : 1. Prfe, ob Eingabe richtig kodiert ist. Falls nicht, lehne ab. u 2. Uberprfe, ob |c| = k, c X ist. Falls nicht, lehne ab. u 3. Prfe x c, ob x in einer Teilmenge aus S vorhanden ist. u (a) Ist x ein Teil von der Teilmenge aus S, so entferne diese Menge aus S. 4. Ist S leer, so akzeptiere. Ist |S| 1, lehne ab. Korrektheit Ist die Eingabe richtig kodiert und ein Element aus Reprsentanten. a So folgt, dass es eine Belegung fr c gibt, so dass fr jedes Element aus c, fr alle u u u Element aus S, mindestens ein Element gleich ist. So folgt V1 entfernt jede Teilmenge und S ist am Ende die leere Menge. So folgt der Verizierer akzeptiert. Akzeptiert V1 so folgt, dass S leer ist und c von richtiger Kodierung war. Die Bedingung fr Reprsentanten war somit erfllt und die Eingabe auch in der Sprache. u a u Verizierer arbeitet korrekt. Laufzeit Die Eingaben zu prfen geht in polynomieller Zeit laut Skript. u Nehmen wir nun an, Die Eingaben sind folgendermaen kodiert: X ist binr dargestellt und fr jede Zahl die existiert schreiben wir an die i-te Stelle a u eine 1, sonst eine 0. Als Beispiel X = 1,2,3,4 wre X = 1111. So ist auch jedes Element in S kodiert und a in c. Nun prfen wir fr |c| ob jedes Element in einer Teilmenge in S vorhanden ist. u u O(|c| |S|). Da wir jedes Element aus c mit jedem Element aus c vergleichen. Das Entfernen der Teilmenge aus S geht logischerweise in linearer Zeit. Somit folgt polynomielle Laufzeit fr V1 . u 2