NP-Vollständigkeit Flashcards
Ist das Problem einfach oder Schwer?
Finde den längsten, einfachen Weg in einem Graphen
schwer
Ist das Problem einfach oder Schwer?
Finde den kürzesten, einfachen Weg in einem Graphen
O(|E|)
Ist das Problem einfach oder Schwer?
Hamilton-Zyklus: einfacher Zyklus, der alle Knoten enthält
schwer
Ist das Problem einfach oder Schwer?
Euler-Tour: Zyklus, der alle Kanten ein mal enthält
O(|E|)
Ist das Problem einfach oder Schwer?
Clique: vollständiger Teilgraph mit k Knoten
schwer
Ist das Problem einfach oder Schwer?
Independent Set: Teilgraph mit k Knoten ohne Kanten
schwer
Ist das Problem einfach oder Schwer?
Färbbarkeit:adjazente Knoten haben unterschiedliche Farben.
* Färbbar mit zwei Farben?
* Färbbar mit drei Farben?
zwei: O(|E|)
drei: schwer
Ist das Problem einfach oder Schwer?
PARTITION:geg.eineMengeganzerZahlen,Lässtsich die Menge in zwei Teilmengen gleicher Summe zerlegen?
schwer
Welche Problemtypen existieren?
- Optimierungsprobleme
- Entscheidungsprobleme
Was ist ein Optimierungsproblem?
finde eine gültige Lösung mit einem minimalen Wert bzgl. einer Bewertungsfunktion
Was ist ein Entscheidungsproblem?
prüfe, ob eine gültige Lösung existiert
Formuliere ein Entscheidungsproblem für ein Optimierungsproblem
k-Threshold-Problem
Gibt es eine Lösung für P mit Wert ≤ k?
f: {0,1}* -> {0,1}* heißt polynomzeit-berechenbar
g.d.w. …?
ein Algorithmus A zur Berechnung von f existiert mit Laufzeit TA(n) = O(nk) für eine Konstante k
Was ist die Komplexitätsklasse P?
Menge aller konkreten Entscheidungsprobleme die polynomzeit-berechenbar sind.
Wann ist ein Optimierungsproblem in P?
Ein Optimierungsproblem f ist in P, g.d.w. zugehörige k-Threshold- Problem E_f in P ist.
Wann ist ein abstraktes Entscheidungsproblem in P?
abstrakte Entscheidungsprobleme f sind in P, g.d.w. es eine Codierung polynomieller Länge gibt und das zugehörige konkrete Entscheidungsproblem ist in P
Wann ist ein Problem polynomzeit-verifizierbar?
es existiert ein er Algorithmus A, der in polynomieller Zeit überprüft, ob die Lösung korrekt ist
Was ist die Komplexitätsklasse NP?
Menge aller konkreten Entscheidungsprobleme, die polynomzeit-verifizierbar sind
Was heißt NP-Vollständig?
Problem liegt in NP und ist NP-schwer
Wann ist ein Optimierungsproblem NP-schwer?
wenn das zugehörige k-Threshold-Problem E_f NP-vollständig ist
Wie funktioniert Polynomzeit-Reduktion?
Beschreib das Satisfiability-Problem (SAT)
- np-vollständig
Zeige SAT∈NP
Nenn NP-vollständige Probleme
Was ist VERTEX-COVER?
Knotenmenge V‘, |V‘| ≤ k, jede Kante ist zu mindestens einem Knoten in V‘ inzident
Was ist 3-SAT?
Gibt es eine erfüllende Belegung für CNF Jede Klausel hat maximal 3 Literale
Was ist HAM-Cycle?
Gibt es einen einfachen Zyklus, der alle Knoten enthält
Was ist TSP?
Traveling Salesperson Problem (kürzeste Rundtour in einem vollständigen, kantengewichteten Graphen)
Was ist das Triangle-TSP?
Traveling Salesperson Problem (kürzeste Rundtour in einem vollständigen, kantengewichteten Graphen) + Dreiecksungleichung
Was ist eine k-Clique?
Was ist das SUBSET-SUM Problem?