A QUBO Formulation for the Generalized LinkedIn Queens and Takuzu/Tango Game
Alejandro Mata Ali, Edgar Mencia
TL;DR
The paper develops a unified QUBO approach to solve generalized N-Queens variants (including LinkedIn Queens) and Takuzu/Tango problems on boards of various shapes, sizes, and constraints. It defines modular QUBO terms for rows, columns, diagonals, and regions, and extends them to handle initial condition fixes, toroidal geometries, and long-distance constraints. Two new problems, Coloured Chess Piece and Max Chess Pieces, are introduced with corresponding QUBO formulations, alongside Tents & Trees and generalized TTP formulations. The work demonstrates that complex constraint systems can be expressed as a finite set of quadratic penalties, enabling execution on quantum annealers or QAOA and providing a foundation for hardware benchmarking and future algorithmic developments.
Abstract
In this paper, we present a QUBO formulation designed to solve a series of generalisations of the LinkedIn queens game, a version of the N-queens problem, for the Takuzu game (or Binairo), for the most recent LinkedIn game, Tango, and for its generalizations. We adapt this formulation for several particular cases of the problem, as Tents & Trees, by trying to optimise the number of variables and interactions, improving the possibility of applying it on quantum hardware by means of Quantum Annealing or the Quantum Approximated Optimization Algorithm (QAOA). We also present two new types of problems, the Coloured Chess Piece Problem and the Max Chess Pieces Problem, with their corresponding QUBO formulations.
