Cтраница 4
При переходе к следующим приближениям диаграммы усложняются за счет добавления новых вершин. Не все такие диаграммы, однако, дают нечто существенно новое. [46]
Работая с классами эквивалентности, мы будем переходить от одной новой вершины к другой по дугам старого графа. Часто нужно будет искать нынешнего представителя начальной вершины дуги, выбранной для данной вершины. [47]
Практически преобразование графа переходов к кубиру-емому виду сводится к добавлению новых вершин в некоторые ребра каждой запрещенной фигуры, являющейся подграфом графа переходов. Этим самым вводятся неустойчивые внутренние состояния автомата. [48]
При переходе к следующим приближениям диаграммы усложняются за счет добавления новых вершин. Не все такие диаграммы, однако, дают нечто существенно новое. [49]
Граф С ( Ь) получается из графа Я присоединением новой вершины хн, соответствующей ОгЬ ( 1) и ОгЬ ( 2), и ребер цикла С. С ( М) путем таких стягиваний ребер, при которых все ребра из множества Е ( С) [) Е ( Н) остаются инвариантными, а К стягивается в хн. Заметим, что граф О ( Ц связен в силу связности графа Я. [50]
Вместо того чтобы делать это прямо, данный модуль создает новую вершину J, представляющую утверждение о том, что I и О SL-подтверждают N; иначе говоря, допущение каждой из вершин в I и отсутствие допущения для каждой из вершин в О составляют причину допущения N. Модуль подтверждает N путем ( SL J - f I О), где J I соответствует списку I, дополненному J. Система TMS сделает N внутри на основании этого подтверждения только тогда, когда J находится внутри. Затем модель создает еще одну вершину, - ] J, соответствующую утверждению о том, что J представляет спорное подтверждение. Идя таким путем, модуль создает новую вершину для представления самого подтверждения как явного допущения, а затем предполагает, что это подтверждение не оспаривалось. [51]
Для нахождения минимального гамильтонова пути с нефиксированным началом следует ввести новую вершину S, соединяя ее с каждой вершиной Xi дугами ( S, XJ и ( Х, S) с нулевыми значениями, и найти минимальный гамильтонов контур нового графа. Исключая затем из него S, получают искомый путь. [52]
У AF есть ограничение в 0.2, которое соответствует 9 новым вершинам или низам. [53]
Наращивание дерева подзадач выполняется при необходимости произвести запись информации о новых вершинах: векторы, содержащие информацию об этих вершинах, записываются в матрицу. При этом модифицируется информация, содержащаяся в указателях и ссылках. [54]
Если не все вершины включены в расширенный граф, то выбирается новая вершина w и процесс повторяется до тех пор, пока все вершины не будут просмотрены. [55]