Search papers, labs, and topics across Lattice.
This paper explores a quantum search algorithm, based on Grover's algorithm, for solving magic square construction problems. They use classical pre-processing to reduce the search space before applying a quantum oracle to identify valid magic square configurations. Benchmarking against classical brute-force and backtracking methods on small instances confirms the expected quadratic speedup of the quantum approach, demonstrating the feasibility of using quantum search for constraint satisfaction.
Quantum search, even with classical pre-processing, can demonstrably outperform classical brute-force methods for constraint satisfaction problems like magic square construction, offering a glimpse into the potential of hybrid quantum-classical algorithms.
This paper presents a quantum search approach to combinatorial constraint satisfaction problems, demonstrated through the generation of magic squares. We reformulate magic square construction as a quantum search problem in which a reversible, constraint-sensitive oracle marks valid configurations for amplitude amplification via Grover's algorithm. Classical pre-processing using the Siamese construction and partial constraint checks generates a compact candidate domain before quantum encoding. Rather than integrating classical and quantum solvers in an iterative loop, this work uses the classical component for structured initialisation and the quantum component for search, and benchmarks the quantum approach against classical brute-force enumeration and backtracking. Our Qiskit implementation demonstrates the design of multi-register modular arithmetic circuits, oracle logic, and diffusion operators. Experiments are conducted on small grid instances, as larger grids are intractable on classical statevector simulators due to exponential memory growth. The results validate the correctness of the proposed quantum search pipeline and confirm the theoretical quadratic query advantage over classical search.
