Cтраница 1
Предыдущее доказательство справедливо для любого базиса. [1]
Предыдущее доказательство является хорошим примером, иллюстрирующим общий принцип, используемый в теории ЛФ-полных задач - полиномиальное сведение одной задачи к другой. Вход одной задачи ( в данном случае - оптимизации) был преобразован в один или несколько входов другой задачи ( упорядочения в форме задачи распознавания), и для решения этих задач был применен гипотетический алгоритм решения второй задачи. Полученные решения были использованы для решения первой задачи. Существенным моментом являлось то, что вход первой задачи был преобразован во входы второй задачи быстро - за полиномиальное время; следовательно, входы второй задачи оказались не слишком длинными, во всяком случае не вышли за пределы, определяемые полиномом от длины первоначального входа. Таким образом, мы приходим к следующему определению. [2]
Предыдущее доказательство кажется убедительным. Однако здесь нужно выдвинуть одно возражение. [3]
Предыдущее доказательство принадлежит Бур баки [ 9, гл. [4]
Предыдущее доказательство имеет смысл только для одно-связного объема. Если сосуд многосвязный, то функция р более не будет однозначной, и теорема Грина не применима. [5]
Предыдущее доказательство и заключение теоремы сохраняют силу и в случае сферического сегмента. [6]
Предыдущее доказательство предполагает, что пределы а и Ъ конечные. [7]
Предыдущее доказательство проходит почти без изменений и в этом случае. [8]
Предыдущее доказательство имеет смысл только для одно-связного объема. Если сосуд многосвязный, то функция ( р более не будет однозначной, и теорема Грина не применима. [9]
Предыдущее доказательство теряет силу, если ограничение на промежуток времени зависит от начального распределения. Оно неприменимо в важном для физиков случае твердых шариков. Пока не удается получить общее доказательство того, что больцмановское свойство сохраняется по времени. [10]
Предыдущее доказательство теоремы Аносова доказывает, что всякий ( 71-близкий к А диффеоморфизм Еп - Е топологически эквивалентен А. [11]
Предыдущее доказательство приводитъ къ Сл-Ьдующимъ важ-нымъ заключеюямъ: 1) задача йнтегрировашя уравнешй ( 1) будетъ решена, какъ скоро будетъ изв - Ьстна функщя F, по тому что тогда уравнешя ( 7) и ( 8) доставятъ полную систему In интеграловъ данныхъ уравнешй; 2) функц. [12]
Предыдущее доказательство теоремы Досса проходит лишь в случае, когда 5 - атомная подгруппа, причем Л - множество представителей атомов. В дальнейшем используется лишь этот случай. [13]
Рассмотрим предыдущее доказательство: оно содержит две независимых части. В первой, допустив, что О есть изолированная точка множества ( Т7), выводится, что существует последовательность, сходящаяся вне точки О равномерно к бесконечности. [14]
Из предыдущего доказательства следует, что R слабо представим утилитарной ФКП, поэтому из ( 24) следует, что R является на самом деле утилитарной ФКП. [15]