Центроидная декомпозиция (12 апреля 2017)

1. [10 минут] Хорновские формулы (определение: не более одного отрицания в каждом дизъюнкте; решение: жадно или все 1, или есть одинокое отрицание)
2. Приближённые алгоритмы
1. [15 минут] Жадное приближение для bin packing (разбить на минимальное число рюкзаков все вещи; FFD, BFD, 11/9, не существование

1. Центроидная декомпозиция (ушла на практику)