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.11 Approximation von Optimierungsproblemen Güte der Approximation Satz Die minimale Größe opt(G) einer Knotenüberdeckung und die Größe c(G) der vom Algorithmus gelieferten Lösung erfüllen c(G) ≤ 2opt(G) . Beweis. D entsteht durch Vereinigung paarweise disjunkter Kanten. Jede andere Knotenüberdeckung D ′ , speziell eine optimale, muß einen Endpunkt jeder dieser Kanten enthalten, also mindestens |D|/2 viele Knoten. Definition Für ε > 0 heißt ein deterministischer Algorithmus für P mit polynomialer Laufzeit ε-approximierend für P = 〈Σ, E, A, L, c〉 , falls |c〈v, w〉 − opt(v)| |opt(v)| ≤ ε wobei opt(v) := opt{ c〈v, w〉 : 〈v, w〉 ∈ L } Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 186 / 215
6. Komplexität von Algorithmen 6.11 Approximation von Optimierungsproblemen Beispiel Der obige Algorithmus für MinKÜ ist 1-approximierend, denn c(G) ≤ 2opt(G) impliziert c(G) − opt(G) ≤ opt(G) . Für ε < 1 ist der Algorithmus nicht ε-approximierend: G : • • liefert c(G) = 2 aber opt(G) = 1 . Beispiel ( SiT(k) ) Das O-Problem Scheduling of Independent Tasks(k) hat ein n-Tupel t ∈ N n als Eingabe, zu interpretieren als Bearbeitungszeiten von n voneinander unabhängigen Aufgaben (Tasks). Für diese stehen k gleichmächtige Prozessoren zur Verfügung. Gesucht ist eine Abbildung S(t) n k (Arbeitsplan oder Schedule), die die Gesamtlaufzeit T (t) minimiert: ∑ T (t) = max{ t i : j < k } i∈S(t) −1 {j} Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 187 / 215
- Seite 135 und 136: 6. Komplexität von Algorithmen 6.4
- Seite 137 und 138: 6. Komplexität von Algorithmen 6.4
- Seite 139 und 140: 6. Komplexität von Algorithmen 6.4
- Seite 141 und 142: 6. Komplexität von Algorithmen 6.4
- Seite 143 und 144: 6. Komplexität von Algorithmen 6.5
- Seite 145 und 146: 6. Komplexität von Algorithmen 6.5
- Seite 147 und 148: 6. Komplexität von Algorithmen 6.6
- Seite 149 und 150: 6. Komplexität von Algorithmen 6.6
- Seite 151 und 152: 6. Komplexität von Algorithmen 6.7
- Seite 153 und 154: 6. Komplexität von Algorithmen 6.7
- Seite 155 und 156: 6. Komplexität von Algorithmen 6.7
- 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: 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 und 214: 6. Komplexität von Algorithmen 6.1
- Seite 215: 6. Komplexität von Algorithmen 6.1
6. Komplexität von Algorithmen 6.11 Approximation von Optimierungsproblemen<br />
Güte der Approximation<br />
Satz<br />
Die minimale Größe opt(G) einer Knotenüberdeckung und die Größe<br />
c(G) der vom Algorithmus gelieferten Lösung erfüllen c(G) ≤ 2opt(G) .<br />
Beweis.<br />
D entsteht durch Vereinigung paarweise disjunkter Kanten. Jede andere<br />
Knotenüberdeckung D ′ , speziell eine optimale, muß einen Endpunkt jeder<br />
dieser Kanten enthalten, also mindestens |D|/2 viele Knoten.<br />
Definition<br />
Für ε > 0 heißt ein deterministischer Algorithmus <strong>für</strong> P mit polynomialer<br />
Laufzeit ε-approximierend <strong>für</strong> P = 〈Σ, E, A, L, c〉 , falls<br />
|c〈v, w〉 − opt(v)|<br />
|opt(v)|<br />
≤ ε wobei opt(v) := opt{ c〈v, w〉 : 〈v, w〉 ∈ L }<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 186 / 215