Uploaded April 2018 | Updated September 2026, 9 hours ago
This lecture is part of a course on the Theory of Computation, by Professor Gabriel Robins at the University of Virginia (CS3102 Spring 2018), with PowerPoint slides at http://www.cs.virginia.edu/~robins/cs3102 and other related videos at http://www.cs.virginia.edu/~robins/videos.html
Specific topics covered in this lecture: NP-completeness reloaded, satisfiability, 1-SAT, 2-SAT, 3-SAT, cliques, covers, Hamiltonian cycles, graph coloring, partitioning, knapsacks, bin packing, Steiner trees, traveling salesman, moving-target TSP, TSP heuristics, 2-OPT, triangle inequality, graph colorability, Karp's seminal paper, reductions scheme, origin of NP-completeness
This lecture is part of a course on the Theory of Computation, by Professor Gabriel Robins at the University of Virginia (CS3102 Spring 2018), with PowerPoint slides at http://www.cs.virginia.edu/~robins/cs3102 and other related videos at http://www.cs.virginia.edu/~robins/videos.html
Specific topics covered in this lecture: NP-completeness reloaded, satisfiability, 1-SAT, 2-SAT, 3-SAT, cliques, covers, Hamiltonian cycles, graph coloring, partitioning, knapsacks, bin packing, Steiner trees, traveling salesman, moving-target TSP, TSP heuristics, 2-OPT, triangle inequality, graph colorability, Karp's seminal paper, reductions scheme, origin of NP-completeness










