| What: | Lecture | 
| When: | Tuesday, 05 April 2016, 15:20–16:50 | 
| Where: | 2-й учебный корпус К(П)ФУ, ауд. 1113 | 
Сводимость по Карпу. NP-полные и NP-трудные задачи. Доказательство NP-полноты различных задач из логики, теории графов, комбинаторики и других областей.