arXiv++ Combinatorics

For each pair of positive integers $(a,b)$ such that $a \geq 0$ and $b > 1$, the present paper provides a necessary and sufficient condition for the existence of Hamiltonian cycles visiting all the vertices of any $k$-dimensional grid $\{0,1\}^k \subset \mathbb{R}^k$ and whose associated Euclidean distance is equal to $\sqrt{a^2+b^2}$. Our solution extends previously stated results in fairy chess on the existence of closed Euclidean $(a,b)$-leapers tours for $2 \times 2 \times \cdots \times 2$ chessboards, where the (Euclidean) knight identifies the $(1,2)$-leaper.

Given the finite set of $n_1 \cdot n_2 \cdot \ldots \cdot n_k$ points $G_{n_1,n_2,\ldots,n_k} \subset \mathbb{R}^k$ such that $n_k \geq \cdots \geq n_2 \geq n_1 \in \mathbb{Z}^+$, we introduce a new algorithm, called M$Λ$I, which returns an uncrossing covering path inside the minimum axis-aligned bounding box $[0,n_1-1] \times [0,n_2-1] \times \cdots \times [0,n_k-1]$, consisting of $3 \cdot \prod_{i=1}^{k-1} n_i-2$ links of prescribed length $n_k-1$ units. Thus, for any $n_k \geq 3$, the link length of the covering path provided by our M$Λ$I-algorithm is smaller than the cardinality of the set $G_{n_1,n_2,\ldots,n_k}$. Furthermore, assuming $k>2$, we present an uncrossing covering path for $G_{3,3,\ldots,3}$, consisting of $20 \cdot 3^{k-3}-2$ straight-line edges that are $2$ units long each, which is constrained by the axis-aligned bounding box $\left[0,4-\sqrt{3}\right] \times \left[0,4-\sqrt{3}\right] \times [0, 2]^{k-2}$.

The Knight's Tour problem consists of finding a Hamiltonian path for the knight on a given set of points so that the knight can visit exactly once every vertex of the mentioned set. In the present paper, we provide a $5$-dimensional alternative to the well-known statement that it is not ever possible for a knight to visit once every vertex of $C(3,k) := \{0,1,2\}^k$ by performing a sequence of $3^k-1$ jumps of standard length, since the most accurate answer to the original question actually depends on which mathematical assumptions we are making at the beginning of the game, when we decide to extend a planar chess piece to the third dimension and above. Our counterintuitive outcome follows from the observation that we can alternatively define a $2$D knight as a piece that moves from one square to another on the chessboard by covering a fixed Euclidean distance of $\sqrt{5}$ so that also the statement of Theorem~3 in [Erde, J., Gol{é}nia, B., \& Gol{é}nia, S. (2012), The closed knight tour problem in higher dimensions, The Electronic Journal of Combinatorics, 19(4), \#P9] does not hold anymore for such a Euclidean knight, as long as a $2 \times 2 \times \cdots \times 2$ chessboard with at least $2^6$ cells is given. Moreover, we show a classical closed knight's tour on $C(3,4)-\{(1,1,1,1)\}$ whose arrival is at a distance of $2$ from $(1,1,1,1)$, and we finally construct closed Euclidean knight's tours on $\{0,1\}^k$ for each integer $k \geq 6$.

We solve the general problem of visiting all the $2^k$ nodes of a $k$-dimensional hypercube by using a polygonal chain that has minimum link-length, and we show that this optimal value is given by $h(2,k):=3 \cdot 2^{k-2}$ if and only if $k \in \mathbb{N}-\{0,1\}$. Furthermore, for any $k$ above one, we constructively prove that it is possible to visit once and only once all the aforementioned nodes, $H(2,k):=\{\{0,1\} \times \{0,1\} \times \dots \times \{0,1\}\} \subset \mathbb{R}^k$, with a cycle (i.e., a closed path) having only $3 \cdot 2^{k-2}$ links.

Given any $n \in \mathbb{Z}^{+}$, we constructively prove the existence of covering paths and circuits in the plane which are characterized by the same link length of the minimum-link covering trails for the two-dimensional grid $G_n^2 := \{0,1, \ldots, n-1\} \times \{0, 1, \ldots, n-1\}$. Furthermore, we introduce a general algorithm that returns a covering cycle of analogous link length for any even value of $n$. Finally, we provide the tight upper bound $n^2 - 3 + 5 \cdot \sqrt{2}$ units for the minimum total distance travelled to visit all the nodes of $G_n^2$ with a minimum-link trail (i.e., a trail with $2 \cdot n - 2$ edges if $n$ is above two).