Интервал: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
 
(не показана 1 промежуточная версия этого же участника)
Строка 1: Строка 1:
'''Интервал''' (''[[Interval]]'') - ''[[альт]] [[управляющий граф|управляющего графа]]'', в котором ''[[начальная вершина]]'' ([[вершина]], в которую заходит [[дуга]] извне альта) принадлежит каждому его ''[[контур|контуру]]''. В силу своего строения интервал допускает ''[[аранжировка|аранжировку]]'' и, следовательно, ''[[сводимый управляющий граф|сводим]]''.
'''Интервал''' (''[[Interval]]'') - ''[[альт]] [[управляющий граф|управляющего графа]]'', в котором ''[[начальная вершина]]'' ([[вершина]], в которую заходит [[дуга]] извне альта) принадлежит каждому его ''[[контур|контуру]]''. В силу своего строения интервал допускает ''[[аранжировка|аранжировку]]'' и, следовательно, ''[[сводимый управляющий граф|сводим]]''.
==Литература==
==Литература==
[Касьянов/88],


[Евстигнеев/85]
 
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
 
* Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. — СПб.: БХВ-Петербург, 2003.
 
 
[[Категория: Сводимые и регуляризуемые графы]]
[[Категория:Граф-модели]]
[[Категория:Потоковый анализ программ]]
[[Категория:Преобразование программ]]

Текущая версия от 12:57, 11 января 2025

Интервал (Interval) - альт управляющего графа, в котором начальная вершина (вершина, в которую заходит дуга извне альта) принадлежит каждому его контуру. В силу своего строения интервал допускает аранжировку и, следовательно, сводим.

Литература

  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
  • Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. — СПб.: БХВ-Петербург, 2003.