Гамак: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
'''Гамак''' ([[Hammock]]) --- [[альт]], множество [[Конечная вершина Фрагмента|конечных]] вершин которого либо пусто, либо состоит из единственной вершины, являющейся преемником каждой [[Выходная вершина Фрагмента|выходной]] вершины [[Альт|альта]] и не являющейся [[Предшественник|предшественником]]
'''Гамак''' ([[Hammock]]) --- [[альт]], множество [[Конечная вершина Фрагмента|конечных]] вершин которого либо пусто, либо состоит из единственной вершины, являющейся преемником каждой [[Выходная вершина Фрагмента|выходной]] вершины [[Альт|альта]] и не являющейся [[Предшественник вершины|предшественником]]
его [[Начальная вершина Фрагмента|начальной]]  вершины.
его [[Начальная вершина Фрагмента|начальной]]  вершины.



Версия от 11:21, 26 июня 2009

Гамак (Hammock) --- альт, множество конечных вершин которого либо пусто, либо состоит из единственной вершины, являющейся преемником каждой выходной вершины альта и не являющейся предшественником его начальной вершины.

Гамак называется разложимым, если его можно представить как объединение двух непересекающихся гамаков, и неразложимым (или простым) в противном случае. Максимальный разложимый гамак называется составным.


См. также

Иерархия вложенных альтов.

Литература

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

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

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