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

Разумная нумерация (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] является аранжировкой.

Литература

[Касьянов/88],

[Евстигнеев/85],

[Евстигнеев-Касьянов/94]