Комментарии 20
А может кто-нибудь знающий пояснить. Разьве доказательство нерешаемости проблемы останова применимо для квантовых компьютеров?
Уважаемые читатели! Что значит доказательство MIP* = RE...
волновая функция суперпозиции реальностей колапсирует в реальность очевидную
Однако, «нахождение приблизительного максимального уровня вероятности выигрыша для нелокальных игр так же, как и для задачи останова, невозможно.» То всё-таки не коллапсирует? :)
Поскольку Слофстра доказал, что если в нелокальной игре есть доступ к бесконечному количеству запутанных частиц — то вероятность выйгрыша 100%1, а проблема останова так же снимается если на входе алгоритма вся Вселенная (включая и алгоритм)2, то и коллапс суперпозиции реальностей происходит пропорционально увеличению кубитов познающей системы.
вероятность выйгрыша 100%наблюдается только у войнов-андройдов.
наблюдается
граммарнациками?
и тем схлопывает карму
Могу развернуть, извольте:
Правила русского языка не сложнее квантовой физики.
Вам ведь и в школе рассказывали эти правила, и в книгах Вы не встретите написания «выйграть». Допускаю, что в Вашей семье / окружении принято писать именно так. Но штука в том, что, получается, Вы отвергаете то, что не вписывается в Вашу привычную картину мира.
И о какой квантовой физике Вы берётесь рассуждать? Не смешите публику.
У Вас мозги под науку не заточены, извините.
Вместо того, чтобы выяснить, откуда берётся несоответствие между реальностью и Вашим её видением, Вы разобиделись лично на меня, бормоча невнятные кармические угрозы…
Так доступнее?
Правила русского языка не сложнее квантовой физики.
Вам ведь и в школе рассказывали эти правила, и в книгах Вы не встретите написания «выйграть». Допускаю, что в Вашей семье / окружении принято писать именно так. Но штука в том, что, получается, Вы отвергаете то, что не вписывается в Вашу привычную картину мира.
И о какой квантовой физике Вы берётесь рассуждать? Не смешите публику.
У Вас мозги под науку не заточены, извините.
Вместо того, чтобы выяснить, откуда берётся несоответствие между реальностью и Вашим её видением, Вы разобиделись лично на меня, бормоча невнятные кармические угрозы…
Так доступнее?
Такое ощущение, будто бы пьяный друг в баре пытается пересказать тебе прочитанную статью из Википедии: вроде бы все термины знакомы, но ни хрена не понятно.
Так случается когда переводчик сам не понимает что переводит.
И да, линии соединяющие вершины графа называются ребрами. Грани графа – это области на плоскости, ограниченные ребрами планарного графа.
Так случается когда переводчик сам не понимает что переводит.
И да, линии соединяющие вершины графа называются ребрами. Грани графа – это области на плоскости, ограниченные ребрами планарного графа.
«Лично я — не математик. Я не очень хорошо понимают исходную формулировку гипотезы Конна», — говорит Ананд Натараджан.
Автор, добавьте в статью опрос: «Я прочитал и полностью понял все нюансы описанного.» С двумя ответами: «Да», «Нет». Вычислим, какой на Хабре % врунишек. :)
В дополнение можно это почитать, на мой взгляд, более понятно изложено.
Рассмотрим простой пример. Предположим, некто (верификатор) страдает цветовой слепотой. Кто-то другой (доказыватель) утверждает, что два шарика окрашены в разные цвета и ничем больше друг от друга не отличаются. Верификатор не может сам проверить это утверждение. Но, умно построив допрос, он, всё же, может узнать, так ли это на самом деле.
Для этого можно спрятать шарики за спиной и перемешать их. А потом — спросить доказывателя о том, в какой руке находится какой шарик. Если они и правда разные — доказыватель должен всегда отвечать на подобный вопрос правильно. А если же они имеют один и тот же цвет, то есть — выглядят совершенно одинаково, половина ответов доказывателя окажется неправильной.
И как верификатор проверит ответы?
Так элементарно же. Верификатор в уме нумерует шарики (№1, №2). Затем прячет их за спиной, и начинает показывать доказывателю в произвольном порядке. Доказыватель называет цвета.
Если шарики действительно разного цвета, доказыватель всегда будет говорить, что шарик №1 имеет цвет №1, а шарик №2 — цвет №2. Если же доказыватель изначально обманул, и шарики фактически одного цвета, то он вынужден будет называть цвета показываемых верификатором шариков произвольно. Доказыватель ведь не знает, какой конкретно шарик верификатор достал из-за спины — №1 или №2. Соответственно верификатор, видя, что один и тот же предъявляемый шарик (№1 или №2) называется то цветом №1, то цветом №2, понимает, что его обманули.
Если шарики действительно разного цвета, доказыватель всегда будет говорить, что шарик №1 имеет цвет №1, а шарик №2 — цвет №2. Если же доказыватель изначально обманул, и шарики фактически одного цвета, то он вынужден будет называть цвета показываемых верификатором шариков произвольно. Доказыватель ведь не знает, какой конкретно шарик верификатор достал из-за спины — №1 или №2. Соответственно верификатор, видя, что один и тот же предъявляемый шарик (№1 или №2) называется то цветом №1, то цветом №2, понимает, что его обманули.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
MIP* = RE: эпохальное доказательство из сферы компьютерной науки, которое вызвало эффект домино в физике и математике