№ 1615Квантовая теория информацииУровень 2

Три локальных измерения в квантовой игре GHZ

Напишите на языке Q# квантовые стратегии всех трёх игроков — Алисы, Боба и Чарли. В источнике они проверяются одним тестом, поэтому реализовать нужно все три.

Вход каждой операции — собственный начальный бит игрока (соответственно $R,S,T$) и его кубит заранее разделённой запутанной тройки.

Измерьте кубит в базисе $Z$ при входном бите false и в базисе $X$ при true. Верните результат как Bool. Конечное состояние кубита неважно.

Контекст того же урока: тройка находится в

$$|\Phi\rangle=\frac{|000\rangle-|011\rangle-|101\rangle-|110\rangle}{2},$$

входы — 000,011,101,110, а победа означает $R\lor S\lor T=A\oplus B\oplus C$. Zero кодируется false, One — true.

Заготовка Q#:

namespace Kata {
    operation AliceQuantum (bit : Bool, qubit : Qubit) : Bool {
        // Implement your solution here...

        return false;
    }

    operation BobQuantum (bit : Bool, qubit : Qubit) : Bool {
        // Implement your solution here...

        return false;
    }

    operation CharlieQuantum (bit : Bool, qubit : Qubit) : Bool {
        // Implement your solution here...

        return false;
    }
}