| 58 |
Как известно, задачи можно сдавать письменно или устно. Для письменной сдачи нужно написать текст, который проверяется без участия автора. При устной проверке можно задавать дополнительные вопросы или пропускать какие-то части, но обязательно нужен автор. Оказывается, такая интерактивность расширяет возможности: во-первых, множество доказуемых утверждений расширяется. Во-вторых, становится достижимым нулевое разглашение: проверяющий удостоверяет верность доказательства, но не может сам его воспроизвести. На лекции мы обсудим несколько весёлых примеров: |
| 59 |
* Как доказать дальтонику, что он надел носки разных цветов |
| 60 |
* Как доказать ребёнку, что Уолли есть на картинке, не показывая, где именно |
| 61 |
* Как Али-Бабе доказать знание магического заклинания, не произнося его |
| 62 |
* Как доказать разрешимость головоломки судоку, не предъявляя решения |
| 63 |
В конце мы немного поговорим о приложениях этих концепций в математике и криптографии, в том числе о "модном" понятии снарка. |