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 In der Praxis wollen wir reelle Arithmetik vermeiden und die lineare Verkürzung durch Abschneiden von Ziffern realisieren. Anstelle von rnd ist dann die Funktion ⌊−⌋ zu verwenden, wodurch der Faktor 1 2 entfällt. Für die β Basis der Zahlencodierung erhält man den Skalierungsfaktor λ := β r mit r := max{ x ∈ N : β x ≤ τε/n } Die Zeitkomplexität liegt nun in O(n · τ/λ) = O(n/ε) . Definition Ein PTAS für ein O-Problem P = 〈Σ, E, A, L, c〉 ist ein Algorithmus M mit Eingabe v ∈ E und ε > 0 , dessen Ausgabe w ∈ A mit 〈v, w〉 ∈ L einen relativen Fehler ≤ ε aufweist. Weiterhin muß für jedes ε > 0 ein Polynom p ε existieren, so daß M( , ε) eine Laufzeit in O(p ε ) hat. Ein PTAS heißt voll, falls die Laufzeit des Algorithmus polynomial in |v| und in 1/ε ist. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 196 / 215
6. Komplexität von Algorithmen 6.11 Approximation von Optimierungsproblemen Beispiel Der oben beschriebene Algorithmus für SiT(2) ist ein volles PTAS. Beispiel Das O-Problem MinBinPAcking hat als Eingabe ein Tupel a ∈ N n von “Gewichten” und eine “Kapazität” C ∈ N . Gesucht ist die Minimalzahl an “Körben” der Kapazität C , die alle Gewichte aufnehmen können. Diese Problem besitzt ein PTAS dessen Laufzeit exponentiell in 1/ε ist. Unter der Voraussetzung P ≠ NP existiert kein volles PTAS für MinBinPAcking (ohne Beweis). Satz Unter der Voraussetzung P ≠ NP existiert für kein ε > 0 ein ε-approximierender Algorithmus für MinTSP. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 197 / 215
- 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 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: 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 />
Beispiel<br />
Der oben beschriebene Algorithmus <strong>für</strong> SiT(2) ist ein volles PTAS.<br />
Beispiel<br />
Das O-Problem MinBinPAcking hat als Eingabe ein Tupel a ∈ N n von<br />
“Gewichten” und eine “Kapazität” C ∈ N . Gesucht ist die Minimalzahl<br />
an “Körben” der Kapazität C , die alle Gewichte aufnehmen können.<br />
Diese Problem besitzt ein PTAS dessen Laufzeit exponentiell in 1/ε ist.<br />
Unter der Voraussetzung P ≠ NP existiert kein volles PTAS <strong>für</strong><br />
MinBinPAcking (ohne Beweis).<br />
Satz<br />
Unter der Voraussetzung P ≠ NP existiert <strong>für</strong> kein ε > 0 ein<br />
ε-approximierender Algorithmus <strong>für</strong> MinTSP.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 197 / 215