RE: [math-fun] knight problems from Elkies and Stanley
-----Original Message----- From: Michael B Greenwald [mailto:mbgreen@central.cis.upenn.edu] Sent: Thursday, May 29, 2003 12:25 PM To: math-fun Cc: Andy Latto Subject: Re: [math-fun] knight problems from Elkies and Stanley
Thu, 29 May 2003 10:39:44 -0400 Andy Latto <Andy.Latto@gensym.com>
Like many proofs by contradiction, I find that this proof that there is no knight's tour on a 4xn chessboard hides a bit of what's really going on. Here's a more direct version of the same proof that I find more perspicuous.
Call the squares in the top and bottom rows of a 4xn board the "extreme" squares.
Since you can't get in one knight's move from one extreme square to another, the maximum density of extreme squares in a knight's tour is 50%, and this is only attained if every other square in the tour is extreme.
No; if the first and last moves of the tour are extreme, then you can have two non-extreme squares in a row somewhere in the middle. Those two moves allow you to "switch parity". If the two consecutive non-extreme squares are in the center of the tour, then you can (in theory) have a tour that first covers the black extreme squares, then switches parity and does the mirror image tour to cover the white extreme squares (and black non-extreme).
Right. Both the original proof and my reworking of it only prove the (true) statement that there is no closed knight's tour on a 4xn board, and not the (false) statement that there is no open knight's tour. An analysis of either proof shows that if there is an open knight's tour on a 4xn board, then exactly one link in the the tour connects two non-extreme squares, and that this must be the middle link of the tour. Andy Latto andy.latto@pobox.com
Thu, 29 May 2003 14:02:27 -0400 Andy Latto <Andy.Latto@gensym.com> Right. Both the original proof and my reworking of it only prove the (true) statement that there is no closed knight's tour on a 4xn board, and not the (false) statement that there is no open knight's tour. An analysis of either proof shows that if there is an open knight's tour on a 4xn board, then exactly one link in the the tour connects two non-extreme squares, and that this must be the middle link of the tour. Yes; sorry. I missed the open/closed tour distinction until after I sent my message and read the msg from Fred Helenius that pointed it out. Reentrant/closed tours rule out my counterexample because you can't have both first and last moves be extreme squares, given that you can't move from extreme to extreme in one move. One more example of why I shouldn't reply promptly to email.
participants (2)
-
Andy Latto -
Michael B Greenwald