Cтраница 2
И в том и в другом случае неразрешимость задачи доказывается как бы автоматически, сама собой, поскольку если бы решение задачи существовало, то из него следовали бы вполне определенные адреса тройки и пятерки, и, наобо-рот, возможность включения чисел 3 и 5 в одну из групп означала бы, что решение задачи существует. [16]
Определяют гиперповерхность наивысшего ( наинизшего) уровня или устанавливают неразрешимость задачи из-за неограниченности функции ( 1) сверху ( снизу) на множестве допустимых решений. [17]
В первом случае желательно, чтобы алгоритм позволял своевременно обнаруживать неразрешимость задачи и определять причину этого. Во втором случае алгоритм должен либо строить одно из возможных решений, либо выбирать в некотором смысле оптимальное решение. При этом предполагается, что система работает в реальном масштабе времени. [18]
За конечное число шагов или получим опорный план, или убедимся в неразрешимости задачи. [19]
Заметим еще, что в ряде случаев алгоритм позволяет провести различие между принципиальной неразрешимостью задачи и невозможностью найти решение данными ограниченными средствами. [20]
При данном значении параметра / о либо определяем оптимальный план, либо устанавливаем неразрешимость задачи. [21]
Да - же небольшое число составляющих Вд ( порядка 3 - 4) может привести к неразрешимости задачи из-за чрезмерных требований к объемам памяти и быстродействию вычислительных машин. [22]
От них действительно можно отказаться, поскольку в цепочке рассуждений, позволившей нам прийти к выводу о неразрешимости задачи, утверждение ( 9) не использовалось. Следовательно, утверждение ( 9) в рассмотренном нами варианте задачи совершенно лишнее. [23]
Требуется найти такое расположение прямоугольников в области, ггобы они полностью покрыли ее, либо указать на неразрешимость задачи. [24]
Для выбранного значения параметра t из промежутка [ а, [3] либо находят оптимальный план, либо устанавливают неразрешимость задачи. [25]
Младшие по г члены этого интеграла трансцендентным образом зависят от тейлоровских коэффициентов поля v; в этом и состоит причина алгебраической неразрешимости задачи. [26]
Вследствие того, что уравнение ( 9) не голоморфно, мы уже не можем вывести отсюда ( как выше) неразрешимость задачи Дирихле при этих данных. Мы могли бы только утверждать, что проблема Дирихле не имеет во всех этих случаях регулярных решений. [27]
При решении задач линейного программирования симплексным методом осуществлялся упорядоченный переход от одного опорного плана к другому до тех пор, пока либо не была установлена неразрешимость задачи, либо не был найден ее оптимальный план. [28]
Построен пример, показываиций неразрешимость задачи в общем случае. Указаны достаточные условия локального продол-гения гармонической функции за границу области, рассмотрены примеры граничных условий, обеспечивавших продолжение. [29]
Эти программы получили названия Логик-теоретик ( Logic Theorist-LT) и Общий решатель задач ( General Problem Solver-GPS); они содержали общие процедуры поиска стратегий ( или доказательства теорем и ведения игр) и имели впечатляющий, хотя и ограниченный успех. GPS была неспособна доказать неразрешимость задачи о кенигсбергских мостах или научиться хорошо играть в шахматы. [30]