=== 2. Интерактивные протоколы ===
*# [[Интерактивные протоколы. Класс IP. Класс AM]](4)*## Отформатировать по правилам## Увеличить картинку## Написать больше неформальных пояснений## +1 за более красивую векторную картинку# [[Арифметизация булевых формул с кванторами]](4)## Отформатировать по правилам## Добавить структуру конспекту## Написать непонятные места понятней*# [[Теорема о соотношении coNP и IP]](4)## Отформатировать по правилам## Написать непонятные места понятней*# [[Теорема Шамира]](3)## Отформатировать по правилам*# '''!!!''' [[Семейство универсальных попарно независимых хеш-функций]](5)*## Отформатировать по правилам## Интервики на конспекты хеширования, там уже что-то есть про универсальное семейство# '''!!!''' [[Протокол Голдвассер-Сипсера для оценки размера множества]](7)## Написать понятно## Отформатировать по правилам## Переименовать конспект## Добавить [[Теорема Голдвассера, Сипсера | теорему]] (+3 за правильное доказательство)
=== 3. Probabilistically checkable proofs ===
