Quantum Computing for solving the 3SAT problem by reduction to the MIS combinatorial optimization problem
Résumé
This work tries to anticipate the main issues related to the D-Wave machines topology for solving the 3Sat problem. The polynomial reduction to the Maximum Independent Set Problem (MIS) is employed for solving a 3Sat instance to furnish a less dense graph to the machine. These analog quantum machines, based on the quantum annealing process, takes a Quadratic Unconstrained Binary Optimization model (QUBO) as input, which is a specific mathematical program easy to build considering the MIS.
Origine | Fichiers produits par l'(les) auteur(s) |
---|