def test_exactcover_vqe(self):
algorithm_cfg = {
'name': 'VQE',
'operator_mode': 'matrix',
'max_evals_grouped': 2
}
optimizer_cfg = {'name': 'COBYLA'}
var_form_cfg = {'name': 'RYRZ', 'depth': 5}
params = {
'problem': {
'name': 'ising',
'random_seed': 10598
},
'algorithm': algorithm_cfg,
'optimizer': optimizer_cfg,
'variational_form': var_form_cfg
}
backend = BasicAer.get_backend('statevector_simulator')
result = run_algorithm(params, self.algo_input, backend=backend)
x = exactcover.sample_most_likely(len(self.list_of_subsets),
result['eigvecs'][0])
ising_sol = exactcover.get_solution(x)
oracle = self.brute_force()
self.assertEqual(
exactcover.check_solution_satisfiability(ising_sol,
self.list_of_subsets),
oracle)
def test_exactcover_direct(self):
algo = ExactEigensolver(self.algo_input.qubit_op,
k=1,
aux_operators=[])
result = algo.run()
x = exactcover.sample_most_likely(len(self.list_of_subsets),
result['eigvecs'][0])
ising_sol = exactcover.get_solution(x)
np.testing.assert_array_equal(ising_sol, [0, 1, 1, 0])
oracle = self.brute_force()
self.assertEqual(
exactcover.check_solution_satisfiability(ising_sol,
self.list_of_subsets),
oracle)
def test_exactcover(self):
params = {
'problem': {
'name': 'ising'
},
'algorithm': {
'name': 'ExactEigensolver'
}
}
result = run_algorithm(params, self.algo_input)
x = exactcover.sample_most_likely(len(self.list_of_subsets),
result['eigvecs'][0])
ising_sol = exactcover.get_solution(x)
np.testing.assert_array_equal(ising_sol, [0, 1, 1, 0])
oracle = self.brute_force()
self.assertEqual(
exactcover.check_solution_satisfiability(ising_sol,
self.list_of_subsets),
oracle)