Cтраница 1
Результирующий граф С имеет ( по теореме XI. [1]
Результирующий граф, полученный после закрепления с, и эквивалентный граф со слившимися вершинами показаны на рис. 3.3, в. Ясно, что после конечного числа преобразований этого типа получится граф, эквивалентный такому графу, который в качестве подграфа содержит граф, изображенный на рис. 3.3, г и, очевидно, означающий победу Закоротить. Таким образом, признаком игры Закоротить является граф, содержащий систему из двух стягивающих деревьев, не имеющих ни одного общего ребра. Это и есть то свойство графа, которое может сохранить Закоротить, гарантируя тем самым свой выигрыш. [2]
Результирующий граф показан на фиг. [3]
Результирующий граф несовместимости также показан рилом с таблицей на рис. 1.11. Его раскраска не составляет никакого труда, и мы видим, что для правильной работы программы достаточно обойтись только двумя величинами. [4]
Результирующий граф G имеет на одну вершину меньше, а также может иметь меньшее число ребер. [5]
Результирующий граф механизма всегда содержит циклы, поэтому перед его расчетом циклы необходимо выделить и найти минимальное число разрывов, которое нужно сделать для размыкания графа. Алгоритмы выделения циклов и определения минимального числа разрывов приведены в работе [ 124, с. [6]
Тогда результирующий граф т-критический. [7]
![]() |
Подсхема программиста Л. [8] |
На рис. 15.3 приведен результирующий граф. [9]
Принцип ( 1) служит для упрощения результирующего графа связей, так как дизъюнкты с малым числом литер, как правило, имеют меньшее число связей. Также резольвирование по дизъюнктам, имеющим малое количество литер, позволяет получить одно-двулитеральные дизъюнкты, которые могут быть эффективно использованы в дальнейшем процессе вывода. [10]
Принцип ( 2) также служит для упрощения результирующего графа связей, так как резольвирование дизъюнктов с малым числом связей после резольвирования приводит к получению дизъюнктов также с малым числом связей. [11]
Возможно, что некоторые элементы данных, составляющие сцепленный ключ, на результирующем графе уж не будут ключами. СКИДКА на рис. 15.1, например, может сохраниться в качестве атрибута, а не ключа. [12]
Расщепим вершину v на две новые вершины v и v, и пусть разбиение ребер, инцидентных вершине г, между вершинами v и v удовлетворяет только требованию: результирующий граф G должен быть связным. Доказать, что граф G имеет совершенное паросочетание. [13]
Присоединим звено О с этими концами. Результирующий граф Н является трехсвязным ( по теореме IV. Граф О можно получить из Яь расщепляя вершину х, - надо заменить звено О новым звеном с концами I и г. Применяя теорему IV. [14]
А и В являются звеньями 4-клики, не имеющими общих концов. Результирующий граф называют графом Томсена. [15]