Изменения

'''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>.