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

Материал из WikiGrapp

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

Basic block.png

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

Литература

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

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