Difference between revisions of "User:Selinger"

From HexWiki
Jump to: navigation, search
(Pasting text for a proposed article)
(Remarks: Caveat)
 
(69 intermediate revisions by 2 users not shown)
Line 1: Line 1:
== Proposed article: Hygiene ==
+
I have played Hex since early 2020, and I run the [[Hex clubs|Halifax Hex Club]]. I mostly use this user page for draft articles and other random bits and pieces that aren't yet ready to go into a real HexWiki article.
  
'''Hygiene''' refers to basic preventative measures that decrease the likelihood of bad things happening in the future. For example, hand washing decreases the likelihood of getting sick. Hygiene is not a reaction to a specific imminent threat, but a set of general-purpose good practices. In Hex, if a player can make a move that carries no cost or risk, but decreases the chance of something bad happening in the future, it is good hygiene to make the move.
+
= Proposed page: Eric's move =
  
== Examples ==
+
Eric's move is a trick that allows a player to make the best of a 3rd row [[ladder]] approaching an [[board|obtuse corner]]. It takes away the opponent's opportunity to get a 5th row ladder.
  
=== Acute corner example ===
+
The move is named after Eric Demer, who discovered it.
  
Consider the following situation, where Red has just played 1 to connect her group to the bottom edge.
+
== Example ==
<hexboard size="4x5"
+
 
   coords="none"
+
Consider the following situation, with Red's 3rd row ladder approaching from the right, and Red to move.
   edges="bottom right"
+
<hexboard size="5x8"
   contents="B c2 R d1 1:d2"
+
   coords="hide"
 +
   edges="bottom left"
 +
   contents="B e2 f2 g2 g4 R h2 R g3 B f4 R f3 B e4"/>
 +
There's not enough room for Red to [[ladder handling#Attacking|push]] one more time, as this will give Blue a 2nd row ladder:
 +
<hexboard size="5x8"
 +
  coords="hide"
 +
  edges="bottom left"
 +
  contents="B e2 f2 g2 g4 R h2 R g3 B f4 R f3 B e4 R 1:e3 B 2:d4 R 3:c3 B 4:b5 R 5:a5 B 6:b4 R 7:a4 B 8:b3"
 
   />
 
   />
Blue would like to play elsewhere on the board. However, this would leave Red with a 2nd row [[ladder escape]] along the bottom edge. While this ladder escape may not look immediately threatening to Blue, it would be bad hygiene to just leave it unattended. Instead, Blue first plays 2, which forces Red to reconnect, say at 3.
+
The obvious solution is for Red to pivot immediately and hold Blue to a 5th row ladder:
<hexboard size="4x5"
+
<hexboard size="5x8"
   coords="none"
+
  coords="hide"
   edges="bottom right"
+
  edges="bottom left"
   contents="B c2 R d1 1:d2 B 2:c3 R 3:d3"
+
  contents="B e2 f2 g2 g4 R h2 R g3 B f4 R f3 B e4 R 1:d3 B 2:e3 R 3:d2 B 4:e1 E x:b4"
 +
  />
 +
However, this is not optimal, because Blue has a forcing move at x, giving Blue 2nd and 3rd row ladder escapes:
 +
A slightly better solution is the following:
 +
<hexboard size="5x8"
 +
   coords="hide"
 +
   edges="bottom left"
 +
   contents="B e2 f2 g2 g4 R h2 R g3 B f4 R f3 B e4 R 1:d4 B 2:e3 R 3:d2 B 4:e1 E x:b4 y:c3 S area(d2,a5,d5)"
 
   />
 
   />
Now Blue has taken away Red's ladder escape and is free to move elsewhere. In fact, Blue also gained a small amount of [[territory]].
+
Note that Red has formed [[edge template IV2d]], still holding Blue to a 5th row ladder. Blue still has a forcing move at x, but because Red can respond at y, this only gives Blue a 2nd row ladder escape, rather than a 3rd row escape.
  
To illustrate that this can make a difference, consider the following contrived position, with Blue to move. In this situation, "a" is winning, but "b" and all other moves are losing.
+
However, even this solution is not optimal for Red, as Blue still gets a 5th row ladder. It turns out that playing a different move 3 is generally even better for Red.
<hexboard size="6x6"
+
<hexboard size="5x8"
   coords="none"
+
   coords="hide"
   edges="all"
+
   edges="bottom left"
   contents="R b3 e3 e4 B c4 d3 d4 E a:d5 b:e2"
+
   contents="B e2 f2 g2 g4 R h2 R g3 B f4 R f3 B e4 R 1:d4 B 2:e3 R 3:b2
 +
            E a:c2 b:d2 c:b3 d:c3 e:a4 f:b4"
 
   />
 
   />
 +
Move 3 is named '''Eric's move'''. If Red plays there, Blue in theory no longer gets a 5th row ladder, nor any kind of ladder. If Blue plays at a or c, Red responds at b; if Blue plays at b, Red responds at a; if Blue plays at d, Red responds at e; if Blue plays at f, Red responds at d.
  
 +
== Why it works ==
  
=== Obtuse corner example ===
+
Eric's move prevents Blue from getting a 5th row ladder along the left edge. To see why, consider the following line of play, which is one of Blue's best attempts:
 +
<hexboard size="12x8"
 +
  coords="hide"
 +
  edges="bottom left"
 +
  contents="B e9 f9 g9 g11 R h9 R g10 B f11 R f10 B e11 R 1:d11 B 2:e10 R 3:b9
 +
            B 4:b10 R 5:d9 B 6:e8 R 7:d8 B 8:e7 R 9:c6 S red:f1--f8"
 +
  />
 +
If we imagine that the pink cells are occupied by a line of red stones, then Red's move 9 is actually [[Tom's move]], using that line of stones as its edge. In that case, Red would connect, proving that Blue cannot in general get a 5th row ladder. Even if the pink cells are not in fact occupied by Red, the situation is still typically good for Red.
  
Red has just played 1, threatening to connect to the bottom edge. Blue responded at 2. The result will be a 2nd row [[ladder]] along the bottom edge.
+
However, the use of Tom's move in this argument requires quite a bit of empty space. If there is less space, or if there are additional Blue stones in this area, then Blue might still be able to do something useful.
<hexboard size="5x5"
+
 
 +
The way in which Eric's move works is essentially the same way as blocking a 5th row ladder when there's not enough space under the ladder stone; see [[Theory_of_ladder_escapes#Definition_of_ladder_4|theory of ladder escapes]].
 +
 
 +
 
 +
etc.
 +
 
 +
= Connecting parallel ladders =
 +
 
 +
== Connecting a 2-5 parallel ladder ==
 +
 
 +
Like 2-4 and 3-5 parallel ladders, a 2-5 parallel ladder can also connect to the edge outright, given enough space. One way to do this is to yield to a 3-5 parallel ladder and then use [[Tom's move for 3rd and 5th row parallel ladders]]. However, there is a way to do it with much less space. In fact, the amount of space shown here is minimal:
 +
 
 +
<hexboard size="5x9"
 +
  edges="bottom"
 
   coords="none"
 
   coords="none"
   edges="bottom left"
+
   visible="area(c1,a4,a5,i5,i3,g1)"
   contents="R d2 e2 B d3 e3 R 1:c3 B 2:b5"
+
   contents="R arrow(12):c1,a4 B c2 a5 R 1:d2"
 
   />
 
   />
Let's assume that the ladder is threatening to Blue, i.e., either Red can [[ladder escape|escape]] the ladder outright, or gain some other benefit (such as [[climbing]]) from playing the ladder. Red could either start the ladder right away, or first play elsewhere. In either case, it is good hygiene to first play 3 and 4:
+
The ladder stones are marked "↑", and Red's winning move is "1". It is Red's only winning move within this space.
<hexboard size="5x5"
+
 
 +
Proof of connectedness: Red's main threats is "*", using the highlighted cells:
 +
<hexboard size="5x9"
 +
  edges="bottom"
 
   coords="none"
 
   coords="none"
   edges="bottom left"
+
   visible="area(c1,a4,a5,i5,i3,g1)"
   contents="R d2 e2 B d3 e3 R 1:c3 B 2:b5 R 3:b3 B 4:a5"
+
   contents="R arrow(12):c1,a4 B c2 a5 R 1:d2 *:c4 S red:(d1,c3,b4,b5,c4,c5,d3)"
 
   />
 
   />
Note that 3 is immediately forcing: if Blue does not respond, Red connects to the edge. On the other hand, if Red first plays the ladder along the right edge and connects, 3 is no longer forcing. In addition to gaining a bit of territory for Red, moving at 3 also removes any possibility that 2 could help with a blue ladder arriving along the left edge.
+
Red's other main threat is "*", connecting via [[edge template IV2b]], and only requiring 2 of the 3 cells x, y, z:
 +
<hexboard size="5x9"
 +
  edges="bottom"
 +
  coords="none"
 +
  visible="area(c1,a4,a5,i5,i3,g1)"
 +
  contents="R arrow(12):c1,a4 B c2 a5 R 1:d2 *:c3 S red:c3,area(e2,b5,f5,f3) E x:b3 y:b4 z:d1"
 +
  />
 +
The overlap consists of the cells marked "a", "b", and "c":
 +
<hexboard size="5x9"
 +
  edges="bottom"
 +
  coords="none"
 +
  visible="area(c1,a4,a5,i5,i3,g1)"
 +
  contents="R arrow(12):c1,a4 B c2 a5 R 1:d2 E a:c3,d3 c:c4 b:b5,c5"
 +
  />
 +
If Blue plays at "a", Red pushes the 2nd row ladder to "c" and then uses [[Tom's move]]. If Blue plays at "b", Red responds at "c" and then uses Tom's move. Finally, if Blue plays at "c", Red plays as follows:
 +
<hexboard size="5x9"
 +
  edges="bottom"
 +
  coords="none"
 +
  visible="area(c1,a4,a5,i5,i3,g1)"
 +
  contents="R arrow(12):c1,a4 B c2 a5 R 1:d2 B 2:c4 R 3:b4 B 4:b5 R 5:e3"
 +
  />
 +
This move isn't exactly a version of Tom's move, but it does for a 2-5 ladder what Tom's move does for a 2-4 ladder.
  
To illustrate that this can make a difference, consider the following contrived position, with Red to move. In this situation, "a" is winning, but "b" and all other moves are losing.
+
== Connecting a 2-6 parallel ladder ==
<hexboard size="5x5"
+
 
 +
2-6 parallel ladders also connect. The required amount of space and the unique winning move within this space are shown:
 +
<hexboard size="6x12"
 +
  edges="bottom"
 
   coords="none"
 
   coords="none"
   edges="all"
+
   visible="area(d1,d3,b4,a5,a6,l6,l4,j2,f1)"
   contents="B b1 d3 b5 R c3 d5 E a:b3 b:c4"
+
   contents="R arrow(12):d1,a5 B d2,a6 R 1:f2"
 
   />
 
   />
 +
The basic idea is that this yields to 2-5, and then Red can use the previous trick.
 +
 +
== Connecting a 3-6 parallel ladder ==
 +
 +
3-6 parallel ladders also connect. The required amount of space and the unique winning move within this space are shown:
 +
 +
<hexboard size="6x13"
 +
  edges="bottom"
 +
  coords="none"
 +
  visible="area(c1,a4,a6,m6,m4,k2,g1)"
 +
  contents="R arrow(12):c1,a4 B c2,a5 R 1:d2"
 +
  />
 +
 +
== Remarks ==
 +
 +
In all three cases, for the ladder to propagate, the top ladder should be one hex further ahead of the bottom ladder than shown above. (If the bottom ladder is already caught up, the top ladder can no longer be pushed). For the 3-5 and 3-6 parallel ladders, Red doesn't necessarily have to push the bottom ladder before playing 1. However, for the 2-6 ladder, Red ''does'' have to push the bottom ladder first.
 +
 +
Also, the fact that these ladders all connect means that they are not really "ladders" in the usual sense; they are basically just templates. Note that unlike Tom's move (2-4 and 3-5 ladders), the connection requires no space above the height of the ladder, so the space in which the ladder would normally travel is already enough space to connect it.
 +
 +
Also, as noted on the page [[Tom's move for 3rd and 5th row parallel ladders]], 3-5 parallel ladders can't always be pushed as 3-5 parallel ladders; the defender has the option to downgrade it to a 2nd row ladder with switchback threat. The resulting 2nd row ladder may not connect. Therefore, Tom's move may not be available if the ladder starts some distance from where there is space.

Latest revision as of 12:00, 27 May 2024

I have played Hex since early 2020, and I run the Halifax Hex Club. I mostly use this user page for draft articles and other random bits and pieces that aren't yet ready to go into a real HexWiki article.

Proposed page: Eric's move

Eric's move is a trick that allows a player to make the best of a 3rd row ladder approaching an obtuse corner. It takes away the opponent's opportunity to get a 5th row ladder.

The move is named after Eric Demer, who discovered it.

Example

Consider the following situation, with Red's 3rd row ladder approaching from the right, and Red to move.

There's not enough room for Red to push one more time, as this will give Blue a 2nd row ladder:

83176254

The obvious solution is for Red to pivot immediately and hold Blue to a 5th row ladder:

4312x

However, this is not optimal, because Blue has a forcing move at x, giving Blue 2nd and 3rd row ladder escapes: A slightly better solution is the following:

43y2x1

Note that Red has formed edge template IV2d, still holding Blue to a 5th row ladder. Blue still has a forcing move at x, but because Red can respond at y, this only gives Blue a 2nd row ladder escape, rather than a 3rd row escape.

However, even this solution is not optimal for Red, as Blue still gets a 5th row ladder. It turns out that playing a different move 3 is generally even better for Red.

3abcd2ef1

Move 3 is named Eric's move. If Red plays there, Blue in theory no longer gets a 5th row ladder, nor any kind of ladder. If Blue plays at a or c, Red responds at b; if Blue plays at b, Red responds at a; if Blue plays at d, Red responds at e; if Blue plays at f, Red responds at d.

Why it works

Eric's move prevents Blue from getting a 5th row ladder along the left edge. To see why, consider the following line of play, which is one of Blue's best attempts:

987635421

If we imagine that the pink cells are occupied by a line of red stones, then Red's move 9 is actually Tom's move, using that line of stones as its edge. In that case, Red would connect, proving that Blue cannot in general get a 5th row ladder. Even if the pink cells are not in fact occupied by Red, the situation is still typically good for Red.

However, the use of Tom's move in this argument requires quite a bit of empty space. If there is less space, or if there are additional Blue stones in this area, then Blue might still be able to do something useful.

The way in which Eric's move works is essentially the same way as blocking a 5th row ladder when there's not enough space under the ladder stone; see theory of ladder escapes.


etc.

Connecting parallel ladders

Connecting a 2-5 parallel ladder

Like 2-4 and 3-5 parallel ladders, a 2-5 parallel ladder can also connect to the edge outright, given enough space. One way to do this is to yield to a 3-5 parallel ladder and then use Tom's move for 3rd and 5th row parallel ladders. However, there is a way to do it with much less space. In fact, the amount of space shown here is minimal:

1

The ladder stones are marked "↑", and Red's winning move is "1". It is Red's only winning move within this space.

Proof of connectedness: Red's main threats is "*", using the highlighted cells:

1

Red's other main threat is "*", connecting via edge template IV2b, and only requiring 2 of the 3 cells x, y, z:

z1xy

The overlap consists of the cells marked "a", "b", and "c":

1aacbb

If Blue plays at "a", Red pushes the 2nd row ladder to "c" and then uses Tom's move. If Blue plays at "b", Red responds at "c" and then uses Tom's move. Finally, if Blue plays at "c", Red plays as follows:

15324

This move isn't exactly a version of Tom's move, but it does for a 2-5 ladder what Tom's move does for a 2-4 ladder.

Connecting a 2-6 parallel ladder

2-6 parallel ladders also connect. The required amount of space and the unique winning move within this space are shown:

1

The basic idea is that this yields to 2-5, and then Red can use the previous trick.

Connecting a 3-6 parallel ladder

3-6 parallel ladders also connect. The required amount of space and the unique winning move within this space are shown:

1

Remarks

In all three cases, for the ladder to propagate, the top ladder should be one hex further ahead of the bottom ladder than shown above. (If the bottom ladder is already caught up, the top ladder can no longer be pushed). For the 3-5 and 3-6 parallel ladders, Red doesn't necessarily have to push the bottom ladder before playing 1. However, for the 2-6 ladder, Red does have to push the bottom ladder first.

Also, the fact that these ladders all connect means that they are not really "ladders" in the usual sense; they are basically just templates. Note that unlike Tom's move (2-4 and 3-5 ladders), the connection requires no space above the height of the ladder, so the space in which the ladder would normally travel is already enough space to connect it.

Also, as noted on the page Tom's move for 3rd and 5th row parallel ladders, 3-5 parallel ladders can't always be pushed as 3-5 parallel ladders; the defender has the option to downgrade it to a 2nd row ladder with switchback threat. The resulting 2nd row ladder may not connect. Therefore, Tom's move may not be available if the ladder starts some distance from where there is space.