Реберное ядро

Реберное ядро (Edge core) - подграф графа [math]\displaystyle{ G }[/math], порожденный объединением таких независимых множеств [math]\displaystyle{ Y }[/math] ребер (если они есть), что [math]\displaystyle{ |Y| = \alpha_{0}(G) }[/math], где [math]\displaystyle{ \alpha_{0}(G) }[/math] --- число вершинного покрытия.