Вот доказательство того, что оно существует:
Рассмотрим алгоритм, который выбирает половину вершин случайным образом. Для любого заданного ребра вероятность того, что была выбрана хотя бы одна из двух его конечных точек, равна 3/4, поэтому ожидаемое число покрытых ребер равно 3 | E | / 4. Таким образом, согласно вероятностному методу , должно существовать хотя бы одно покрытие из> = 3 | E | / 4 ребер, использующее всего 1/2 вершины. Недетерминированный алгоритм следует немедленно.
Использование детерминистического алгоритма *1008*, основанного на этом, является упражнением в дерандомизации (попробуйте использовать метод условных ожиданий ).