Ядро реберное

Ядро реберное (Edge kernel) - подграф, порожденный объединением таких независимых множеств ребер, мощность которых равна числу вершинного покрытия графа; в общем случае граф необязательно имеет Я.р., однако всякий двудольный граф такое ядро имеет.