Goethe-Universität Frankfurt am Main Institut für Informatik Theorie komplexer Systeme Prof. Dr. Nicole Schweikardt 03.06.2014 Logik und Komplexität Sommersemester 2014 Übungsblatt 5 Zu bearbeiten bis Dienstag, 24.06.2014 Aufgabe 1: (15 Punkte) Zeigen Sie, dass die Klasse aller endlichen ungerichteten Graphen G, so dass alle Zusammenhangskomponenten von G die gleiche Größe haben (d.h. aus derselben Anzahl von Knoten bestehen), nicht EMSO[E]-definierbar in der Klasse aller endlichen ungerichteten Graphen ist. Aufgabe 2: (7 + 7 + 7 + 7 + 7 = 35 Punkte) (a) Berechnen Sie die asymptotische Wahrscheinlichkeit µ(P | UG) für die Klasse P aller planaren ungerichteten Graphen. (b) Beweisen oder widerlegen Sie folgende Behauptungen: (i) FO[σ{a,b} ] besitzt das 0-1-Gesetz bzgl. der Klasse aller Wortstrukturen Aw mit w ∈ {a, b}+ . (ii) MSO[<] besitzt das 0-1-Gesetz bzgl. der Klasse aller endlichen linearen Ordnungen. (iii) FO[<] besitzt das 0-1-Gesetz bzgl. der Klasse aller endlichen linearen Ordnungen. (iv) Es gibt eine unter Isomorphie abgeschlossene Klasse S von ungerichteten Graphen, so dass FO[E] kein 0-1-Gesetz bezüglich S besitzt. Aufgabe 3: (25 Punkte) Beweisen Sie Teil (a) von Lemma 3.10 der Vorlesung, d.h. zeigen Sie, dass für jede endliche relationale Signatur σ, für alle ` ∈ N und alle F ⊆ ∆σ`+1 gilt: µ(EA`,F | All(σ)) = 1. Aufgabe 4: (25 Punkte) Beweisen Sie Teil (b) von Lemma 3.10 der Vorlesung, d.h. zeigen Sie, dass für jede endliche relationale Signatur σ, jedes k > 1 und alle σ-Strukturen A, B, die jedes Erweiterungsaxiom EA`,F mit ` 6 k und F ⊆ ∆σ`+1 erfüllen, gilt: A und B erfüllen die gleichen FO[σ]-Sätze vom Quantorenrang 6 k.