# Knight Moves

I recently came across a simple coding problem: What’s the fewest number of moves it would take to move a chess knight from any single point on an n by n board to any other point. The original problem asked to find a recursive solution, but that would take an unreasonable amount of time for large boards, and I was also in the unbounded board case. In this blog post I’ll walk you through two solutions for the problem, an `O(n)`

complexity iterative solution, and then an ** O(1)** mathematic solution.

## Working **O(1)** Demo

**Click on the coordinates below to edit them, and see the answer change before your eyes!**

If the knight is at (, ) and is heading to (, ), then the it would take the knight **0 move/s** to get to their destination.

Disclaimers: This demo assumes that the board is at least 5x5, and that the only corner location is at `(0, 0)`

. The numbers are limited by javascript’s number limit.

## Base Concept

*Animation showing distance 2 solutions*

First of all, let’s equip ourselves with some tools that we can use to tackle this problem. I’m going to split this up into two problems:

- How many moves does it take to a distance of 2 squares from the destination?
- Once getting to that square, how many moves will it take to get to the exact destination?

The second problem is very simple to answer. Note that there is a caveat that I will get back to later, but for now just go along with it. Anyways, it is simple to map the 6 unique squares within a distance of 2 from the destination to a number of knight moves.

- (0, 0) -> 0 moves (already at the destination)
- (1, 0) -> 3 moves
- (1, 1) -> 2 moves (or 4 moves if in corner)
- (2, 0) -> 2 moves
- (2, 1) -> 1 move
- (2, 2) -> 4 moves

See the **animation above** for a visual of the solutions, or the animation below showing the special case where the destination is at the corner and the knight starts in the (1, 1) square.

*Special corner case variant*

## Creating an **O(n)** Iterative Solution

Let’s start with a very simple iterative solution to implement the first problem—finding how many moves it would take to get to a distance of 2 squares from the destination.

First off, let’s pick a good representation of where the knight is relative to its destination. To get to a distance of 2, the absolute locations of the start and end points don’t matter, only their relative locations. This means that getting from (7, 6) to a distance of 2 from (2, 1) should take the same number of steps as getting from (5, 5) to a distance of 2 from (0, 0).

This can clearly be seen in the animations below (the pawn square represents a distance of 2).

In addition to the above translational symmetry, there is also a rotational symmetry. This can be seen below, with knights going from (1, 6) -> (8, 2), and the other going from (6, 1) -> (2, 8) (swapping the axes).

Furthermore, it is important to note that the relative distance from the destination that the knights end up in in both cases is similar, for the first two cases it ended up 2 units away in both the x and y location, and in the second set of positions it ended up 1 unit away in both x and y location. These symmetries can be exploited to simplify the code a bit.

The first symmetry allows us to disregard the absolute positions and only use the relative distances (\(\Delta x\) and \(\Delta y\)), such that:

The second symmetry can be exploited by treating the \(\Delta x\) the same as \(\Delta y\). For conveniences’ sake, I prefer that \(\Delta x >= \Delta y\), and I can freely swap the two without losing accuracy.

The final piece of the puzzle is realizing that in any possible position, the move that moves the knight closer to this square is the move where it jumps two spaces towards its greater displacement, and one space towards the smaller displacement. This means that if its displacement in x is greater than its displacement in y, it should make a larger jump in the x direction. Since we’re defining \(\Delta x\) to be \(>= \Delta y\), then it can always make jumps in the x direction, as long as we maintain that \(\Delta x >= \Delta y\) (by continually swapping).

This trivializes the solution to this:

Note how in every case the knight makes a legal move, either to \((\Delta x - 2, \Delta y - 1)\) or to \((\Delta x - 2, \Delta y + 1)\), where both are moving 2 units in one direction, and 1 unit in the other.

Now, we just need to implement the 6 initial positions that we solved before, and we’re done… right?

Well… not exactly.

Look at the below two diagrams in order to understand the possible error:

In the left diagram, the knight moves into the distance 2 square, and then uses the optimal solution for that point, resulting in 4 moves. However, as shown in the right diagram, if the knight had decided to enter the distance 2 square from another location, it would be able to reach the destination in just 2 moves. This also holds true for one of the other possible moves, shown below:

The top left diagram shows one possible situation where the (2, 2) move could be entered into, describing a path with 5 moves. However, similar to the last example, the top right diagram shows an optimal solution that avoids the (2, 2) point, taking 3 moves instead. This situation is a bit trickier, however, since there are two other unique situations that could lead to the (2, 2) point. However, as shown in the bottom two diagrams, the optimal moves for these two situations also conveniently take 3 moves.

What this means, in essence, is that any move that would lead into the (1, 0) or the (2, 2) squares from the outside could have picked a better path that would save it 2 moves in total. Therefore, unless the knight initially started in the (2, 2) or (1, 0) squares, if it landed in any of those two squares, you should *remove 2 moves from your count*.

With this in mind, let’s update our table:

- (0, 0) -> 0 moves (already at the destination)
- (1, 0) -> 3 moves,
**or only 1 move if not the first move** - (1, 1) -> 2 moves (or 4 moves if in corner)
- (2, 0) -> 2 moves
- (2, 1) -> 1 move
- (2, 2) -> 4 moves,
**or only 2 moves if not the first move**

While we’re at it, the whole (1, 1) corner conundrum can also be avoided if it isn’t the first move, see the below diagram:

As you can see, the first diagram heads into the (1, 1) square even though the destination is a corner, and it takes 5 moves. However, as you see from the right diagram, the knight could’ve picked another path that takes only 3 moves. Since this also saves 2 moves, the only situation where the (1, 1) spot effectively takes 4 moves instead of two is if the knight starts there in its first move. Therefore, the (1, 1) slot in the table can be amended as follows:

- (1, 1) -> 2 moves (or 4 moves if in corner
**and first move**)

This allows us to finally write a complete function that determines how many moves to add from the distance 2 square:

Note that the above function doesn’t handle the (1, 1) first move problem— since this function only takes \(\Delta x\) and \(\Delta y\), it doesn’t know the initial locations. Therefore, this problem must be addressed elsewhere.

If you understand all of the above, we’re now ready to solve the whole problem:

Feel free to copy the above code into a text editor and test it out for yourselves!

## Creating an **O(1)** Mathematical Solution

This solution uses the same line of approach as the last one, except that it overrides iteration by using some relatively simple mathematics. Note that the second phase (finding out how many moves it takes from the 5x5 square to the destination) is implemented in the same way.

First, let’s represent the knight moves with variables to be used in mathematics.

- \(\bf \Delta x\): The greater displacement component between start & end points
- \(\bf \Delta y\): The lesser displacement component
- \(\bf n_x\): The number of knight moves primarily in the \(\Delta x\) direction (moving 2 units towards \(\Delta x\) and 1 unit toward \(\Delta y\), like a knight)
- \(\bf n_y\): The number of knight moves in the \(\Delta y\) direction

Here is my proposal for solving the problem:

- Calculate the minimum \(n_y\) necessary
- Use that \(n_y\) to find the minimum \(n_x\) necessary
- Use the \(n_x\) and \(n_y\) values to find the position the knight will be at after moving
- Use the previous solutions’ algorithm to figure out how many moves to add to the end

To do this, we need to set up a series of inequalities. In the x direction, we know that after moving \(n_x\) moves in the x direction and \(n_y\) moves in the y (and x) direction, the \(\Delta x\) will be between 0 and 2. Since we know that it’s not possible to jump directly into the 0 point (0, 0), then we can exclude 0, so \(0 \lt \Delta x_f \le 2\).

Putting this in equation form, you get:

\[\Delta x_f = \Delta x - 2n_x - n_y\\0 \lt \Delta x - 2n_x - n_y \le 2\]In the y direction, however, it doesn’t necessarily need to move at all—think (100, 0). Its \(n_x\) will be large (49, to be exact), but its \(\Delta y_f\) won’t be -49. Since we don’t know its lower bound, the equation form looks like this:

\[\Delta y_f \ge \Delta y - 2n_y - n_x\\\Delta y - 2n_y - n_x \le 2\]Now, looking at our outline, we need to solve for the minimum possible \(n_y\).

\[\begin{align*} 0 \lt \Delta x - 2n_x - n_y &\le 2\\\\ \Delta y - 2n_y - n_x &\le 2 && \text{Let's solve for n_x}\\ \Delta y - 2n_y - 2 &\le n_x && \text{subtract 2 and add n_x}\\\\ 0 &\lt \Delta x - 2 \times (\Delta y - 2n_y - 2) - n_y && \text{substitute into 1st equation}\\ \Delta x - 2\Delta y + 4n_y + 4 -n_y &\gt 0 && \text{expand parentheses}\\ \Delta x - 2\Delta y + 3n_y &\gt -4 && \text{combine like terms}\\ 3n_y &\gt 2\Delta y - \Delta x - 4 && \text{isolate n_y}\\ n_y &\gt \frac{2\Delta y - \Delta x - 4}{3}\\ n_y &\gt \left\lfloor\frac{2\Delta y - \Delta x - 4}{3}\right\rfloor && \text{take floor to make into an integer}\\ n_y &\ge \left\lfloor\frac{2\Delta y - \Delta x - 4}{3}\right\rfloor + 1 && \text{add 1 and change inequality}\\ n_y &\ge \left\lfloor\frac{2\Delta y - \Delta x - 1}{3}\right\rfloor && \text{algebraic fiddling} \end{align*}\]Using a little bit of algebra, we managed to deduce that \(n_y \ge \left\lfloor\frac{2\Delta y - \Delta x - 1}{3}\right\rfloor\). This solves step 1, since the minimum \(n_y\) necessary is \(\left\lfloor\frac{2\Delta y - \Delta x - 1}{3}\right\rfloor\). Note that if the above value is negative, then \(n_y = 0\).

Now we want to use that value of \(n_y\) to find \(n_x\) in a similar algebraic fashion.

\[\begin{align*} 0 \lt \Delta x - 2n_x - n_y &\le 2 && \text{same equation as last time}\\ -2 \le -\Delta x + 2n_x + n_y &\lt 0 && \text{multiply by -1}\\ \Delta x - n_y - 2 \le 2n_x &\lt \Delta x - n_y && \text{isolate n_x}\\ \frac{\Delta x - n_y - 2}{2} \le n_x &\lt \frac{\Delta x - n_y}{2}\\ \frac{\Delta x - n_y - 2}{2} \le \frac{\Delta x - n_y - 1}{2} &\lt \frac{\Delta x - n_y}{2} && \text{insert expression that fits}\\ n_x &= \left\lfloor\frac{\Delta x - n_y - 1}{2}\right\rfloor && \text{use floor because ≤ on left side}\\ \end{align*}\]That wasn’t too bad! Now that we have both \(n_x\) and \(n_y\), the next step is to find the final position the knight will be in. That’s super simple!

\[\begin{align*} \Delta x_f &= \Delta x - 2n_x - n_y\\ \Delta y_f &= (\Delta y - 2n_y - n_x)\mod(2) && \text{the mathematical mod handles negative y values}\\ \end{align*}\]The last phase is already done for us from the iterative solution, so we can just combine them all together as so:

And that’s it! A relatively simple, mathematical solution for this problem! Feel free to test it out to your heart’s desire and let me know if you have any questions!

** But wait… there’s more…?**
If any of you decided to look at the source code for the

`O(1)`

demo above, you would notice that the algorithm over there looks a bit weird (and in javascript). Keep tuned for the next post, but as a teaser I’ll leave you with this different, fully working, `O(1)`

solution for the problem in python. See if you understand how it works!