Метка - вершина
Cтраница 1
Метки вершин ( L /, ), каждая из которых суть глубина буферов соответствующего процесса, также частичны упорядочены и однозначно определяются свойствами смежных дуг. [1]
 |
Эквивалентные преобразования М - сети. [2] |
Очевидно, что метки вершин т, t и соответствующих дуг в 2jV - ypOBHeBofl М - сети на рис. 3.4, б и в двухуровневой М - сети на рис. 3.4, в будут кратными. Итак, разметка любой М - сети может быть сведена к разметке равносильной бесконтурной L-уровневой сети. [3]
Эти пары используются как метки вершин. [4]
Если Уг есть множество меток вершин DDA-графа Я, мы хотим, чтобы wt имела выделенные переменные во всех столбцах Yt. Первоначально это условие выполняется: У0 есть просто R и w0 w есть строка для R в TR. Предположим также, что Ht 1 образуется из Я; добавлением вершины с меткой А при использовании F-зависимости К. В Т0 существует строка и из RJ. Пусть щ - соответствующая ей строка в Tt. Строка щ имеет выделенные переменные по крайней мере. [5]
Если Yt есть множество меток вершин DDA-графа Я, мы хотим, чтобы wt имела выделенные переменные во всех столбцах Yt. Первоначально это условие выполняется: У0 есть просто R и w0 w есть строка для R в TR. Пусть условие выполнено для Я - и ТУ Предположим также, что Я, 1 образуется из Яг добавлением вершины с меткой А при использовании F-зависимости К. Пусть и-г - соответствующая ей строка в Tt. Строка щ имеет выделенные переменные по крайней мере. [6]
 |
Случай, при котором алгоритм неэффективен. [7] |
Изоморфные графы отличаются только метками вершин, в связи с чем задача определения изоморфизма возникает в ряде практических ситуаций, таких, как информационный поиск и определение химических соединений. [8]
На диаграмме акцептора следует заменить метки вершин нетерминальными символами и затем по меткам, ребер восстановить порождающие правила. [9]
Тот же орграф G показан на рис. 8.25, где старые метки вершин опущены и значения пит использованы в качестве имен вершин. [10]
В результате индукции, поскольку все атрибуты из U для Я Я являются метками вершин, wn из Тп есть строка из одних выделенных переменных. [11]
Другими словами, F Е, если F т Е становятся идентичными, когда метки вершин не учитываются. Приняв F Е, видим, что стабилизатор Е в Sn является как раз группой автоморфизмов aut Е, состоящей из всех изоморфизмов Е с самим собой. [12]
Нетрудно убедиться, что реализация описанной процедуры построения дерева ТЬ ( Х) к расстановки меток вершин требует выполнения не более О ( т) операций. [13]
Следовательно, с помощью вектора j () кодируются исходные свойства сети с учетом отношения частичного порядка на множестве меток вершин. [14]
Если непосредственный предшественник v вершины х имеет два прямых потомка, то х следует сделать третьим и обычным образом скорректировать метки вершины v и всех ее предшественников. [15]
Страницы: 1 2 3