Cтраница 1
Вершина ранга 2, соответствующая входному слову I2 11, не эквивалентна корню дерева ( вершине ранга 0), так как Д2 ( жа) хш. [1]
Только одна вершина ранга 6 должна быть отмечена плюсом. [2]
Если две вершины соседних рангов соединены двумя стрелками, то эти стрелки следует объединить. [3]
Преобразование осуществляется для всех вершин равного ранга, начиная с первого. [4]
Правила минимизации выполняются последовательно для вершин равного ранга, начиная с вершины первого ранга. При этом рассматриваются все возможные пары вершин равного ранга. [5]
Нумерация вершин во всех остальных столбцах осуществляется для вершин равного ранга последовательно, начиная с ( п - 1) - го. [6]
Анализируются образовавшиеся цепочки стрелок и операторов, соединяющие вершины младшего ранга с вершинами старших рангов. Каждая такая цепочка заменяется одной стрелкой, в середине которой в прямоугольнике записываются все непустые арифметические операторы цепочки. [7]
При ранжировании верппш каждая из них рассматривается в качестве корня поддерева, состоящего из вершин меньшего ранга, и ей присваивается вес, равный числу вершин в соответствующем поддереве. [8]
Вершина ранга 2, соответствующая входному слову I2 11, не эквивалентна корню дерева ( вершине ранга 0), так как Д2 ( жа) хш. [9]
Далее устанавливается попарная различимость или неразличимость для ( m - f - 1)) - вершин ранга 2; это позволяет выделить среди вершин ранга 2 те, которые должны быть отнесены к базису. Для этого приходится поднимать еще по одному ярусу, насчитывающему ms ребер над уже имеющимися ветвями высоты s, выходящими из этих вершин. Путем сравнения полученных вершин третьего ранга между собой, а также с уже ранее построенными вершинами базиса определяется, какие из них следует етнести к базису ( и приписать им новые буквы состояний) и какие состояния следует приписать тем вершинам третьего ранга, которые не входят в базис. Естественный обрыв этого процесса происходит тогда, когда впервые среди вершин данного ранга не обнаружено вершин, отличимых от ранее выявленных вершин базиса. Тогда завершается и построение канонических таблиц. [10]
Изображение игры посредством дерева позволяет представить графически любую стратегию для игрока А в виде системы стрелок, выходящих из вершин нечетного ранга и ведущих к смежным вершинам четного ранга. [11]
Из лемм 3 и 4 следует, что в максимальном графе ранги всех вершин различны и все ребра соединяют только вершины соседних рангов. [12]
Далее устанавливается попарная различимость или неразличимость для ( m - f - 1)) - вершин ранга 2; это позволяет выделить среди вершин ранга 2 те, которые должны быть отнесены к базису. Для этого приходится поднимать еще по одному ярусу, насчитывающему ms ребер над уже имеющимися ветвями высоты s, выходящими из этих вершин. Путем сравнения полученных вершин третьего ранга между собой, а также с уже ранее построенными вершинами базиса определяется, какие из них следует етнести к базису ( и приписать им новые буквы состояний) и какие состояния следует приписать тем вершинам третьего ранга, которые не входят в базис. Естественный обрыв этого процесса происходит тогда, когда впервые среди вершин данного ранга не обнаружено вершин, отличимых от ранее выявленных вершин базиса. Тогда завершается и построение канонических таблиц. [13]
Наивысший из этих рангов будем называть рангом дерева; он определяет максимальную длину партий, возможных в данной игре. Вершины нечетного ранга изображают позиции, в которых ход делает игрок Л, начинающий игру, а вершины четного ранга - позиции, где очередь хода за игроком В. [14]
Каждый ранг содержит вершины, не соединенные между собой дугами. С вершин меньшего ранга дуги входят только в вершины большего ранга. Нумерация вершин возрастает от 1-го ранга к последнему. [15]