L-Нумерация: различия между версиями

'''L-Нумерация''' (''[[L-Numbering]]'') -

''[[нумерация вершин]]'' [[уграф|уграфа]] <math>G</math>, которая определяется как последний член

<math>L_{0}</math> последовательности нумераций <math>L_{n}, \; L_{n-1}, \;

\ldots, \; L_{0}</math> в которой <math>L_{n}</math> есть [[K-Нумерация|<math>K</math>-нумерация]]  и для

любых вершин <math>p, \; q</math> и номера <math>i</math> справедливы следующие два

свойства: если <math>L_{i}(p) < i</math> или <math>L_{i}(p) > i + |L_{i}\langle i\rangle|</math>,

то <math>L_{i-1}(p) = L_{i}(p)</math>; если <math>L_{i}(p), \; L_{i}(q) \in

[i, i+|L_{i}\langle i\rangle |)</math>, то <math>L_{i-1}(p) < L_{i-1}(q)</math> тогда и только

тогда, когда либо <math>p</math> и <math>q</math> имеют один и тот же <math>L_{i}</math>-''ранг'' в

<math>[i,i + |L_{i}\langle i\rangle |)</math> и <math>L_{i}(p) < L_{i}(q)</math>, либо

<math>L_{i}</math>-ранг [[вершина|вершины]] <math>q</math> превышает <math>L_{i}</math>-ранг вершины <math>p</math> в

Относительно обозначений см.  ''[[F-Область]]'' и  ''[[F-Ранг]]''.