Изменения

'''Randomness complexity''' (вероятностной сложностью) <tex>r(n)</tex> верификатора <tex>V</tex> называется число случайных битов, которые он использует используемых за всё время работы со входом длины <tex>n</tex>.

'''Query complexity''' (запросной сложностью) <tex>q(n)</tex> верификатора <tex>V</tex> называется число запросов битов из <tex>\pi</tex>, которые он отсылает отсылаемых за всё время работы со входом длины <tex>n</tex>.