Cтраница 2
Каждое ( простое) ребро графа Xi, сходящееся в вершине v, пересекает соответствующую окружность в одинокой точке. Напомним, что в соответствии с данной ориентированной параметризацией 7 простое ребро имеет направление. [16]
Если выполнение инстанциации невозможно, пытаемся произвести разбиение какого-либо узла п, имеющего инцидентные ему ребра. При этом предпочтение отдается тому из них, которому инцидентны только простые ребра. В случае когда это невозможно, выбираем произвольный узел с простыми инцидентными ребрами. Наконец, если и этого сделать нельзя, то выбираем любой узел, желательно из числа представляющих малые отношения, а при отсутствии такой возможности - из тех, удаление которых приводит к разбиению графа на два и более связных компонента. [17]
Граф связей для программы, представленной на. [18] |
Узел константы всегда имеет только одно инцидентное ему ребро. Если ребро, соединяющее два узла, снабжено меткой вида А В, оно называется простым ребром. [19]
Поскольку все ребра графа Х лежат на границе области fi, то ориентация области однозначно индуцирует на них направление. Противоположно выбранные ориентации на области fi и ее дополнении индуцируют одно и то же направление на каждом простом ребре. [20]
Граф связей для программы, представленной на. [21] |
Простое ребро, связывающее отношение с константой, фактически является селекцией. Селекция выполняется следующим образом. Пусть имеется простое ребро между узлами п и т, где п представляет отношение г, а т - константу, которая является единственным значением и. Исключим узел m так, чтобы не изменилось отношение, обозначенное полным графом. [22]
Соотношение / ( Г) / ( Г) / ( Г) называют соотношением Tamma. Если хроматический многочлен заменить на многочлен / ( Г) ( - 1) к Хг где У ( Г) - число вершин графа Г, то такой многочлен будет удовлетворять соотношению Татта. Нужно только правильно понимать стягивание ребра в соотношении Татта. При таком стягивании могут появляться кратные ребра. А если мы стягиваем одно из простых ребер, то остальные превращаются в петли. [23]