Учебное пособие москва мади 2020 ббк 32. 81 В 683 Волосова, А. В. В683

 
Среди графовых моделей история реализации программы наиболее 
интересна.
Историю реализации программы часто называют 
решетчатым графом 
алгоритма
или 
графом алгоритма
. На основе методологии построения, 
исследования и применения графа алгоритма и связанных с ним других 
графов создана практически работающая автономная система V
-Ray. 
Задания
 
1. 
Что означает случай, когда в программе нет преобразователей? 
Имеют ли смысл такие программы?
2.
Как выглядят управляющие и информационные графы для п
.
п. 1, 
2? 
Что означает несвязность управляющего или информационного графа с 
точки зрения параллельных вычислений?
Может ли быть управляющий граф несвязным, а информационный 
граф связным и наоборот?
Докажите, что если информационный граф несвязный, то граф 
алгоритма также несвязный?
Верно ли аналогичное утверждение относительно управляющего 
графа?
Докажите, что если пересечение множеств переменных, находящихся в 
правых и левых частях преобразователей, пустое, то граф алгоритма также 
пустой, т. е. не имеет ни одной дуги.
Рис. 5
7. 
Граф, полученный для случая, когда в качестве вершин графа зависимостей взяты 
операторы
-
преобразователи с метками 1, 2, 4, 6

---

170 
Если граф алгоритма пустой, то означает ли это пустоту управляющего 
и/или информационного графа?
Приведите примеры, когда граф влияния не совпадает с графом 
зависимостей.
Приведите примеры, когда граф алгоритма связный, а граф влияния 
пустой.
 
16.3. Классы программ
 
Граф алгоритма существует для любой программы, но затруднительно 
разработать эффективный метод его построения и исследования для любой 
программы. В этой связи целесообразно выделить класс программ, который 
должен быть достаточно широким, чтобы покрывать значительную часть или 
все встречающиеся программы или их наиболее значимые фрагменты. Также 
нужно учитывать, что чем шире класс, тем труднее провести одинаково 
глубокий анализ. 
Класс анализируемых программ имеет двухуровневую структуру. 
Первый или базовый уровень образует строго описанный