• Keine Ergebnisse gefunden

Kapitel 5 Komplexität

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Kapitel 5 Komplexität"

Copied!
48
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 48 Seite )

Volltext

(1)

Kapitel 5

Komplexität

(2)

Ziel des Kapitels

(3)

Kapitel 5

Komplexität mit generellen TBoxen, obere Schranke

Komplexität

(4)

Obere Schranke

(5)

Syntaktische Typen

T5.1

(6)

Typelimination

(7)

Schlechte Typen

T5.1 cont

(8)

Typelimination

T5.1 cont

(9)

T5.2

T5.3

Terminierung und Korrektheit

(10)

Typelimination

(11)

Zusammenhang mit Tableau-Algorithmen

(12)

Kapitel 5

Komplexität mit generellen TBoxen, untere Schranke

Komplexität

(13)

Untere Schranke

(14)

ExpTime Spiele

T5.4

(15)

ExpTime Spiele

(16)

Gewinnstrategie

(17)

Gewinnstrategie

T5.5

(18)

Gewinnstrategie

(19)

ExpTime Spiele

(20)

ExpTime-Härte

(21)

ExpTime-Härte

(22)

ExpTime-Härte

(23)

ExpTime-Härte

(24)

Korrektheit

T5.6

(25)

Kapitel 5

Komplexität ohne TBoxen obere Schranke

Komplexität

(26)

Obere Schranke

(27)

Baummodelle

(28)

ALC-Worlds

(29)

ALC-Worlds

(30)

ALC-Worlds

T5.7

(31)

ALC-Worlds

T5.7 cont

(32)

Terminierung und Korrektheit

T5.8

T5.9

(33)

Zusammenhang mit Tableau-Algorithmen

(34)

Erweiterungen von ALC

(35)

Kapitel 5

Komplexität ohne TBoxen untere Schranke

Komplexität

(36)

Untere Schranke

(37)

PSpace Spiele

T5.10

(38)

PSpace Spiele

(39)

PSpace Spiele

(40)

Gewinnstrategie

T5.11

(41)

PSpace Spiele

(42)

PSpace-Härte

(43)

PSpace-Härte

(44)

PSpace-Härte

(45)

PSpace-Härte

(46)

Korrektheit

(47)

Kapitel 5

Zusammenfassung + Nachbemerkung

Komplexität

(48)

Zusammenfassung

Referenzen

Jetzt herunterladen ( PDF - 48 Seite - 3.88 MB )

ÄHNLICHE DOKUMENTE

Logik und Komplexität

Sei Conn die Klasse aller zusammenhängenden endlichen ungerichteten Graphen und sei UGraphs die Klasse aller endlichen ungerichteten Graphen. (a) Zeigen Sie, dass Conn nicht L 2

Logik und Komplexität

zeigen Sie, dass für jede Signatur σ, jede LFP[σ]-Formel ϕ(R, ~ x), die positiv in R ist, und jede σ-Struktur A gilt: F ϕ,A ist monoton. Aufgabe 4:

Logik und Komplexität

Da es nicht ohne Weiteres möglich ist (im Gegensatz zum Beweis des Satzes von Büchi) jede Position von w mit dem Zustand zu markieren, den A an der Position erreicht, müssen wir uns

Lesung Komplexität

Komplexität wird fast immer über der Eingabe länge

Komplexität theorie

Theoretischen Informatik werden besonders die Algorithmen typen. TM und RAM verwendet ( einfache Analyse !

Komplexität theorie

Beweis : Sei Meine nicht det.. Olsen , ) Alle

obere / untere Schranke

Beweise, daß die Menge aller Begriffe eines endlichen Kontextes (ein Kon- text mit endlicher Merkmal- und Gegenstandsmenge) geordnet bez¨uglich der Begriffsordnung einen

Asymptotische Komplexität

Dazu wird die asymptotische Komplexität verwendet, mit deren Hilfe der zeitliche Aufwand eines Algorithmus in Abhängigkeit von der Problemgröße n abgeschätzt werden kann..