Изменения

Пусть есть логические схемы для <tex>NP</tex> (любой задаче из NP).Например зафиксируем Зафиксируем любую из <tex>NP </tex> Пусть например пусть сат разрешает <tex>SAT</tex> разрешается логическими схемами <tex>SAT : C_1...C_n...</tex>, сат который поддерживается . <tex>SAT</tex> с одним битом разрешается логической схемой с1 сат <tex>C_1</tex> <tex>SAT</tex> с двумя переменными логической схемой с2..<tex>C_2</tex> и так далее. Что значит разрешается? Это значит что логическая схема, в инпуте которой который каким то логичным образом закодирована формула, а на выходе логичным образом в вмде 0 и один закодировано есть ли доказательство(разложение) или нет. И причем размер этой логической схемы не больше чем какой то полином от n. Но мы не утверждаем, что можем как то конструктивно их построить. Если бы мы могли за полином их построить, то это бы означало, что сат2=п2, что P=NP.