g0dZddlmZddlZddlmZddlmZddlm Z m Z m Z ddl m Z ddlmZd d lmZGd d e ZGd deZGdde ZdS)z'Multiple-Control, Multiple-Target Gate.) annotationsN)Callable)circuit)ControlledGateGateQuantumCircuit)_ctrl_state_to_int)deprecate_func)get_standard_gate_name_mappingc|eZdZdZedddfd Zd ZedZdfd Z dddZ xZ S)MCMTuThe multi-controlled multi-target gate, for an arbitrary singly controlled target gate. For example, the H gate controlled on 3 qubits and acting on 2 target qubit is represented as: .. code-block:: text ───■──── │ ───■──── │ ───■──── ┌──┴───┐ ┤0 ├ │ 2-H │ ┤1 ├ └──────┘ This default implementations requires no ancilla qubits, by broadcasting the target gate to the number of target qubits and using Qiskit's generic control routine to control the broadcasted target on the control qubits. If ancilla qubits are available, a more efficient variant using the so-called V-chain decomposition can be used. This is implemented in :class:`~qiskit.circuit.library.MCMTVChain`. 1.4zUse MCMTGate instead.sinceadditional_msggateTGate | Callable[[QuantumCircuit, circuit.Qubit, circuit.Qubit], circuit.Instruction]num_ctrl_qubitsintnum_target_qubitsreturnNonec|dks|dkrtdt|r$tjdtd|j}nEt |tr0tjdtd|}t ||_ ||_ ||_ ||z|jz}t|d|d S) aKCreate a new multi-control multi-target gate. Args: gate: The gate to be applied controlled on the control qubits and applied to the target qubits. Can be either a Gate or a circuit method. If it is a callable, it will be casted to a Gate. num_ctrl_qubits: The number of control qubits. num_target_qubits: The number of target qubits. Raises: AttributeError: If the gate cannot be casted to a controlled gate. AttributeError: If the number of controls or targets is 0. rz/Need at least one control and one target qubit.zPassing a callable to MCMT is pending deprecation since Qiskit 1.3. Pass a gate instance or the gate name instead, e.g. pass 'h' instead of QuantumCircuit.h.r category stacklevelzPassing a QuantumCircuit is pending deprecation since Qiskit 1.3. Pass a gate or turn the circuit into a gate using the ``to_gate`` method, instead.mcmt)nameN)AttributeErrorcallablewarningswarnDeprecationWarning__name__ isinstancerto_gateMCMTGate_identify_base_gaterrrnum_ancilla_qubitssuper__init___build)selfrrr num_qubits __class__s c/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/library/generalized_gates/mcmt.pyr,z MCMT.__init__4s( a  #4#9#9 !RSS S D>> " Me+      =DD n - - " MY+      <<>>D0066 .!2%'884;RR  &111 c|t|j|j|j}|||jdSN)r(rrrappendqubits)r.rs r1r-z MCMT._buildes7 4#79OPP D$+&&&&&r2cdS)zReturn the number of ancillas.rr.s r1r*zMCMT.num_ancilla_qubitsis qr2NFc|s&|$t|j|j|z|j}n%t ||||}|S)2Return the controlled version of the MCMT circuit.N annotated)rrrrr+control)r.rlabel ctrl_stater>rr0s r1r?z MCMT.controlnsT \Z/ 4#7/#I4KabbDD77???E:QZ?[[D r2r>boolcBt|j|j|jS)z1Return the inverse MCMT circuit, which is itself.)rrrrr.r>s r1inversez MCMT.inversevsDIt3T5KLLLr2rrrrrrrrr:NNFFr>rB) r% __module__ __qualname____doc__r r,r-propertyr*r?rE __classcell__r0s@r1rrs0^%0GHHH.....IH.`'''XMMMMMMMMMr2rcpeZdZdZedddfd Zd ZedZdddZ xZ S) MCMTVChainu:The MCMT implementation using the CCX V-chain. This implementation requires ancillas but is decomposed into a much shallower circuit than the default implementation in :class:`~qiskit.circuit.library.MCMT`. **Expanded Circuit:** .. plot:: :alt: Diagram illustrating the previously described circuit. from qiskit.circuit.library import MCMTVChain, ZGate from qiskit.visualization.library import _generate_circuit_library_visualization circuit = MCMTVChain(ZGate(), 2, 2) _generate_circuit_library_visualization(circuit.decompose()) **Examples:** >>> from qiskit.circuit.library import HGate >>> MCMTVChain(HGate(), 3, 2).draw() q_0: ──■────────────────────────■── │ │ q_1: ──■────────────────────────■── │ │ q_2: ──┼────■──────────────■────┼── │ │ ┌───┐ │ │ q_3: ──┼────┼──┤ H ├───────┼────┼── │ │ └─┬─┘┌───┐ │ │ q_4: ──┼────┼────┼──┤ H ├──┼────┼── ┌─┴─┐ │ │ └─┬─┘ │ ┌─┴─┐ q_5: ┤ X ├──■────┼────┼────■──┤ X ├ └───┘┌─┴─┐ │ │ ┌─┴─┐└───┘ q_6: ─────┤ X ├──■────■──┤ X ├───── └───┘ └───┘ rz7Use MCMTGate with the V-chain synthesis plugin instead.rrrrrrrrcNt|||dSr4)r+r,)r.rrrr0s r1r,zMCMTVChain.__init__s( 0ABBBBBr2czddlm}||j|j|j}||dddS)Nr)synth_mcmt_vchainTF)inplacecopy)!qiskit.synthesis.multi_controlledrTrrrcompose)r.rT synthesizeds r1r-zMCMTVChain._buildsNGGGGGG'' 43GI_``  [$U ;;;;;r2c2td|jdz S)z-Return the number of ancilla qubits required.rr:)maxrr9s r1r*zMCMTVChain.num_ancilla_qubitss1d*Q.///r2Fr>rBcBt|j|j|jSr4)rQrrrrDs r1rEzMCMTVChain.inverses$)T%94;QRRRr2rFrHrI) r%rJrKrLr r,r-rMr*rErNrOs@r1rQrQ{s""H^PCCCCC C<<<00X0SSSSSSSSSr2rQc\eZdZdZ ddfd ZdZedZdfd ZdddZ xZ S)r(uAThe multi-controlled multi-target gate, for an arbitrary singly controlled target gate. For example, the H gate controlled on 3 qubits and acting on 2 target qubit is represented as: .. parsed-literal:: ───■──── │ ───■──── │ ───■──── ┌──┴───┐ ┤0 ├ │ 2-H │ ┤1 ├ └──────┘ Depending on the number of available auxiliary qubits, this operation can be synthesized using different methods. For example, if :math:`n - 1` clean auxiliary qubits are available (where :math:`n` is the number of control qubits), a V-chain decomposition can be used whose depth is linear in :math:`n`. See also :func:`.synth_mcmt_chain`. NrrrrrrAint | str | Noner@ str | Nonerrc 8|dkrtd|dkrtd||_||}||z}||d|j}t d|||j|||dS)a Args: gate: The base gate to apply on multiple target qubits, controlled by other qubits. This must be a single-qubit gate or a controlled single-qubit gate. num_ctrl_qubits: The number of control qubits. num_target_qubits: The number of target qubits. ctrl_state: The control state of the control qubits. Defaults to all closed controls. label: The gate label. r:zNeed at least one target qubit.z Need at least one control qubit.N-r) base_gater/paramsrrAr@) ValueErrorrr)r capitalizer+r,rc) r.rrrrAr@rbr/r0s r1r,zMCMTGate.__init__s" q >?? ? Q  ?@@ @!2,,T22 $'88 =(CC49+?+?+A+ACCE  !;+!      r2cVddlm}|||_dS)zSDefault definition relying on gate.control. Control state is handled by superclass.r)MCMTSynthesisDefaultN).qiskit.transpiler.passes.synthesis.hls_pluginsrgrun definition)r.rgs r1_definezMCMTGate._defines9 XWWWWW..0044T::r2c t|trNt}||vr ||}n3td|dt tjt|t r$tjdtd|j }n8t|tr|}n tdt|d|jdkrtd |jd|S) zAGet the control base gate. Note this must be a single qubit gate.z Unknown gate z . Available: zPassing a controlled gate to MCMT is pending deprecation since Qiskit 1.3. Pass a single-qubit gate instance or the gate name instead, e.g. pass 'h' instead of 'ch'.r rzInvalid gate type .r:z;MCMTGate requires a base gate with a single qubit, but got )r&strr r listkeysrr"r#r$rbr TypeErrortyper/rd)rstandard_gatesrbs r1r)zMCMTGate._identify_base_gates' dC  ;==N~%%%d+$dDddtd>>>?? ?  1 $ $eiNbeee r2r:Fc|sCt||}|j|z|z}t|j|j|z|j|}n%t ||||}|S)r<)rAr=)r rAr(rbrrr+r?)r.rr@rAr>new_ctrl_staterr0s r1r?zMCMTGate.control's \+JHHJ"o@JNN$6&) DD77???E:QZ?[[D r2r>rBcrt|j|j|j|jS)z Return the inverse MCMT circuit.)r(rbrErrrArDs r1rEzMCMTGate.inverse8s5 N " " $ $d&:Dr~sL.-""""""$$$$$$??????????444444333333;;;;;;]M]M]M]M]M>]M]M]M@>S>S>S>S>S>S>S>SB@ @ @ @ @ ~@ @ @ @ @ r2