Если для отрицательных чисел изменить формулировку на "… умножить его на 3 и добавить -1 ...", то все работает зеркально.
Теория, как правило, которое формирует дерево со всеми числами. Хиюл думал что можно посчитать уникальние последовательности веток, но оказалось что их число тоже идет в бесконечность.
Рассмотрим простой пример. Предположим, некто (верификатор) страдает цветовой слепотой. Кто-то другой (доказыватель) утверждает, что два шарика окрашены в разные цвета и ничем больше друг от друга не отличаются. Верификатор не может сам проверить это утверждение. Но, умно построив допрос, он, всё же, может узнать, так ли это на самом деле.
Для этого можно спрятать шарики за спиной и перемешать их. А потом — спросить доказывателя о том, в какой руке находится какой шарик. Если они и правда разные — доказыватель должен всегда отвечать на подобный вопрос правильно. А если же они имеют один и тот же цвет, то есть — выглядят совершенно одинаково, половина ответов доказывателя окажется неправильной.
Для тех кто в танке https://m.youtube.com/watch?v=ipAnwilMncI
Если для отрицательных чисел изменить формулировку на "… умножить его на 3 и добавить -1 ...", то все работает зеркально.
Теория, как правило, которое формирует дерево со всеми числами. Хиюл думал что можно посчитать уникальние последовательности веток, но оказалось что их число тоже идет в бесконечность.
И как верификатор проверит ответы?