Cтраница 1
Оценки теоремы получаются из (5.44) применением формулы Стирлинга. [1]
Оценки теоремы непосредственно следуют из возможности реализовать произвольный оператор Qn m k в виде набора m k булевых функций от n k переменных каждая. [2]
Оценка теоремы 6 имеет скорее качественное, принципиальное значение, чем количественное. [3]
Нижняя и верхняя оценки теорем 1 и 2 различаются всего лишь в 6 раз. [4]
Чтобы ближе подойти к оценке теоремы С, нам потребуется алгоритм, несколько более сложный, чем постоянное заполнение. Обсуждение этрго алгоритма мы отложим до конца раздела. [5]
Следующие примеры показывают, что оценка теоремы 5.1 не только является наилучшей, но и может на самом деле быть достигнута ( асимптотически) при варьировании любого из параметров. [6]
Далее, при фиксированном п оценка теоремы 2 и следствия 1 асимптотически оптимальна. [7]
Во многих приложениях ( но не во всех) величина у неизвестна и оценки теоремы (11.7.1) носят теоретический характер. [8]
Верхняя оценка сложности квантового автомата, распознающего Lp ( теорема 5) показывает, что оценка теоремы 6 является почти точной. [9]
Тогда, заменяя в доказательстве предыдущей теоремы априорную оценку, даваемую теоремой 7.2, на оценку теоремы 7.3, получаем следующее утверждение. [10]
Можно также показать, что оператор, относительно которого известно, что он является ограниченно-детерминированным и что он удовлетворяет оценкам теоремы 4 при некотором данном К, на самом деле может иметь вес больший чем К. [11]
Если оператор F удовлетворяет условиям теоремы 17.14 или теоремы 17.15, то этим же условиям удовлетворяют и операторы Fm со структурными постоянными, зависящими, быть может, от т.ш. В итоге мы получим внутренние оценки в С2 § Л решений уравнений Fm [ u ] 0 такого же вида, как и оценки теорем 17.14 и 17.15. Однако вблизи границы ЭФ Fm [ u ] Дм. Поэтому для достаточно гладких граничных значений оценки в С2а вблизи ЭФ получаются из теории Шаудера, в частности, из леммы 6.5. Используя описанную процедуру, докажем следующий результат о разрешимости. [12]
Тогда М является многообразием с богатой скейлинго-вой структурой, которая имитирует структуру салфетки Серпинского. Однако следует ожидать, что оценки теоремы 5.2 имеют место в области 1 t х - у. [13]
Нашей дальнейшей целью является риспрострапснис оценок теорем 1 и 2 из предыдущего пункта на уравнения с переменными коэффициентами. Возможность такого обобщения связана с тем, что эти оценки янляютсм на самом деле двусторонними. [14]