Существование - алгоритм
Cтраница 3
Этот алгоритм далек от оптимального. Тем не менее он демонстрирует существование алгоритма для обнаружения взаимоблокировок. [31]
Действительно, одно дело доказать существование алгоритма, другое - доказать отсутствие алгоритма. [32]
Если исходить из разрабатываемого здесь подхода, возникает другая картина, которая может найти ряд важных приложений в связи с ролью эвристических программ как теорий решения задач человеком. Мы будем предполагать, что существование алгоритма подразумевает наличие: а) четко заданного класса задач, каждая из которых может быть решена; б) программы для этого алгоритма; в) некоторого хорошо определенного критерия решения. Кроме того, должен существовать: г) некоторый язык, в котором класс задач, программа и критерий могут быть полностью заданы, так что ни одно ограничение не остается открытым для д) членов заданного множества методов решения задачи, которые могут потребоваться для использования программы. [33]
 |
Четыре структуры данных, необходимые для алгоритма обнаружения тупиков. [34] |
Этот алгоритм далек от оптимального. Тем не менее он демонстрирует существование алгоритма для обнаружения взаимоблокировок. [35]
Главное содержание математической теории адаптивного управления состоит в выводе достаточных условий адаптивности управления. При этом не только доказывается существование алгоритма адаптивного управления, но и приводится их описание для различных классов объектов и целей управления. Необходимые условия существования адаптивного управления известны лишь для небольшого числа случаев. [36]
В настоящем разделе рассматривается проблема существования алгоритмов, распознающих эти свойства. [37]
Выделяют два подхода к решению задачи о полноте - алгоритмический и алгебраический. В первом случае ставится вопрос о существовании алгоритма, устанавливающего полноту или неполноту систем функций, описанных на нек-ром языке; во втором - переходят к изучению свойств решетки подалгебр данной алгебры m - значной логики и решают задачу о полноте, используя эти свойства. [38]
ВФ ( а поскольку вычислимость - это не что иное как существование алгоритма вычисления, то, по существу, и осн. Поиски такого общего определения ВФ ( в ходе к-рых были найдены многочисл. Геделя ( 1934) к формулировке фундаментального понятия о б щ е - р е к у р с и в н о и функции ( ОРФ), по отношению к которому и был в 30 - х гг. выдвинут тезис Черча. Следует отметить, что понятие ОРФ явилось лишь одним из многих уточнений понятия ВФ. Эквивалентность всех этих уточнений, указывающая на важность класса функций, характеризуемых любым из них, служит одним из серьезнейших доводов в пользу тезиса Черча. [39]
Этот алгоритм несколько проливает свет на вычислительную мощность функции выделения целой части. Учитывая кажущееся сходство задач МАКСИМАЛЬНЫЙ ПРОМЕЖУТОК и БЛИЖАЙШАЯ ПАРА в одномерном случае, существование алгоритма с линейной сложностью представляет выдающийся результат. К сожалению, по-видимому, невозможно обобщить этот результат на случай двумерного пространства. [40]
Теория уравнений в свободных группах особенно интенсивно развивалась на стыке 70 - 80 - х годов, в основном, в трудах московской математической школы. Центральный результат, полученный в эти годы - теорема Г. С. Маканина [32], утверждающая существование алгоритма, распознающего разрешимость произвольного уравнения в свободной группе. [41]
Из алгоритмической неразрешимости проблемы распознавания самоприменимости алгоритмов выводится алгоритмическая неразрешимость целого ряда других проблем. Общий метод для подобных выводов состоит в том, что из предложения о существовании алгоритма, решающего ту или иную проблему Q, выводится существование алгоритма, решающего проблему распознавания самоприменимости алгоритмов. [42]
Из алгоритмической неразрешимости проблемы распознавания самоприменимости алгоритмов выводится алгоритмическая неразрешимость целого ряда других проблем. Общий метод для подобных выводов состоит в том, что из предложения о существовании алгоритма, решающего ту или иную проблему Q, выводится существование алгоритма, решающего проблему распознавания самоприменимости алгоритмов. [43]
Кодда состоит в том, что любая информационная система общего назначения должна по меньшей мере обладать способностью отвечать на любые запросы альфа-языка. Существование алгоритма редукции показывает, что база данных, в которой реализована реляционная алгебра, обладает необходимой селективной силой. [44]
В других случаях удается доказать возможность алгоритма. Это еще не означает, что алгоритм найден, но все же является некоторым продвижением вперед. Доказательство существования алгоритма обычно заключается в том, что описывают процесс, с помощью которого его можно построить. [45]
Страницы: 1 2 3 4