AssertMeasurement 작업

  • 아티클

경고

이 설명서는 최신 QDK로 대체된 클래식 QDK를 참조합니다.

최신 QDK에 대한 API 설명서는 를 참조 https://aka.ms/qdk.api 하세요.

네임스페이스: Microsoft.Quantum.Diagnostics

패키지: Microsoft.Quantum.QSharp.Foundation

지정된 Pauli 기준으로 지정된 큐비트를 측정하면 항상 지정된 결과가 있다고 어설션합니다.

operation AssertMeasurement (bases : Pauli[], qubits : Qubit[], result : Result, msg : String) : Unit is Adj + Ctl

입력

bases: Pauli[]

다중 큐비트 Pauli 연산자로 표현되는 의 확률을 어설션하는 측정 효과입니다.

qubits: Qubit[]

어설션을 만들 레지스터입니다.

result: Result

의 예상 결과입니다 Measure(bases, qubits).

msg: String

어설션이 실패할 경우 보고할 메시지입니다.

출력: 단위

예제

다음 코드 조각은 전체 상태 시뮬레이터에서 오류 없이 실행됩니다.

use q = Qubit();
within {
    H(q);
} apply {
    AssertMeasurement([PauliX], [q], Zero, "Expected |+⟩ state.");
}

설명

이 작업의 Adjoint 및 제어된 버전은 조건을 검사 않습니다.

참고 항목