Cтраница 4
Эвристика не дает методов постановки научно-технических задач. Далее также предполагается, что существует тест ( проверка), который можно применить к предполагаемому решению некоторой задачи. В случае, когда предполагаемое решение задачи действительно является решением, тест должен обнаружить это за конечное число шагов. [46]
Иными словами, равноактивная бифуркация отвечает случаю, когда области нагружения и разгрузки в двух предполагаемых решениях для скоростей совпадают. [47]
Поэтому было бы хорошо установить, насколько близко наше решение к математически совершенному решению. На первый взгляд может показаться, что наиболее естественный метод определения точности решения заключается в подстановке предполагаемого решения в заданное уравнение: если окажется, что заданное уравнение удовлетворяется, то ответ верен. [48]
Если через ф ( z) и t) ( z) мы обозначим функции, соответствующие разности двух предполагаемых решений, то эти функции будут голоморфны во всей области 5, так как при вычитании логарифмические члены формул ( 17) § 41 сократятся. [49]
К первому А принадлежат задачи, решение которых может быть получено с помощью известных методов и алгоритмов, исключающих полный перебор альтернативных вариантов предполагаемых решений. В этом классе необходимо выделить подкласс задач А / С А, решение которых трудно или невозможно получить при современном уровне научно-технического прогресса. [50]
К первому классу А принадлежат задачи, решение которых может быть получено с помощью известных методов и алгоритмов, исключающих полный перебор альтернативных вариантов предполагаемых решений. В этом классе необходимо выделить подкласс задач А ] с: А, решение которых трудно или невозможно получить при современном уровне научно-технического прогресса. [51]