1294
правки
Glk (обсуждение | вклад) (Новая страница: «'''Interval''' --- интервал. An '''interval''' is such an alt <math>I</math> that its initial node belongs to each strongly connected subgraph of <math>I</…») |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Interval''' --- интервал. | '''Interval''' --- [[интервал]]. | ||
An '''interval''' is such an alt <math>I</math> that its initial node belongs to each | An '''interval''' is such an alt <math>I</math> that its initial node belongs to each | ||
Строка 20: | Строка 20: | ||
A node <math>p</math> is a head of some maximal interval of a cf-graph <math>G</math> if and only if either <math>p</math> is the | A node <math>p</math> is a head of some maximal interval of a cf-graph <math>G</math> if and only if either <math>p</math> is the | ||
initial node of <math>G</math> or <math>p</math> is a terminal node of another maximal interval of <math>G</math>. | initial node of <math>G</math> or <math>p</math> is a terminal node of another maximal interval of <math>G</math>. | ||
[[Категория: Сводимые и регуляризуемые графы]] |