Cтраница 1
Гипотетические алгоритмы, как и ранее, формируются на основе гипотетических элементарных измерительных преобразований. [1]
Рассмотрим гипотетический алгоритм, описывающий вариант схемы работы оператора с информационной моделью. Пусть структура этого алгоритма включает: AI - нахождение индикатора, изменившего показание; А2 - запоминание его номера; А3 - считывание показания с измерительного прибора; Л4 - умножение полученного показания на 3; Аъ - установка первой пары переключателей в требуемое положение; Ag - то же, для второй пары; А -, - ожидание поступления нового сигнала; р1 - проверка условия, был ли номер полученного сигнала нечетным; р2 - проверка отсутствия поступления нового сигнала. [2]
Здесь Lr [ Vj ] - гипотетический алгоритм; d - параметр ( з общем случае многомерный) dnpe, - предельное значение параметра. [3]
Предыдущее доказательство является хорошим примером, иллюстрирующим общий принцип, используемый в теории ЛФ-полных задач - полиномиальное сведение одной задачи к другой. Вход одной задачи ( в данном случае - оптимизации) был преобразован в один или несколько входов другой задачи ( упорядочения в форме задачи распознавания), и для решения этих задач был применен гипотетический алгоритм решения второй задачи. Полученные решения были использованы для решения первой задачи. Существенным моментом являлось то, что вход первой задачи был преобразован во входы второй задачи быстро - за полиномиальное время; следовательно, входы второй задачи оказались не слишком длинными, во всяком случае не вышли за пределы, определяемые полиномом от длины первоначального входа. Таким образом, мы приходим к следующему определению. [4]