Я читаю о полноте NP из книги проектирования алгоритмов tardos. В разделе доказательства сумма...

Мы знаем, что 3SAT ≤p 3COLOR (т.е. 3SAT является полиномиальным временем, сводимым к 3COLOR)

вот вопрос.Мне интересно, есть ли ясное и эффективное доказательство: Покрытие вершин: введите...

во-первых, я скажу, что я не очень разбираюсь в теории и тому подобном. Но мне было интересно, если...