Explicação primeiro caso de teste:
\newline
A menor sequência de movimentos tem comprimento \(5\). Uma possível sequência de estados é mostrada abaixo:
\newline
\[
\begin{aligned}
&\begin{bmatrix}4&1&2\\5&0&3\end{bmatrix}\to
\begin{bmatrix}4&1&2\\0&5&3\end{bmatrix}\to
\begin{bmatrix}0&1&2\\4&5&3\end{bmatrix}\to\\
&\begin{bmatrix}1&0&2\\4&5&3\end{bmatrix}\to
\begin{bmatrix}1&2&0\\4&5&3\end{bmatrix}\to
\begin{bmatrix}1&2&3\\4&5&0\end{bmatrix}.
\end{aligned}
\]
\newline
Explicação segundo caso de teste:
\newline
É possível provar que nenhuma sequência de estados irá atingir a configuração desejada. Resultado: \(-1\).