1303
правки
Категория:Сводимые и регуляризуемые графы: различия между версиями
Перейти к навигации
Перейти к поиску
Категория:Сводимые и регуляризуемые графы (посмотреть исходный код)
Версия от 03:32, 9 сентября 2019
, 9 сентября 2019нет описания правки
KVN (обсуждение | вклад) (Новая страница: «Регуляризуемые графы представляют собой наиболее общий тип граф-моделей структурирова…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
Регуляризуемые графы представляют собой наиболее общий тип граф-моделей структурированных программ. Они поддерживают эффективное проведение оптимизирующих и распараллеливающих преобразований программ и являются основой трансформационного подхода к конструированию надежного и эффективного программного обеспечения. | Регуляризуемые или (интервально) сводимые графы представляют собой наиболее общий тип граф-моделей структурированных программ. Они поддерживают эффективное проведение оптимизирующих и распараллеливающих преобразований программ и являются основой трансформационного подхода к конструированию надежного и эффективного программного обеспечения. | ||
Класс сводимых и регуляризуемых графов играет чрезвычайно важную роль в программировании в силу того, что программа, управляющий граф которой принадлежит этому классу, допускает применение более эффективных алгоритмов анализа и оптимизации. Так, задача нахождения минимального множества дуг, удаление которых разрывает все контуры в орграфе, является NP-трудной для графа общего вида, но имеет полиномиальную сложность для сводимых графов. | Класс сводимых и регуляризуемых графов играет чрезвычайно важную роль в программировании в силу того, что программа, управляющий граф которой принадлежит этому классу, допускает применение более эффективных алгоритмов анализа и оптимизации. Так, задача нахождения минимального множества дуг, удаление которых разрывает все контуры в орграфе, является NP-трудной для графа общего вида, но имеет полиномиальную сложность для сводимых графов. | ||