HoareOptimizer

class qiskit.transpiler.passes.HoareOptimizer(*args, **kwargs)

Hoare 로직 회로 최적화를 사용한 트랜스파일러 패스입니다. 이에 대한 자세한 내용은 에 자세히 설명되어 있습니다: https://arxiv.org/abs/1810.00375

매개변수

size (int) – 게이트 캐시 크기(게이트 수)

레이즈

MissingOptionalLibraryError – z3 솔버를 가져올 수 없는 경우

속성

패스가 분석 패스인지 확인합니다.

패스가 AnalysisPass, 인 경우 패스가 DAG를 분석하고 해당 분석 결과를 속성 집합에 쓸 수 있음을 의미합니다. 이러한 종류의 패스에서는 DAG에 대한 수정이 허용되지 않습니다.

패스가 변환 패스인지 확인합니다.

패스가 TransformationPass, 인 경우 패스가 DAG를 조작할 수는 있지만 속성 집합을 수정할 수는 없음을 의미합니다(단, 읽을 수는 있음).

execute(passmanager_ir, state, callback=None)

입력된 키스킷 IR에 대한 최적화 작업을 실행합니다.

매개변수

passmanager_ir (DAGCircuit) – 최적화할 Qiskit IR.
state (DAGCircuit) – 패스 관리자 자체에 의한 워크플로 실행과 관련된 상태.
callback (Callable[[Task, DAGCircuit, PropertySet, float, int], None] | None) – 최적화 작업이 실행될 때마다 호출되는 콜백 함수입니다.