Изменения

Лемма о соотношении coNP и IP

5 байт добавлено, 12:12, 3 июня 2012

м

Нет описания правки

{{Определение

|definition=

<tex>\#SAT=\{\langle \varphi, k \rangle \bigm| \varphi</tex> имеет ровно <tex>k</tex> удовлетворяющих наборов <tex>\}</tex>.

}}

211

правок