Logik und Komplexität Übungsblatt 5

Werbung
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.
Herunterladen