gZdZddlmZddlmZmZmZmZddlm Z ddl m Z er ddl mZddlmZe jjGdd e Zd S) zPhase Oracle object.) annotations)UnionCallableOptional TYPE_CHECKING)QuantumCircuit) optionalsBooleanExpressionClassicalElementcJeZdZdZ ddfd ZddZeddZxZS) PhaseOraclea]Phase Oracle. The Phase Oracle object constructs circuits for any arbitrary input logical expressions. A logical expression is composed of logical operators `&` (`AND`), `|` (`OR`), `~` (`NOT`), and `^` (`XOR`). as well as symbols for literals (variables). For example, `'a & b'`, and `(v0 | ~v1) & (~v2 & v3)` are both valid string representation of boolean logical expressions. For convenience, this oracle, in addition to parsing arbitrary logical expressions, also supports input strings in the `DIMACS CNF format `__, which is the standard format for specifying SATisfiability (SAT) problem instances in `Conjunctive Normal Form (CNF) `__, which is a conjunction of one or more clauses, where a clause is a disjunction of one or more literals. See :meth:`qiskit.circuit.library.phase_oracle.PhaseOracle.from_dimacs_file`. From 16 variables on, possible performance issues should be expected when using the default synthesizer. N expressionUnion[str, ClassicalElement] synthesizer7Optional[Callable[[BooleanExpression], QuantumCircuit]] var_orderlistreturnNonecddl}|5|dtddlm}ddlm}t||s |||}||_ |d}| |}t |j d ||d d ddddS#1swxYwYdS)aCreates a PhaseOracle object Args: expression: A Python-like boolean expression. synthesizer: Optional. A function to convert a BooleanExpression into a QuantumCircuit If None is provided, Tweedledum's `pkrm_synth` with `phase_esop` will be used. var_order(list): A list with the order in which variables will be created. (default: by appearance) rNignorer r )rcddlm}ddlm}|jd}||dddii}||S)Nr) pkrm_synth)tweedledum2qiskit) output_bitr phase_esopT)tweedledum.synthesisr&qiskit.circuit.classicalfunction.utilsr_tweedledum_bool_expression truth_table)boolean_expressionrrr"tweedledum_circuits Y/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/library/phase_oracle.pyrz)PhaseOracle.__init__..synthesizerQs~??????XXXXXX"4"P"\"\#$#]##K*4#l\44H%I**&-,-?@@@)rz Phase Oracle)nameTF)inplacecopy)warningscatch_warnings simplefilterDeprecationWarning3qiskit.circuit.classicalfunction.boolean_expressionr 2qiskit.circuit.classicalfunction.classical_elementr isinstancer#synthsuper__init__ num_qubitscompose) selfrrrr*r r oracle __class__s r%r3zPhaseOracle.__init__3sX   $ $ & & ; ;  ! !(,> ? ? ? ] ] ] ] ] ] [ [ [ [ [ [j*:;; P..zYOOO &0D #" A A A %%+%>>F GG  V.^  D D D LLEL : : :9 ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;sB'CCC bitstringstrboolcH|j|dddS)adEvaluate the oracle on a bitstring. This evaluation is done classically without any quantum circuit. Args: bitstring: The bitstring for which to evaluate. The input bitstring is expected to be in little-endian order. Returns: True if the bitstring is a good state, False otherwise. N)r#simulate)r6r9s r%evaluate_bitstringzPhaseOracle.evaluate_bitstringcs%&// $$B$@@@r&filenamecDddlm}|j|}||S)aCreate a PhaseOracle from the string in the DIMACS format. It is possible to build a PhaseOracle from a file in `DIMACS CNF format `__, which is the standard format for specifying SATisfiability (SAT) problem instances in `Conjunctive Normal Form (CNF) `__, which is a conjunction of one or more clauses, where a clause is a disjunction of one or more literals. The following is an example of a CNF expressed in the DIMACS format: .. code:: text c DIMACS CNF file with 3 satisfying assignments: 1 -2 3, -1 -2 -3, 1 2 -3. p cnf 3 5 -1 -2 -3 0 1 -2 3 0 1 2 -3 0 1 -2 -3 0 -1 2 3 0 The first line, following the `c` character, is a comment. The second line specifies that the CNF is over three boolean variables --- let us call them :math:`x_1, x_2, x_3`, and contains five clauses. The five clauses, listed afterwards, are implicitly joined by the logical `AND` operator, :math:`\land`, while the variables in each clause, represented by their indices, are implicitly disjoined by the logical `OR` operator, :math:`lor`. The :math:`-` symbol preceding a boolean variable index corresponds to the logical `NOT` operator, :math:`lnot`. Character `0` (zero) marks the end of each clause. Essentially, the code above corresponds to the following CNF: :math:`(\lnot x_1 \lor \lnot x_2 \lor \lnot x_3) \land (x_1 \lor \lnot x_2 \lor x_3) \land (x_1 \lor x_2 \lor \lnot x_3) \land (x_1 \lor \lnot x_2 \lor \lnot x_3) \land (\lnot x_1 \lor x_2 \lor x_3)`. Args: filename: A file in DIMACS format. Returns: PhaseOracle: A quantum circuit with a phase oracle. rr )r.r from_dimacs_file)clsr@r exprs r%rBzPhaseOracle.from_dimacs_fileps9Z ZYYYYY1 1(;;s4yyr&)NN)rrrrrrrr)r9r:rr;)r@r:) __name__ __module__ __qualname____doc__r3r? classmethodrB __classcell__)r8s@r%rrs0PT .;.;.;.;.;.;.;` A A A A///[/////r&rN)rH __future__rtypingrrrrqiskit.circuitr qiskit.utilsr _optionalsr.r r/r HAS_TWEEDLEDUMrequire_in_instancerr&r%rSs#""""";;;;;;;;;;;;))))))000000TUUUUUUSSSSSS .CCCCC.CC/.CCCr&