Граф Герца

Граф Герца (Graph of Herz) — для орграфа [math]\displaystyle{ G }[/math] бесконтурный орграф, получаемый из [math]\displaystyle{ G }[/math] путем стягивания каждой бикомпоненты в отдельную вершину. Другими словами, граф Герца для графа [math]\displaystyle{ G }[/math] есть фактор-граф графа [math]\displaystyle{ G }[/math] по семейству бикомпонент.