AssertQubit 작업
네임스페이스: Microsoft.Quantum.Diagnostics
패키지: Microsoft.Quantum.QSharp.Foundation
큐비트가 q
Pauli Z 연산자의 예상 고유 상태임을 어설션합니다.
operation AssertQubit (expected : Result, q : Qubit) : Unit is Adj + Ctl
입력
예상: 결과
큐비트가 있을 것으로 예상되는 상태( Zero
또는 One
)입니다.
q: 큐비트
상태가 어설션되는 큐비트입니다.
출력 : 단위
설명
AssertQubitIsInStateWithinTolerance 작업을 사용하면 $Z$ 고유 상태만 사용하는 것이 아니라 임의의 큐비트 상태를 어설션할 수 있습니다.
이 작업의 Adjoint 및 제어된 버전은 조건을 검사 않습니다.