Существование - алгоритм
Cтраница 1
Существование алгоритма, который решает проблему эквивалентности, вытекает из следующих соображений. Если автоматы Ai и А2 не имеют ветвлений в несущественных состояниях, то их эквивалентность устанавливается следующим образом. Выберем для каждого слова q в алфавите Y некоторым стандартным образом эквивалентное ему в полугруппе слово a ( q) наименьшей длины. [1]
Существование алгоритма для распознавания вложимости конечных частичных алгебр квазипримитивного класса К в обычные алгебры этого класса равносильно существованию алгоритма для решения проблемы тождества в обычных алгебрах класса К. [2]
Существование алгоритма слияния, не требующего резервных объемов памяти, очевидно для случая, когда размер меньшего из двух сливаемых массивов равен единице. Из сказанного выше по индукции следует, что алгоритм слияния, не использующий резервных объемов памяти, существует при произвольных размерах сливаемых массивов. Оператор слияния, не использующий резервных объемов памяти, представляет собой рекурсивную процедуру, описание которой непосредственно вытекает из доказательства существования алгоритма. [3]
Однако принципиальное существование алгоритмов решения задач оптимизации и адаптации далеко не всегда означает возможность их практического использования в АСУ ТП. Главная трудность здесь заключается в описании объектов управления, для которого традиционно используется аппарат векторно-матричных уравнений переменных состояний. Но даже получив такие уравнения, можно столкнуться со случаями, когда матрица системы ( особенно для нестационарных объектов) содержит слишком большое число переменных членов, для запоминания и анализа которых расходуются весьма значительные объемы памяти. Кроме того, объем вычислений возрастает настолько, что доступные для использования средства управляющей вычислительной техники не в состоянии справиться с обработкой текущей информации и выработкой в реальном времени управляющих и адаптирующих сигналов, даже если число технологических параметров не превышает 20 - 50, что совсем немного для современных АСУ ТП. [4]
 |
Схема научного подхода к обоснованию АЛЮ. [5] |
Условиями существования алгоритма решения конкретной задачи являются массовость, детерминированность и результативность. [6]
Вопрос о существовании алгоритма, позволяющего распознавать разрешимость диофантовых уравнений в рациональных числах, эквивалентен вопросу о существовании алгоритма, позволяющего распознавать разрешимость однородных диофантовых уравнении в целых-числах. Эта важная проблема пока ( 1978) остается открытой и малоисследованной. [7]
Имеется в виду существование алгоритма, указывающего по е номер соответствующего перечислимого множества в стандартной нумерации. Можно-доказать ( теорема Мартин-Лефа), что для вычислимых мер существует максимальное по включению конструктивно нулевое ( относительно данной меры) множество. [8]
Нас особенно интересует существование алгоритмов, обеспечивающих завершение работы за число шагов, ограниченное полиномом от длины входа. [9]
Требование эффективности означает существование алгоритма ( правила), позволяющего за конечное число шагов получить значение числа по его коду. При переходе от числа к его коду для целого числа должен существовать алгоритм, реализующий его за конечное число шагов. Для дробного числа х должен существовать алгоритм, который позволяет за конечное число шагов записать код числа х, отличающегося от х на заданную величину погрешности. [10]
Тем самым доказывается существование алгоритма для решения вопроса о вхождении элемента в подгруппу для нильпотентных групп данной ступени нильпотентности. [11]
В задаче 1 табл. 1.2 существование алгоритма, имеющего полиномиальную сложность, показано для наиболее общего случая независимых заданий и равных стоимостей. [12]
Кроме того, теорема 2.4 гарантирует существование алгоритмов, порядок которых равен порядку информации. Предположим, что один из этих алгоритмов максимального порядка допустим. [13]
Безусловно, остается открытым вопрос о существовании лучшего алгоритма для решения двух вышеупомянутых эквивалентных задач. Вместе с тем установление для них в качестве нижней оценки по времени Q ( Meg2 ЛГ) является весьма маловероятной перспективой. [14]
Результаты настоящего раздела применяются главным образом при доказательстве существования алгоритмов линейной сложности, решающих определенные задачи. [15]
Страницы: 1 2 3 4