Обсуждение:PCP-система — различия между версиями
Shevchen (обсуждение | вклад) |
|||
Строка 1: | Строка 1: | ||
Интересует момент <tex>\mathrm{PCP}[0, O(log(n))] = \mathrm{P}</tex>. Да, мы можем сгенерировать все доказательства, но мы же не знаем, какое из них верное — какому из результатов доверять. [[Участник:Shevchen|Дмитрий Шевченко]] 23:58, 4 июня 2012 (GST) | Интересует момент <tex>\mathrm{PCP}[0, O(log(n))] = \mathrm{P}</tex>. Да, мы можем сгенерировать все доказательства, но мы же не знаем, какое из них верное — какому из результатов доверять. [[Участник:Shevchen|Дмитрий Шевченко]] 23:58, 4 июня 2012 (GST) | ||
− | + | : У нас случайных битов нет, поэтому на фиксированном доказательстве <tex>\pi</tex> <tex>V</tex> работает одинаково.<br/> То есть, если была такая цепочка, что <tex>V</tex> допустил, то допускаем. Если не было, то не допускаем. | |
− | + | :: А, ок, я продолбал «для некоторого/любого <tex>\pi</tex>». [[Участник:Shevchen|Дмитрий Шевченко]] 01:19, 5 июня 2012 (GST) | |
Программа с двумя графами обрывается в самом интересном месте. [[Участник:Shevchen|Дмитрий Шевченко]] 00:00, 5 июня 2012 (GST) | Программа с двумя графами обрывается в самом интересном месте. [[Участник:Shevchen|Дмитрий Шевченко]] 00:00, 5 июня 2012 (GST) | ||
− | + | : Это какое же место там самое интересное? | |
+ | :: То, где ничего не возвращается. [[Участник:Shevchen|Дмитрий Шевченко]] 01:19, 5 июня 2012 (GST) |
Версия 00:19, 5 июня 2012
Интересует момент Дмитрий Шевченко 23:58, 4 июня 2012 (GST)
. Да, мы можем сгенерировать все доказательства, но мы же не знаем, какое из них верное — какому из результатов доверять.- У нас случайных битов нет, поэтому на фиксированном доказательстве
То есть, если была такая цепочка, что допустил, то допускаем. Если не было, то не допускаем.- А, ок, я продолбал «для некоторого/любого Дмитрий Шевченко 01:19, 5 июня 2012 (GST) ».
работает одинаково.
Программа с двумя графами обрывается в самом интересном месте. Дмитрий Шевченко 00:00, 5 июня 2012 (GST)
- Это какое же место там самое интересное?
- То, где ничего не возвращается. Дмитрий Шевченко 01:19, 5 июня 2012 (GST)