Theory of Computer Science
- E4. Some NP-Complete Problems, Part I
Gabriele R¨
- ger
University of Basel
Theory of Computer Science E4. Some NP-Complete Problems, Part I - - PowerPoint PPT Presentation
Theory of Computer Science E4. Some NP-Complete Problems, Part I Gabriele R oger University of Basel May 18, 2020 Graph Problems Routing Problems Summary Course Overview Background Nondeterminism Logic P, NP Automata Theory Theory
University of Basel
Graph Problems Routing Problems Summary
Theory Background Logic Automata Theory Turing Computability Complexity Nondeterminism P, NP Polynomial Reductions Cook-Levin Theorem NP-complete Problems More Computability
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
i = i′ belong to different clauses, and ℓij and ℓi′j′ are not complementary literals
Graph Problems Routing Problems Summary
i = i′ belong to different clauses, and ℓij and ℓi′j′ are not complementary literals
Graph Problems Routing Problems Summary
i = i′ belong to different clauses, and ℓij and ℓi′j′ are not complementary literals
Graph Problems Routing Problems Summary
i = i′ belong to different clauses, and ℓij and ℓi′j′ are not complementary literals
Graph Problems Routing Problems Summary
i = i′ belong to different clauses, and ℓij and ℓi′j′ are not complementary literals
Graph Problems Routing Problems Summary
i = i′ belong to different clauses, and ℓij and ℓi′j′ are not complementary literals
Graph Problems Routing Problems Summary
i = i′ belong to different clauses, and ℓij and ℓi′j′ are not complementary literals
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
x1 x2 . . . xn
a b c A B C
Graph Problems Routing Problems Summary
π passes through Cj once (from any entrance) π passes through Cj twice (from any two entrances) π passes through Cj three times (once from every entrance)
Graph Problems Routing Problems Summary
Connect the positive exit of xi with the Xi-entrance
Connect the Xi-exit of this clause graph with the Xi-entrance
Connect the Xi-exit of the last such clause graph with the positive entrance of xi+1 (or x1 if i = n).
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
v
v1 v2 v3
Graph Problems Routing Problems Summary
v
v1 v2 v3
Graph Problems Routing Problems Summary
v
v1 v2 v3
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
i=1 cost(si, si+1) + cost(sn, s1) ≤ K?
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
Graph Problems Routing Problems Summary
three classical graph problems: Clique, IndSet, VertexCover three classical routing problems: DirHamiltonCycle, HamiltonCycle, TSP