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.4 FP - Reduzierbarkeit Beispiel (Fortsetzung) Wir verwenden die Positionen 〈i, j〉 mit i < j < n der Einsen in A als Knoten der Kantenmatrix; diese seien lexikographisch geordnet. Die Kanten von G K entsprechen Paaren von Einsen in derselben Zeile oder Spalte im oberen Dreieck von A . Genauer, für i < j < l < n gilt: A i,j = A i,l = 1 impliziert 〈i, j〉 〈i, l〉 in G K A i,l = A j,l = 1 impliziert 〈i, l〉 〈j, l〉 in G K In jedem Fall sind drei geschachtelte Schleifen über i < n , über i < j < n und über i < j < l < n zu durchlaufen, was eine Laufzeit von O(n 3 ) liefert. Allerdings erfordert die Initialisierung der Matrix A K mit Nullen bereits O(n 4 ) Schritte. Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 136 / 215
6. Komplexität von Algorithmen 6.4 FP - Reduzierbarkeit Satz Aus L ⊳ K ∈ P (NP) folgt L ∈ P (NP) , d.h., bzgl. ⊳ ist P ( NP ) ein unterer Abschnitt der Klasse E aller E-Probleme. Beweis. Wähle eine FP -Reduktion L ⊆ Σ ∗ Γ ∗ ⊇ K, die von einer dTM M f berechnet wird, und eine d/nTM M K mit L(M K ) = K . Diese Maschinen mögen polynomiale Zeitkomplexität p f bzw. p K haben. Die Hintereinanderschaltung M L von M f und M K erfüllt w ∈ L(M L ) gdw f (w) ∈ L(M K ) = K gdw w ∈ L Da das Schreiben der Ausgabe f (w) mindestens |f (w)| Schritte erfordert, ist die Laufzeit von M L auf Eingabe w durch p K (p f (|w|)) beschränkt, also hat M L ebenfalls polynomiale Zeitkomplexität. Die Zugehörigkeit zu P bzw. NP kann somit auch durch Reduktion auf andere P bzw. NP -Probleme nachgewiesen werden. f Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 137 / 215
- Seite 85 und 86: 5. Unentscheidbare Probleme 5.2 Das
- Seite 87 und 88: 5. Unentscheidbare Probleme 5.2 Das
- Seite 89 und 90: 5. Unentscheidbare Probleme 5.3 Wei
- Seite 91 und 92: 5. Unentscheidbare Probleme 5.3 Wei
- Seite 93 und 94: 5. Unentscheidbare Probleme 5.3 Wei
- Seite 95 und 96: 5. Unentscheidbare Probleme 5.3 Wei
- Seite 97 und 98: 5. Unentscheidbare Probleme 5.4 Sat
- Seite 99 und 100: 5. Unentscheidbare Probleme 5.4 Sat
- Seite 101 und 102: 6. Komplexität von Algorithmen Kap
- Seite 103 und 104: 6. Komplexität von Algorithmen 6.0
- Seite 105 und 106: 6. Komplexität von Algorithmen 6.0
- Seite 107 und 108: 6. Komplexität von Algorithmen 6.1
- Seite 109 und 110: 6. Komplexität von Algorithmen 6.1
- Seite 111 und 112: 6. Komplexität von Algorithmen 6.1
- Seite 113 und 114: 6. Komplexität von Algorithmen 6.1
- Seite 115 und 116: 6. Komplexität von Algorithmen 6.1
- Seite 117 und 118: 6. Komplexität von Algorithmen 6.1
- Seite 119 und 120: 6. Komplexität von Algorithmen 6.1
- Seite 121 und 122: 6. Komplexität von Algorithmen 6.2
- Seite 123 und 124: 6. Komplexität von Algorithmen 6.2
- Seite 125 und 126: 6. Komplexität von Algorithmen 6.2
- Seite 127 und 128: 6. Komplexität von Algorithmen 6.2
- Seite 129 und 130: 6. Komplexität von Algorithmen 6.3
- Seite 131 und 132: 6. Komplexität von Algorithmen 6.3
- Seite 133 und 134: 6. Komplexität von Algorithmen 6.4
- Seite 135: 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 und 186: 6. Komplexität von Algorithmen 6.1
6. Komplexität von Algorithmen 6.4 FP - Reduzierbarkeit<br />
Satz<br />
Aus L ⊳ K ∈ P (NP) folgt L ∈ P (NP) , d.h., bzgl. ⊳ ist P ( NP ) ein<br />
unterer Abschnitt der Klasse E aller E-Probleme.<br />
Beweis.<br />
Wähle eine FP -Reduktion L ⊆ Σ ∗ Γ ∗ ⊇ K, die von einer dTM M f<br />
berechnet wird, und eine d/nTM M K mit L(M K ) = K . Diese Maschinen<br />
mögen polynomiale Zeitkomplexität p f bzw. p K haben. Die<br />
Hintereinanderschaltung M L von M f und M K erfüllt<br />
w ∈ L(M L ) gdw f (w) ∈ L(M K ) = K gdw w ∈ L<br />
Da das Schreiben der Ausgabe f (w) mindestens |f (w)| Schritte<br />
erfordert, ist die Laufzeit von M L auf Eingabe w durch p K (p f (|w|))<br />
beschränkt, also hat M L ebenfalls polynomiale Zeitkomplexität.<br />
Die Zugehörigkeit zu P bzw. NP kann somit auch durch Reduktion auf<br />
andere P bzw. NP -Probleme nachgewiesen werden.<br />
f<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 137 / 215