Finding codes on infinite grids automatically

Ville Salo,Ilkka Törmä
2024-07-09
Abstract:We apply automata theory and Karp's minimum mean weight cycle algorithm to minimum density problems in coding theory. Using this method, we find the new upper bound $53/126 \approx 0.4206$ for the minimum density of an identifying code on the infinite hexagonal grid, down from the previous record of $3/7 \approx 0.4286$.
Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory,Dynamical Systems
What problem does this paper attempt to address?