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 Definition Die Syntax quantifizierter Boole’scher Formeln (qBF) hat die BNF ϕ ::= x | true | false | ¬ϕ | ϕ ∧ ϕ | ϕ ∨ ϕ | ϕ → ϕ | ∀x.ϕ | ∃x.ϕ Die Menge der freien Variablen einer qBF ϕ ist gegeben durch FV (true) = FV (false) := ∅ FV (x) := {x} FV (¬ϕ) := FV (ϕ) FV (ϕ ∧ ψ) = FV (ϕ ∨ ψ) = FV (ϕ → ψ) := FV (ϕ) ∪ FV (ψ) FV (∀x.ϕ) = FV (∃x.ϕ) := FV (ϕ) − {x} Nicht freie Variablen sind durch einen Quantor gebunden. ϕ heißt geschlossen, falls jede auftretenden Variable gebunden ist. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 208 / 215
6. Komplexität von Algorithmen 6.12 Raumkomplexität Schreibweise: ϕ(x 0 , x 1 , . . . , x n−1 ) bedeutet FV (ϕ)⊆{ x i : i < n} . Fakt Jede geschlossene qBF ϕ kann in sogenannter Prenex-Normalform (PNF) dargestellt werden ϕ = Q 0 x 0 . Q 1 x 1 . . . . Q n−1 x n−1 . ψ(x 0 , . . . , x n−1 ) wobei ψ keine Quantoren enthält. Mit Hilfe von “Dummy-Variablen” ist es zudem möglich, alternierende Prenex-Normalform (aPNF) zu erreichen, bei der Existenz- und All-Quantor alternieren: ϕ = ∃x 0 . ∀x 1 . . . . Q m−1 x m−1 . ψ(x 0 , . . . , x m−1 ) Beispiel Das E-Problem QuantifizierteBoolescheFormel (QBF) hat als Eingabe eine geschlossene quantifizierte Boolesche Formel ϕ . Zu entscheiden ist, ob ϕ wahr ist. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 209 / 215
- Seite 157 und 158: 6. Komplexität von Algorithmen 6.7
- Seite 159 und 160: 6. Komplexität von Algorithmen 6.7
- Seite 161 und 162: 6. Komplexität von Algorithmen 6.8
- 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: 6. Komplexität von Algorithmen 6.1
- Seite 211 und 212: 6. Komplexität von Algorithmen 6.1
- Seite 213 und 214: 6. Komplexität von Algorithmen 6.1
- Seite 215: 6. Komplexität von Algorithmen 6.1
6. Komplexität von Algorithmen 6.12 Raumkomplexität<br />
Definition<br />
Die Syntax quantifizierter Boole’scher Formeln (qBF) hat die BNF<br />
ϕ ::= x | true | false | ¬ϕ | ϕ ∧ ϕ | ϕ ∨ ϕ | ϕ → ϕ | ∀x.ϕ | ∃x.ϕ<br />
Die Menge der freien Variablen einer qBF ϕ ist gegeben durch<br />
FV (true) = FV (false) := ∅<br />
FV (x) := {x}<br />
FV (¬ϕ) := FV (ϕ)<br />
FV (ϕ ∧ ψ) = FV (ϕ ∨ ψ) = FV (ϕ → ψ) := FV (ϕ) ∪ FV (ψ)<br />
FV (∀x.ϕ) = FV (∃x.ϕ) := FV (ϕ) − {x}<br />
Nicht freie Variablen sind durch einen Quantor gebunden.<br />
ϕ heißt geschlossen, falls jede auftretenden Variable gebunden ist.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 208 / 215