109
правок
Изменения
→Доказательство выполнения свойств A
===Доказательство выполнения свойств <math>A</math>===
Предположим, что <math>\lim_{n \to \infty}f(n) = 2i</math>. Это значит, что фунция «застряла» в ветке «иначе» случая два,
но из этого следует, что <math>SAT</math> не отличается от <math>L(p_i)</math> лишь на конечное число элементов. Это
влечёт за собой принадлежность <math>SAT</math> к <math>P</math>, что противоречит предположению <math>P \ne NP</math>.
