Скачать или смотреть Даниил Владимирович Мусатов, "Нулевое разглашение: от Уолли до снарков"

доклад на конференции 21 февраля 2026, в рамках Дня математика в 179 школе.

аннотация:

Как известно, задачи можно сдавать письменно или устно. Для письменной сдачи нужно написать текст, который проверяется без участия автора. При устной проверке можно задавать дополнительные вопросы или пропускать какие-то части, но обязательно нужен автор. Оказывается, такая интерактивность расширяет возможности: во-первых, множество доказуемых утверждений расширяется. Во-вторых, становится достижимым нулевое разглашение: проверяющий удостоверяет верность доказательства, но не может сам его воспроизвести. На лекции мы обсудим несколько весёлых примеров:

Как доказать дальтонику, что он надел носки разных цветов
Как доказать ребёнку, что Уолли есть на картинке, не показывая, где именно
Как Али-Бабе доказать знание магического заклинания, не произнося его
Как доказать разрешимость головоломки судоку, не предъявляя решения

В конце мы немного поговорим о приложениях этих концепций в математике и криптографии, в том числе о "модном" понятии снарка.


другие доклады конференции: https://server.179.ru/wiki/?page=mate...