2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Неявные доказательства
Сообщение08.12.2020, 22:32 
Аватара пользователя
Как называется вещь, когда мы может доказать, что у нас есть какое-то построение, ключ и т.д. без предъявления этого самого построения? Я просто забыл название - неявные доказательства или как-то по другому?
Помню читал одну статью, там в качестве примера приводилась раскраска плоскости двумя цветами с определенным условием, и что дескать можно проверить, есть ли у вас эта раскраска без предоставления какой-либо информации о реальных цветах в вашей раскраске.

 
 
 
 Re: Неявные доказательства
Сообщение08.12.2020, 22:35 
Неконструктивное

Sicker в сообщении #1495780 писал(а):
Неа, это вообще не о виде доказательства.

Откройте википедию и почитайте.

 
 
 
 Re: Неявные доказательства
Сообщение08.12.2020, 22:42 
Аватара пользователя
wrest
Неа, это вообще не о виде доказательства. Это о проверке, есть ли у вас доказательство, или нет

 
 
 
 Re: Неявные доказательства
Сообщение08.12.2020, 23:10 
Аватара пользователя
Доказательство с нулевым разглашением?

 
 
 
 Re: Неявные доказательства
Сообщение08.12.2020, 23:37 
Аватара пользователя
mihaild в сообщении #1495781 писал(а):
Доказательство с нулевым разглашением

Точно! :D

 
 
 
 Re: Неявные доказательства
Сообщение09.12.2020, 00:25 
В википедии в статье "Доказательство с нулевым разглашением" в пункте "Пещера нулевого разглашения" приводится пример с Пегги, Виктором и пещерой.
Википедия писал(а):
В данном случае Пегги выступает в качестве Доказывающего утверждение, и Виктор — в качестве Проверяющего (в англоязычной литературе обычно используются наименование сторон Peggy от «Prover» и Victor от «Verifier»). Пегги знает магическое слово («ключ»), ввод которого позволяет открыть ей дверь между C и D. Виктор хочет узнать, действительно ли Пегги знает пароль, при этом Пегги не хочет выдавать сам пароль. Пещера имеет круглую форму, как представлено на рисунке. Для того чтобы решить проблему, они поступают следующим способом. Пока Виктор находится в точке А, Пегги идёт к двери, и после того, как она исчезает из виду, Виктор идёт к разветвлению, то есть в точку B, и кричит оттуда: «Пегги нужно выйти справа» или «Пегги нужно выйти слева». Получаем каждый раз вероятность того, что Пегги не знает пароль, равна 50 %.
А почему бы просто не попросить Пегги зайти в пещеру справа и выйти слева (или наоборот, в зависимости от того, куда открывается дверь)? Или тут имеется в виду, что в этом случае будет использоваться дополнительная информация, в какую сторону открывается дверь, которую по условию Пегги не хочет раскрывать?

 
 
 
 Re: Неявные доказательства
Сообщение09.12.2020, 00:29 
Аватара пользователя
EminentVictorians
Конечно, можно сделать проще :-) Весь смысл просто в демонстрации принципа док-ва с нул. разглашением

 
 
 [ Сообщений: 7 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group