Optimizaciones del oráculo de Grover mediante el uso de contadores para el problema del coloreado de grafos

Abstract

Este artículo estudia la implementación de oráculos para el algoritmo cuántico de Grover a partir de una estructura basada en contadores y su aplicación a problemas de satisfacibilidad lógica. Se analiza cómo esta estrategia puede mejorar la representación y el procesamiento en circuitos cuánticos en términos de reducción de recursos utilizados. Como caso de estudio, se aborda su aplicación particular en el coloreado de grafos. A través de ejemplos se describe la construcción del oráculo, su estructura interna basada en contadores y las condiciones de funcionamiento. Además, se compara la propuesta con otros enfoques existentes, examinando su eficiencia y esca-labilidad. El enfoque adoptado puede ser extrapolado a otros contextos distintos a la resolución de problemas de satisfacibilidad donde el uso de contadores puede redundar en una reducción del número de qubits y puertas cuánticas necesarias