Гамак

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

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

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

Литература

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

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

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