Difference between revisions of "Sixth row template problem"

From HexWiki
Jump to: navigation, search
(summarized LG's thread)
 
(Edited categories)
 
(23 intermediate revisions by 7 users not shown)
Line 1: Line 1:
As of January 2009 the following problem is still [[open problems|open]]. '''Javerberg-Wccanard Problem''' is simply put as follow.
+
In January 2009, it was an open problem, initially stated by javerberg and wccanard in the LG forum, whether there is a one stone sixth row [[edge template]] that uses no stones higher than the sixth row.
  
Is there any one stone sixth row [[template]] ?
+
The answer is "yes", and [[edge template VI1a]] is such a template.
  
It is still unknown whether one stone edge templates can be found for every heights. Such [[Edge templates with one stone|templates]] have been found for sizes up to 5 but none above. Answering with "No" to the former question answers the latter.
+
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 [[edge templates with one stone|templates]] have been found for sizes up to 6 but none above.
  
 
== Description ==
 
== Description ==
  
Is there a width n such that the game on the board of width n designed as follow with turn to Blue is won by Red ?
+
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?
  
 
<hex> R7 C11
 
<hex> R7 C11
Line 16: Line 16:
 
== Generalisation ==
 
== 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 '''Javerberg-Wccanard Problem'''.
+
The general problem of knowing if there is ''n'' such that there is no one stone edge template on the ''n''th row is also referred to as the ''n''th row template problem.
 +
 
 +
One of the way to prove if there is such an ''n'' is to prove if there is such ''n''−1 for which an (''n''−1)-row-template with one defender stone originally placed next to attacker stone in the same row. Of course if such template exists ''n''th-row-template is still not proven to exist.
 +
 
 +
Here is an example for ''n'' = 7
 +
<hex> R8 C11
 +
1:HHHHHVHHHHH
 +
2:+++++V+++++
 +
3:____HV_____
 +
</hex>
 +
 
 +
For now it seems like there is no solution for above example.
  
 
== Possible paths to answer ==
 
== Possible paths to answer ==
=== 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" ====
+
=== If the answer is "yes" ===
TODO
+
 
 +
This would involve placing a stone on the ''n''th row of a sufficiently wide board, and showing how to always connect to the bottom, either by hand or by computer. Note this does not necessarily identify the minimal template needed.
 +
 
 +
=== If the answer is "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.
  
 
== See Also ==
 
== See Also ==
Line 32: Line 45:
 
== External link ==
 
== External link ==
  
* The [http://www.littlegolem.net/jsp/forum/topic2.jsp?forum=50&topic=339 thread] were the names were associated.
+
* The [http://www.littlegolem.net/jsp/forum/topic2.jsp?forum=50&topic=339 Little Golem thread] where the names were associated.
  
[[category:theory]]
+
[[category: Edge templates]]
[[category:templates]]
+
[[category: Open problems]]
{{stub}}
+

Latest revision as of 21:45, 28 December 2020

In January 2009, it was an open problem, initially stated by javerberg and wccanard in the LG forum, whether there is a one stone sixth row edge template that uses no stones higher than the sixth row.

The answer is "yes", and edge template VI1a is such a template.

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 6 but none above.

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 nth row is also referred to as the nth row template problem.

One of the way to prove if there is such an n is to prove if there is such n−1 for which an (n−1)-row-template with one defender stone originally placed next to attacker stone in the same row. Of course if such template exists nth-row-template is still not proven to exist.

Here is an example for n = 7

For now it seems like there is no solution for above example.

Possible paths to answer

If the answer is "yes"

This would involve placing a stone on the nth row of a sufficiently wide board, and showing how to always connect to the bottom, either by hand or by computer. Note this does not necessarily identify the minimal template needed.

If the answer is "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.

See Also

External link