Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ... Handout - Institut für Theoretische Informatik - Technische ...
6. Komplexität von Algorithmen 6.12 Raumkomplexität Man überzeugt sich leicht davon, daß FormelSpiel PSPACE - vollständig ist (HA). Nachdem sich PSPACE als “große” Komplexitätsklasse herausgestellt hat, die sogar NP umfaßt, fehlt hinsichtlich der Raumkomplexität noch eine “kleines” Gegenstück zu P . Aber um sub-lineare Raumkomplexität sinnvoll definieren zu können, ist bei der Definition von Raumkomplexität an sich die Rolle des Eingabebandes zu überdenken: Definition Eine 2-Band Turingmaschinen mit einerm read-only Eingabeband und einem normalen Arbeitsband hat Raumkomplexität f (n) , falls jede Eingabe der Länge n höchstens f (n) Raum auf dem Arbeitsband benötigt. Wenn es um die Berechnung von Funktionen geht, ist zusätzlich noch ein write-only Ausgabeband vorzusehen. Im Gegensatz zu endlichen Automaten und Kellerautomaten wird die Eingabe nicht notwendig als Strom verarbeitet, da auf dem Eingabeband Schritte in beiden Richtungen möglich sind. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 214 / 215
6. Komplexität von Algorithmen 6.12 Raumkomplexität Weitere interessante Raum-Komplexitätsklassen: Definition Die Klasse L ( NL ) besteht aus allen E-Problemen, die von einer (nicht)deterministischen Turingmaschine mit Raumkomplexität in O(log n) gelöst werden können. Beispiel Sowohl die Sprache der korrekt geklammerten Ausdrücke über {), (} als auch die die Sprache {w ∈ {a, b} ∗ : |w| a = |w| b } liegen in L : Man muß nur die Anzahl noch offener Klammern bzw. die Anzahlen von Symbolen a sowie b binär bestimmen und mit 0 bzw. miteinander vergleichen. Man kann zeigen, daß Erreichbarkeit in gerichteten Graphen und 2-Sat in NL liegen und sogar NL-vollständig sind, woraus L ⊆ NL ⊆ P folgt. Es ist offen, ob diese Inklusionen echt sind. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 215 / 215
- Seite 163 und 164: 6. Komplexität von Algorithmen 6.8
- Seite 165 und 166: 6. Komplexität von Algorithmen 6.8
- Seite 167 und 168: 6. Komplexität von Algorithmen 6.8
- Seite 169 und 170: 6. Komplexität von Algorithmen 6.9
- Seite 171 und 172: 6. Komplexität von Algorithmen 6.9
- Seite 173 und 174: 6. Komplexität von Algorithmen 6.1
- Seite 175 und 176: 6. Komplexität von Algorithmen 6.1
- Seite 177 und 178: 6. Komplexität von Algorithmen 6.1
- Seite 179 und 180: 6. Komplexität von Algorithmen 6.1
- Seite 181 und 182: 6. Komplexität von Algorithmen 6.1
- Seite 183 und 184: 6. Komplexität von Algorithmen 6.1
- Seite 185 und 186: 6. Komplexität von Algorithmen 6.1
- Seite 187 und 188: 6. Komplexität von Algorithmen 6.1
- Seite 189 und 190: 6. Komplexität von Algorithmen 6.1
- Seite 191 und 192: 6. Komplexität von Algorithmen 6.1
- Seite 193 und 194: 6. Komplexität von Algorithmen 6.1
- Seite 195 und 196: 6. Komplexität von Algorithmen 6.1
- Seite 197 und 198: 6. Komplexität von Algorithmen 6.1
- Seite 199 und 200: 6. Komplexität von Algorithmen 6.1
- Seite 201 und 202: 6. Komplexität von Algorithmen 6.1
- Seite 203 und 204: 6. Komplexität von Algorithmen 6.1
- Seite 205 und 206: 6. Komplexität von Algorithmen 6.1
- Seite 207 und 208: 6. Komplexität von Algorithmen 6.1
- Seite 209 und 210: 6. Komplexität von Algorithmen 6.1
- Seite 211 und 212: 6. Komplexität von Algorithmen 6.1
- Seite 213: 6. Komplexität von Algorithmen 6.1
6. Komplexität von Algorithmen 6.12 Raumkomplexität<br />
Weitere interessante Raum-Komplexitätsklassen:<br />
Definition<br />
Die Klasse L ( NL ) besteht aus allen E-Problemen, die von einer<br />
(nicht)deterministischen Turingmaschine mit Raumkomplexität in<br />
O(log n) gelöst werden können.<br />
Beispiel<br />
Sowohl die Sprache der korrekt geklammerten Ausdrücke über {), (} als<br />
auch die die Sprache {w ∈ {a, b} ∗ : |w| a = |w| b } liegen in L : Man muß<br />
nur die Anzahl noch offener Klammern bzw. die Anzahlen von Symbolen a<br />
sowie b binär bestimmen und mit 0 bzw. miteinander vergleichen.<br />
Man kann zeigen, daß Erreichbarkeit in gerichteten Graphen und<br />
2-Sat in NL liegen und sogar NL-vollständig sind, woraus<br />
L ⊆ NL ⊆ P folgt. Es ist offen, ob diese Inklusionen echt sind.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 215 / 215