Линейный участок

Материал из WikiGrapp

Линейный участок (Basic block) - простой путь [math]\displaystyle{ P = (p_{1}, \ldots , p_{r}), }[/math] [math]\displaystyle{ r \geq 1 }[/math], в управляющем графе такой, что полустепени исхода всех вершин, кроме [math]\displaystyle{ p_{r} }[/math], и полустепени захода всех вершин, кроме [math]\displaystyle{ p_{1} }[/math], равны 1.

Basic block.png

Другое название --- Луч.

Литература

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

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