Cтраница 1
Конечный ориентированный граф Н с выделенной вершиной VQ, каждому ребру которого сопоставлен символ алфавита А, назовем предысточником, если путем выделения в Я некоторого множества F / 0 можно получить источник с начальной вершиной и и множеством F финальных вершин. [1]
Доказать, что конечный ориентированный граф сильно связен, тогда и только тогда, когда существует замкнутый ориентированный маршрут, в который каждая дуга входит, по крайней мере, один раз. [2]
Диаграммой D называется конечный ориентированный граф, каждой вершине которого поставлено в соответствие некоторое пространсто, а каждому ребру - отображение пространства, сопоставленного с его начальной вершиной, в пространство, сопоставленное с его конечной вершиной. Диаграмма называется деревом, если она связна и односвязна ( как граф), и направленным деревом, если на каждом пространстве определено не более одного отображения. [3]
Пространственная структура описывается конечным ориентированным графом, вершины которого соответствуют компонентам рассматриваемой структуры, а направленные ребра - возможным прямым воздействиям одной компоненты пространственной структуры на другую. [4]
Тело процедуры представлять конечным ориентированным графом подобно тому, как это делается для программы без процедур; вход в этот граф выделять под именем инициальной вершины; выход из него - под именем финальной вершины. Ассоциировать с этим графом три списка переменных, а именно: формальных параметров-значений, формальных параметров-наименований и переменных, локализуемых в данной процедуре. [5]
Операторной схемой Янова называется конечный ориентированный граф, обладающий следующими свойствами. Вершины графа имеют не более двух выходящих на них стрелок. Вершины, из которых выходят по две стрелки ( одна из стрелок некоторым образом помечается), называются распознавателями, остальные называются операторами. К одной из вершин ведет специальная входная стрелка. [6]
Граф-моделью объекта диагностики называется конечный ориентированный граф G ( X, U), множество вершин X которого равно множеству существенных параметров объекта, а множество дуг U - множеству существенных связей между параметрами. [7]
Программа без процедур представляет собой конечный ориентированный граф с размеченными вершинами и дугами. В нем выделены две вершины: вход - вершина без заходящих в нее дуг и с единственной исходящей дугой, и выход - вершина без исходящих из нее дуг. Остальные вершины графа, если они имеются, по своему типу делятся на преобразователи и распознаватели. Из каждого преобразователя исходит одна дуга, из распознавателя - две. Разметка вершин подчиняется правилу: всякому преобразователю сопоставляется оператор из S, всякому распознавателю - булево выражение из S. Дуги, исходящие из распознавателя, помечаются символами 0 и 1 соответственно, другие дуги меток не имеют. [8]
Теорема 8.1.7. Пусть G - конечный ориентированный граф, в котором каждая пара вершин соединена ребром. Тогда существует ориентированная простая цепь, проходящая через все вершины графа. [9]
Теорема 8.1.7, Пусть G - конечный ориентированный граф, в котором каждая пара вершин соединена ребром. Тогда существует ориентированная простая цепь, проходящая через все вершины графа. [10]
Имеют ли все максимальные ациклические части конечного ориентированного графа G одно и то же число ребер. [11]
Имеют лп все максимальные ациклические части конечного ориентированного графа G одно и то же число ребер. [12]
Управляющим графом ( или уграфом) называется конечный ориентированный граф G с множеством вершин X и дуг V s X X X, в котором выделены начальная вершина ра s X и множество конечных вершин F s X. Через п обозначается число вершин уграфа G, а через т - число его дуг. Вершина р Х называется преобразователем, если из нее исходит не более одной дуги, или распознавателем, если исходящих дуг несколько. G удалением всех вершин и дуг, не принадлежащих путям по G от ро до вершин из Y. Уграф G правильный, если совпадает со своей правильной частью. [13]
Структуру кадровой системы удобно описывать с помощью конечного ориентированного графа. [14]
Пусть G ( V, Е) - конечный ориентированный граф с отмеченными ребрами, V - вершины, Е - ребра. Задана функция отметок ребер: л: Е - F, где Y - некоторый алфавит. [15]