Difference between revisions of "Sixth row template problem"
(→...answering "Yes": -- setting the outline for dealing with remaining intrusions) |
|||
Line 142: | Line 142: | ||
[[category:theory]] | [[category:theory]] | ||
[[category:templates]] | [[category:templates]] | ||
− | {{ | + | {{expand}} |
Revision as of 09:39, 13 January 2009
As of January 2009 the following problem, initially stated by javerberg and wccanard in the LG forum, is still open:
Is there a one stone sixth row template that uses no stones higher than the sixth row?
More generally, it is still unknown whether one stone edge templates that use no cell higher than the initial stone) can be found for all heights. Such templates have been found for sizes up to 5 but none above. Answering with "No" to the former question answers the latter.
Contents
- 1 Description
- 2 Generalisation
- 3 Possible paths to answer
- 3.1 By "hand"...
- 3.1.1 ...answering "Yes"
- 3.1.1.1 One remaining intrusion on the first row
- 3.1.1.2 The other remaining intrusion on the first row
- 3.1.1.3 The remaining intrusion on the second row
- 3.1.1.4 The remaining intrusion on the third row
- 3.1.1.5 The remaining intrusion on the fourth row
- 3.1.1.6 The remaining intrusion on the fifth row
- 3.1.2 6th row template
- 3.1.3 ...answering "No"
- 3.1.1 ...answering "Yes"
- 3.2 Computer Aided demonstration ...
- 3.1 By "hand"...
- 4 See Also
- 5 External link
Description
Is there a number m such that the game on the board of width m designed as follows, with Blue's turn to play, is won by Red ?
Generalisation
The general problem of knowing if there is n such that there is no one stone edge template on the n^th row<math>n^th</math> is also referred to as the n-th row template problem.
Possible paths to answer
By "hand"...
...answering "Yes"
This would involve placing a stone on the 6th row of a sufficiently wide board, and showing how to always connect to the bottom. (Note this does not necessarily identify the minimal template needed.)
Here is a start. Just from edge template IV1a and edge template IV1b, Blue's first move must be one of the following:
Many of these moves will be easy to dismiss. Others will benefit from the Parallel ladder trick. Of course, symmetry will cut our work in half!
We can dispose of 3 moves on the left (and, using mirror symmetry, the corresponding 3 moves on the right), as follows:
At this point, we can use the Parallel ladder trick as follows:
Now, let's deal with the remaining intrusions!:
One remaining intrusion on the first row
The other remaining intrusion on the first row
The remaining intrusion on the second row
The remaining intrusion on the third row
The remaining intrusion on the fourth row
The remaining intrusion on the fifth row
6th row template
...answering "No"
This would involve showing how to connect (in the diagram above) the Blue stones to the right (plus Blue stones on the far right edge) to Blue stones on the left (plus Blue stones on the far left edge), no matter how wide the board is.
Computer Aided demonstration ...
... answering "Yes"
Such a proof would use the computer to find the template and it's carrier. Afterwards it should be easy to manually check that every Blue intrusion does not prevent Red from connecting to bottom.
... answering "No"
TODO
See Also
External link
- The thread were the names were associated.Template:Expand