3sat example added

Author: mrtkp9993

README.md

@@ -44,19 +44,19 @@ Scheme for `n=3`:
 
 > Task. Transmit two bits of classical information between Alice and Bob using only one qubit.
 
-![Superdense Coding](./circuit_diagrams/e1_superdense_coding.png)
+![Superdense Coding](./circuit_diagrams/a1_superdense_coding.png)
 
 ### Quantum Teleportation
 
 > Task. Alice would like to send Bob a qubit that is in some unknown state.
 
-![Quantum Teleportation](./circuit_diagrams/e2_quantum_teleportation.png)
+![Quantum Teleportation](./circuit_diagrams/a2_quantum_teleportation.png)
 
 ### Quantum Phase Estimation
 
 > Problem. Given an unitary operator U, estimate θ in U|ψ>=exp(2πiθ)|ψ>.
 
-![Quantum Phase Estimation](./circuit_diagrams/e3_quantum_phase_estimation.png)
+![Quantum Phase Estimation](./circuit_diagrams/a3_quantum_phase_estimation.png)
 
 ### Grover's Algorithm
 

e1_superdense_coding.py renamed to a1_superdense_coding.py

@@ -0,0 +1,23 @@
+import numpy as np
+from qiskit import BasicAer
+from qiskit.aqua import QuantumInstance, run_algorithm
+from qiskit.aqua.algorithms import Grover
+from qiskit.aqua.components.oracles import LogicalExpressionOracle, TruthTableOracle
+
+input_3sat = '''
+c example DIMACS-CNF 3-SAT
+p cnf 3 5
+-1 -2 -3 0
+1 -2 3 0
+1 2 -3 0
+1 -2 -3 0
+-1 2 3 0
+'''
+
+oracle = LogicalExpressionOracle(input_3sat)
+grover = Grover(oracle)
+
+backend = BasicAer.get_backend('qasm_simulator')
+quantum_instance = QuantumInstance(backend, shots=1024)
+result = grover.run(quantum_instance)
+print(result['measurement'])