2.11. Определение минимальных путей и полных контуров

Для многих задач, представляющих практический интерес, с генерированием каждого входного символа связана некоторая стоимость, определяемая тем, что переход автомата из одного состояния в другое влечет за собой определенные затраты, пропорциональные числу дуг, которые необходимо при этом пройти. Для того чтобы уменьшить общую стоимость, в этих случаях желательно определить наикратчайший или минимальный путь между двумя состояниями.

Лемма 2.6. Минимальный путь, ведущий из состояния если он существует, должен быть элементарным путем.

Доказательство. Пусть минимальный путь выражается так: и имеет длину k. Если этот путь избыточный, то имеются два индекса среди , которые одинаковы. Предположим, что . Тогда минимальный путь может быть представлен произведением

Если этот путь существует, то в этом произведении нет множителей, равных нулю. Следовательно, нет равных нулю множителей и в произведении а это означает, что такой путь тоже существует. Так как последний путь короче, чем предыдущий, и, так же как предыдущий, ведет из предыдущий путь не может быть минимальным. Отсюда следует, что предположение, сделанное в начале доказательства, неверно, т. е. минимальный путь не может быть избыточным.

На основании лемм 2.4 и 2.6 можно теперь сформулировать следующую теорему.

Теорема 2.4. Если существует путь, который ведет из состояния в состояние в автомате состояниями, то кратчайший такой путь представляется некоторым элементом одной из матриц где

Теорема 2.4 указывает следующую процедуру для определения минимальных путей.

Алгоритм 2.5. Для того чтобы определить минимальный путь, ведущий из состояния в автомате М с n состояниями надо произвести следующие операции: (1) Полагаем Строим (а) Если элемент ) равен нулю и то увеличиваем k на единицу и возвращаемся к (2). (б) Если элемент равен нулю и то путь из не существует, (в) Если элемент не равен нулю, то он представляет искомый путь (или пути).

Например, для того чтобы найти минимальный путь, ведущий из состояния 1 в состояние 5 в автомате строится матрица для до тех пор,

пока первый раз элемент, расположенный на пересечении строки 1 и столбца 5, примет значение, отличное от нуля, или пока k станет равным 5 (в последнем случае путь не существует). Матрицы (2.26) — (2.29) показывают, что первый отличный от нуля элемент, расположенный на пересечении строки 1 и столбца 5, появляется в матрице , где этот элемент равен . Обращение к графу переходов рис. 2.2 или к матрице переходов (2.12) показывает, что минимальным путем можно пройти, если подать входную последовательность u n d.

В автомате с n состояниями полным контуром называется любой элементарный контур длины п. Следовательно, полный контур — это замкнутый путь, который проходит через все состояния в автомате точно один раз. Проблема определения элементарных контуров возникает тогда, когда каждый входной символ имеет определенную стоимость и когда желательно наиболее экономным путем перевести автомат из начального состояния через все другие состояния и вернуть его в начальное состояние (например, для целей проверки).

Лемма 2.7. Главная диагональ матрицы содержит все полные контуры автомата М.

Доказательство. Так как полный контур является элементарным контуром, то любые последовательных дуг составляют в полном контуре длины элементарный путь. Множество всех путей, построенных добавлением к элементарным путям длины элементарных путей длины 1, содержит поэтому все полные контуры длины n. Значит, содержит это множество, и, следовательно, полные контуры являются путями, ведущими из любого состояния в то же самое состояние. Лемма доказана.

Очевидно, любое состояние автомата М может рассматриваться как начальное состояние в полном контуре. Следовательно, если один диагональный элемент в равен нулю, что имеет место при отсутствии полных контуров в автомате М, то все диагональные элементы в этой матрице должны быть равны нулю. Любой ненулевой диагональный элемент представляет собой множество всех возможных полных контуров в автомате M; диагональный элемент , представляет собой

циклические перестановки сомножителей членов, содержащихся в элементе .

Например, в результате построения получилась матрица, в которой все элементы равны нулю; это значит, что не содержит полных контуров. Рис. 2.6 и матрица (2.30). представляют автомат в котором существует полный контур. Матрицы (2.31), (2.32) и (2.33) иллюстрируют процедуру определения этого контура. Так как число состояний в равно 3, то матрица представленная выражением (2.33), должна содержать все полные контуры на своей главной диагонали. Искомым полным контуром является контур или любой другой, полученный из него циклической перестановкой. Обращение к рис. 2.6 или к матрице (2.30) показывает, что если начальное состояние есть 1, то полный контур можно пройти, подавая на вход