Комбинаторно двойственный граф

Комбинаторно двойственный граф (Combinatoricaly dual graph) - для данного графа [math]\displaystyle{ G }[/math] граф [math]\displaystyle{ G^{\ast} }[/math] такой, что существует взаимно однозначное соответствие между их множествами ребер, при котором для любых соответствующих подмножеств ребер [math]\displaystyle{ Y }[/math] и [math]\displaystyle{ Y^{\ast} }[/math] коциклический ранг графа [math]\displaystyle{ G \setminus Y }[/math] равен коциклическому рангу [math]\displaystyle{ G }[/math] минус циклический ранг части [math]\displaystyle{ \lt Y^{\ast}\gt }[/math] графа [math]\displaystyle{ G^{\ast} }[/math], порожденной множеством ребер [math]\displaystyle{ Y^{\ast} }[/math].

Литература

[Харари]