4551
правка
Алгоритмическое охлаждение: различия между версиями
Материал из WEGA
м
→Основные положения
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 18: | Строка 18: | ||
Чтобы получить некоторое представление о конструкции логических вентилей, выполняющих манипуляции с энтропией, можно ознакомиться с близким к этому процессу сценарием, который впервые был рассмотрен фон Нейманом. Он показал метод извлечения честных подбрасываний монеты, если эта монета подделана; он предложил взять пару подбрасываний подделанной монеты с результатами a и b и использовать значение a, обусловленное a | Чтобы получить некоторое представление о конструкции логических вентилей, выполняющих манипуляции с энтропией, можно ознакомиться с близким к этому процессу сценарием, который впервые был рассмотрен фон Нейманом. Он показал метод извлечения честных подбрасываний монеты, если эта монета подделана; он предложил взять пару подбрасываний подделанной монеты с результатами <math>a</math> и <math>b</math> и использовать значение <math>a</math>, обусловленное <math>a \ne b</math>. Простой расчет показывает, что <math>a = 0</math> и <math>a = 1</math> теперь получаются с равными вероятностями, и поэтому энтропия монеты <math>a</math> увеличивается в этом случае до 1. Противоположный случай, распределение вероятности <math>a</math> при <math>a = b</math>, приводит к сильно детерминированному подбрасыванию монеты, а именно к подбрасыванию (обусловленному) с большей погрешностью или меньшей энтропией. Вентили, которые меняют на противоположное значение <math>b</math>, если (и только если) <math>a = 1</math>, называются вентилеями с контролируемым отрицанием. Если после применения такого вентиля получается <math>b = 1</math>, это означает, что до операции с вентилем имело место соотношение <math>a \ne b</math>, и теперь энтропия <math>a</math> равна 1. Если же после применения вентиля получается <math>b = 0</math>, это означает, что до операции с вентилем имело место <math>a = b</math>, и теперь энтропия <math>a</math> меньше своего первоначального значения. | ||
