Бивершина

Бивершина (Binode) — для фиксированных базисных нумераций [math]\displaystyle{ M }[/math] и [math]\displaystyle{ N }[/math] такая вершина [math]\displaystyle{ v }[/math], что для любого индекса [math]\displaystyle{ i \lt N(v) }[/math] она принадлежит [math]\displaystyle{ N }[/math]-области [math]\displaystyle{ N[i] }[/math]. Каждой бикомпоненте графа соответствует в заданной [math]\displaystyle{ N }[/math]-нумерации ровно одна бивершина — та из вершин бикомпоненты, которая имеет наименьший [math]\displaystyle{ N }[/math]-номер.

Литература

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.

• Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.