| |
55 |
====МАТЕМАТИКА 7-9 КЛАСС====
|
| |
56 |
=====Даниил Владимирович Мусатов (МФТИ), "//Нулевое разглашение: от Уолли до снарков", сейчас снарков в анонс добавлю//"=====
|
| |
57 |
Как известно, задачи можно сдавать письменно или устно. Для письменной сдачи нужно написать текст, который проверяется без участия автора. При устной проверке можно задавать дополнительные вопросы или пропускать какие-то части, но обязательно нужен автор. Оказывается, такая интерактивность расширяет возможности: во-первых, множество доказуемых утверждений расширяется. Во-вторых, становится достижимым нулевое разглашение: проверяющий удостоверяет верность доказательства, но не может сам его воспроизвести. На лекции мы обсудим несколько весёлых примеров:
|
| |
58 |
* Как доказать дальтонику, что он надел носки разных цветов
|
| |
59 |
* Как доказать ребёнку, что Уолли есть на картинке, не показывая, где именно
|
| |
60 |
* Как Али-Бабе доказать знание магического заклинания, не произнося его
|
| |
61 |
* Как доказать разрешимость головоломки судоку, не предъявляя решения
|
| |
62 |
В конце мы немного поговорим о приложениях этих концепций в математике и криптографии, в том числе о "модном" понятии снарка.
|