text: Формально, рёберное покрытие графа G — это множество рёбер C, такое, что каждая вершина графа G инцидентна по меньшей мере одному ребру из C. Множество C называется покрытием вершин графа G. Следующий рисунок показывает рёберное покрытие двух графов.