2015-08-13
411
Проверки упорядываются по модулю характеристического уравнения.
...1
Упорядочивание проверок возможно потому, что мы работаетм с безусловным алгоритмом, где важен состав, а не последовательно алгоритма. в качестве первой проверки выбирается проверка 1.
На втором шаге вычисляются характеристические (прогностические) числа.
.... 2
Проверку вторую выбираются не по максимальному модулю, а по максимальному превращению модуля нового характеристического числа (алгоритма).
...3
В том случае, если в таблице покрытий имеются сплошные строки, то построение алгоритма не делается, сразу выбирается сплошные строки, как варианты алгоритмов с максимальном числом проверок.
Этот метод гораздо более компактнее чем метод основывающийся на булевской алгебре. НО этот метод даёт оптимальный в алгоритм в том случае, если в точках ветвление идёт однозначный выбор лучшей проверки, если же в точках графа во внутрених вершинах есть алтернативные проверки, то идёт отбор проверок с меньшим номером. Наличее альтернативных решений, исключает факт построение оптимального алгоритма.
