F-Путь

[math]\displaystyle{ \,F }[/math]-Путь ([math]\displaystyle{ \,F }[/math]-Path) — для данной нумерации [math]\displaystyle{ \,F }[/math] вершин орграфа путь, не содержащий [math]\displaystyle{ \,F }[/math]-обратных дуг, т.е. такой путь, у которого [math]\displaystyle{ \,F }[/math]-номера вершин образуют монотонно возрастающую последовательность. Если существует [math]\displaystyle{ \,F }[/math]-путь от [math]\displaystyle{ \,v }[/math] к [math]\displaystyle{ \,w }[/math], то говорят, что вершина [math]\displaystyle{ \,w }[/math] [math]\displaystyle{ \,F }[/math]-достижима из вершины [math]\displaystyle{ \,v }[/math].

Литература

• Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.