Abstract:In 2022, Olivier Longuet, a French mathematics teacher, created a game called the \textit{calissons puzzle}. Given a triangular grid in a hexagon and some given edges of the grid, the problem is to find a calisson tiling such that no input edge is overlapped and calissons adjacent to an input edge have different orientations. We extend the puzzle to regions $R$ that are not necessarily hexagonal. The first interesting property of this puzzle is that, unlike the usual calisson or domino problems, it is solved neither by a maximal matching algorithm, nor by Thurston's algorithm. This raises the question of its complexity. We prove that if the region $R$ is finite and simply connected, then the puzzle can be solved by an algorithm that we call the \textit{advancing surface algorithm} and whose complexity is $O(|\partial R|^3)$ where $\partial R|$ is the size of the boundary of the region $R$. In the case where the region is the entire infinite triangular grid, we prove that the existence of a solution can be solved with an algorithm of complexity $O(|X|^3)$ where $X$ is the set of input edges. To prove these theorems, we revisit William Thurston's results on the calisson tilability of a region $R$. The solutions involve equivalence between calisson tilings, stepped surfaces and certain DAG cuts that avoid passing through a set of edges that we call \textit{unbreakable}. It allows us to generalize Thurston's theorem characterizing tilable regions by rewriting it in terms of descending paths or absorbing cycles. Thurston's algorithm appears as a distance calculation algorithm following Dijkstra's paradigm. The introduction of a set $X$ of interior edges introduces negative weights that force a Bellman-Ford strategy to be preferred. These results extend Thurston's legacy by using computer science structures and algorithms.

Escaping from a quadrant of the $6\times 6$ grid by edge disjoint paths

Grid dissections of tangential quadrilaterals

Walks avoiding a quadrant and the reflection principle

ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

Reconfiguration of labeled matchings in triangular grid graphs

The hamiltonian path graph is connected for simple s, t paths in rectangular grid graphs

Characterizations and Clique Coloring of Edge Intersection Graphs on a Triangular Grid

A Systematic Approach to Crossing Numbers of Cartesian Products with Paths

The Calissons Puzzle

Approximating the Longest Paths in Grid Graphs

On Graphs Coverable by [math] Shortest Paths

Walks with small steps in the quarter plane

Coloring Grids Avoiding Bicolored Paths

Combinatorial and Asymptotical Results on the Neighborhood Grid

Shortest polygonal chains covering each planar square grid

Large disks touching three sides of a quadrilateral

Separating the edges of a graph by a linear number of paths

Enumeration of crossings in two-step puzzles

Escape Quartered Theorem and the Connectivity of the Julia Sets of a Family of Rational Maps

Counting of Shortest Paths in Cubic Grid

Between Broadway and the Hudson: A Bijection of Corridor Paths