Сведение задачи 3SAT к задаче о независимом множестве

Nickvash Kani