apto

Algorytmy dla Problemów Trudnych Obliczeniowo

Autor materiałów: dr hab. Piotr Faliszewski

Adres: https://faliszew.github.io/apto

Laboratoria

• Lab 1 - Algorytmy dokładne dla problemu VertexCover

• Lab 2 - Algorytmy aproksymacyjne dla problemu VertexCover

• Lab 3 - Problem SAT (część 1: podstawowe redukcje)

• Lab 4 - Problem SAT (część 2: solwer DPLL)

• Lab 5 - Problem SAT (część 3: funkcje progowe)

• Lab 6 - Problem ILP

• Lab 7 - Treewidth