TY - JOUR A1 - Sánchez Rubio, Francisco Jesús T1 - Solving logical equations using quantum computing and its application to graph colouring Y1 - 2022 UR - http://hdl.handle.net/10317/11634 AB - La principal motivación tras la realización de este trabajo es mostrar la posible utilidad del empleo de la computación cuántica a la hora de enfrentar problemas de resolución de ecuaciones lógicas. Para ello se plantea resolver un caso particular de problemas, que en este caso será el coloreado de grafos, puesto que debido a la naturaleza NP-Completa tanto del problema de resolución de ecuaciones lógicas como del coloreado de grafos resulta interesante investigar las prestaciones de los algoritmos cuánticos a la hora de enfrentar problemas de esta naturaleza KW - Lenguajes y Sistemas Informáticos KW - Ecuaciones KW - Equations KW - 1206.02 Ecuaciones Diferenciales KW - 1202.08 Ecuaciones Funcionales KW - 1206.09 Ecuaciones Lineales KW - 1206.05 Ecuaciones Integrales KW - 1202.07 Ecuaciones en Diferencias LA - spa ER -