Henry Siegel | Searcharxiv

arXiv2026

The Optimal Knight Exchange Puzzle is NP-Hard

This paper explores the hardness of two popular recreational chess puzzles: The Knight's Tour and the Knight Exchange (Swap). The problem of finding a Knight's Tour is known to be NP-hard for any chessboard with holes and constant-time decidable for rectangular chessboards, so a natural direction is to explore the hardness of the problem for intermediate chessboard restrictions. In this paper, we show that Knight's Tour is NP-hard for connected boards. We also give a short polynomial-time reduction between the two problems, showing that the optimality version of Knight Exchange is NP-hard.

cs.DM↗

arXiv2023

Embedding dimension gaps in sparse codes

We study the open and closed embedding dimensions of a convex 3-sparse code $\mathcal{FP}$, which records the intersection pattern of lines in the Fano plane. We show that the closed embedding dimension of $\mathcal{FP}$ is three, and the open embedding dimension is between four and six, providing the first example of a 3-sparse code with closed embedding dimension three and differing open and closed embedding dimensions. We also investigate codes whose canonical form is quadratic, i.e. ``degree two" codes. We show that such codes are realizable by axis-parallel boxes, generalizing a recent result of Zhou on inductively pierced codes. We pose several open questions regarding sparse and low-degree codes. In particular, we conjecture that the open embedding dimension of certain 3-sparse codes derived from Steiner triple systems grows to infinity.

math.CO↗