Разумная нумерация

Материал из WEGA
Версия от 13:14, 14 июля 2011; KEV (обсуждение | вклад)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Разумная нумерация (Reasonable numbering) — такая нумерация [math]\displaystyle{ \,F }[/math] уграфа [math]\displaystyle{ \,G }[/math], что справедливы два свойства:

(1) [math]\displaystyle{ F(p)\leq F(q) }[/math] для любых вершин [math]\displaystyle{ \,p }[/math] и [math]\displaystyle{ \,q }[/math] таких, что [math]\displaystyle{ \,p }[/math] обязательно предшествует [math]\displaystyle{ \,q }[/math];

(2) если [math]\displaystyle{ \,G }[/math]аранжируемый уграф, то [math]\displaystyle{ \,F }[/math] является аранжировкой.

Литература

  • Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.
  • Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.
  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.