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

доклад на конференции 21 февраля 2026, в рамках Дня математика в 179 школе. аннотация: Как известно, задачи можно сдавать письменно или устно. Для письменной сдачи нужно написать текст, который проверяется без участия автора. При устной проверке можно задавать дополнительные вопросы или пропускать какие-то части, но обязательно нужен автор. Оказывается, такая интерактивность расширяет возможности: во-первых, множество доказуемых утверждений расширяется. Во-вторых, становится достижимым нулевое разглашение: проверяющий удостоверяет верность доказательства, но не может сам его воспроизвести. На лекции мы обсудим несколько весёлых примеров: * Как доказать дальтонику, что он надел носки разных цветов * Как доказать ребёнку, что Уолли есть на картинке, не показывая, где именно * Как Али-Бабе доказать знание магического заклинания, не произнося его * Как доказать разрешимость головоломки судоку, не предъявляя решения В конце мы немного поговорим о приложениях этих концепций в математике и криптографии, в том числе о "модном" понятии снарка. другие доклады конференции: https://server.179.ru/wiki/?page=matematika/denmatematika/announcements2026