3. Aufgabenblatt f¨ ur die Vorlesung
Volltext
ÄHNLICHE DOKUMENTE
Bitte EMail-Adressen auf L¨ osungszetteln angeben, damit wir Euch ¨ uber die erreichte Punktzahl informieren
Zeigen Sie, dass man falls CLIQUE ∈ P auch in Polynomialzeit eine k-Clique in einem gegebenen Graphen G berechnen kann, wenn sie existiert.. Sie d¨ urfen dabei annehmen, dass
(d) ALC hat zwar die Baummodelleigenschaft und die endliche Modelleigenschaft, aber nicht die endliche Baum- modelleigenschaft : es gibt ein Konzept C und eine generelle TBox T ,
zwischen zwei beliebigen Elemente existiert immer noch ein weiteres (a) Welche der S¨ atze sind g¨ ultig in den Strukturen R < bzw. Welche der S¨ atze gelten
Wir wollen zeigen, dass die Struktur der nat¨ urlichen Zahlen N mit 0 und der Nachfolgerfunktion nf in SO
Um die Korrektheit der Reduktion zu beweisen, hilft es wahrscheinlich, folgendes zu zeigen: wenn man die Wahrheitswerte einer 6=-WZ f¨ ur eine AL-Formel ϕ vertauscht (wahr durch
(b) jede gerade Zahl außer der 2 ist als Summe zweier Primzahl darstellbar (Goldbachsche Vermutung) (c) f¨ ur jede Zahl x und jede Primzahl y, so dass x nicht durch y teilbar ist,
Es darf angenommen werden, dass E in allen betrachteten Strukturen eine symmetrische Relation ist (was der Ungerichtetheit der Graphen entspicht).. (a) 3-F¨ arbbarkeit (b)