gndZddlZddlmZddlZddlmZddlm Z ddl m Z ddl m Z mZd efd Zdd ed ejdefdZd edefdZdS)z:Utility functions for handling linear reversible circuits.N)Callable)QuantumCircuit) QiskitError) CircuitError)calc_inverse_matrixcheck_invertible_binary_matrixqcc0t|j|j|jdz}t |jD]\}|jjdkrtd|| t |j]|S)adTakes a circuit having only CX gates, and calculates its transpose. This is done by recursively replacing CX(i, j) with CX(j, i) in all instructions. Args: qc: a :class:`.QuantumCircuit` containing only CX gates. Returns: QuantumCircuit: the transposed circuit. Raises: CircuitError: if qc has a non-CX gate. _transpose)namecxz"The circuit contains non-CX gates.)qubits) rrclbitsr reverseddata operationr_appendreplace)r transposed_circ instructions c/granary/edev/quantum/lib/python3.11/site-packages/qiskit/synthesis/linear/linear_circuits_utils.pytranspose_cx_circrs%RY ,@VWWWO((ZZ  % - -CDD D 3 38KDV;W;W 3 X XYYYY Tfunctionmatoptimize_countcTt|std||}|}|}|d}t ddD]<}t j|}|dkr/t|}||}|}n|dkr/tj |}||}t|}nU|dkrOttj |}||}t|}|}|} |d} |r|| kp| o || ko|| k} | r|| kp |o || ko|| k} | s| r| }| }|}>|S)a[Get the best implementation of a circuit implementing a binary invertible matrix M, by considering all four options: M,M^(-1),M^T,M^(-1)^T. Optimizing either the CX count or the depth. Args: function: the synthesis function. mat: a binary invertible matrix. optimize_count: True if the number of CX gates in optimize, False if the depth is optimized. Returns: QuantumCircuit: an optimized :class:`.QuantumCircuit`, has the best depth or CX count of the four options. Raises: QiskitError: if mat is not an invertible matrix. zThe matrix is not invertible.rr) r rdepth count_opsrangecopydeepcopyrinversenp transposer) rrrr best_qc best_depth best_countimat_cpy new_depth new_count better_count better_depths roptimize_cx_4_optionsr3-s" *# . .;9::: #BGJ%J 1a[[-$$ 66)'22G'""BBB !VVl7++G'""B"2&&BB !VV)",w*?*?@@G'""B"2&&BBHHJJ LLNN4( &A: +A   U:#: UzI?U +*EzI/E  QzY6 Q: ;Q   < "J"JG NrreturncD|jD]}|jjdkr|jjdkrf||jdj}||jdj}t||z }|dkrdStddS)aRCheck that the synthesized circuit qc fits linear nearest neighbor connectivity. Args: qc: a :class:`.QuantumCircuit` containing only CX and single qubit gates. Returns: bool: True if the circuit has linear nearest neighbor connectivity. Raises: CircuitError: if qc has a non-CX two-qubit gate. rrrFz3The circuit has two-qubits gates different than CX.T) rr num_qubitsr find_bitrindexabsr)r rq0q1dists rcheck_lnn_connectivityr=jsw Z Z  +a / /$)T11[[!3A!677=[[!3A!677=27||199 55##XYYY 0 4r)T)__doc__r%typingrnumpyr(qiskit.circuitrqiskit.exceptionsrqiskit.circuit.exceptionsrrr rndarrayboolr3r=rrrHsA@ ))))))))))))222222AAAAAAAA.*::H:2::t::::z~$r