Cтраница 4
Если из некоторого ациклического маршрута исходного графа достижимы несколько элементарных циклов, то при тестировании они должны все исполняться. [46]
Применяя последовательно преобразование и к исходному графу Gq, можно получить множество G6 всех шестивершинных и множество G5 всех пяти-вершинных производных графов. [47]
Все связи между группами на исходном графе G % ( Dk, Uk) заменяются на связи ( с тем же направлением дуг) между ключами групп. [48]
Вычисляются веса отдельных работ, и исходный граф заменяется линейным. [49]
![]() |
Исходный сигнальный граф ( а, ненаправленный циклический сигнальный граф ( б и его деревья ( в, г. [50] |
На рис. IV-58, г представлен исходный граф с растянутыми вторым, третьим и пятым узлами, что необходимо для инверсии контура bghd. Шестой узел имеет только одну входящую ветвь и поэтому не может быть растянут. На рис. IV-58, д контур инвертируется, и передача от источника до стока вычислена для сравнения с предыдущими случаями. [51]
Применение операции очистки имеет целью сжать исходный граф G ( в нашем случае это граф триангуляции Делоне), преобразовав его в некоторый граф G, который в любой момент работы алгоритма содержит лишь необходимую информацию. Важно отметить, что если G - планарный граф, то G тоже будет пленарным. [52]
Нетрудно видеть, что каждой вершине исходного графа соответствует треугольная грань двойственного. [53]
На рис. 16.8 а показана часть исходного графа, которая должна быть подвергнута изменениям, а на рис. 16.86 - эта же. [54]
Для построения минимального локализующего теста для1 исходного графа G следует воспользоваться методами, изложенными в предыдущих параграфах. В соответствии с этими методами в матрице путей Ьо приведенного графа GQ находится такой набор, содержащий минимальное число вершин, что после вычеркивания из D0 столбцов, соответствующих вершинам, которые не вошли в данный набор, все строки полученной матрицы останутся попарно различимыми. Нетрудно показать, что лишь только одна из вершин типа выход приведенного графа GO иногда может не входить в минимальный локализующий тест. Кроме того, если какая-либо из вершин графа GO имеет только одну исходящую из нее дугу, то эта вершина обязательно входит в минимальный локализующий тест. При выполнении этих тестов можно производить либо проверку я3, либо проверку я4, так как новой вершине 3 может быть приписана любая из этих проверок. [55]
Для построения минимального диагностического теста для исходного графа G необходимо дополнить приведенный граф GO изолированной вершиной без петли ( этой вершине будут соответствовать строка и столбец, содержащие только нули) и затем воспользоваться методами, изложенными в предыдущих параграфах. [56]