Difference between revisions of "User:Selinger"

From HexWiki
Jump to: navigation, search
(Started drafting an article on the mustplay set, didn't get very far yet.)
Line 91: Line 91:
 
* [[Climbing]]
 
* [[Climbing]]
  
= Proposed article: Mustplay sets =
 
  
Informally, a player's ''mustplay set'' is the set of cells in which the player must move to avoid losing immediately.
+
 
 +
 
 +
 
 +
 
 +
= Proposed article: Mustplay region =
 +
 
 +
Informally, a ''mustplay region'' for a player is a set of cells in which the player must move to avoid losing immediately. Mustplay analysis is an important tool for analyzing Hex positions, because it can help narrow down the number of possibilities a player must consider.
  
 
== Example ==  
 
== Example ==  
  
 
Consider the following position, with Red to move:
 
Consider the following position, with Red to move:
<hexboard size="9x9"
+
 
 +
<hexboard size="7x7"
 
   coords="show"
 
   coords="show"
 
   edges="all"
 
   edges="all"
   contents="R b2 b5 b6 d3 f2 f3 g3 i6 B b7 c4 c6 e2 e3 f4 g2 g4 E x:d5 y:e5"
+
   contents="B d3 b4 c4 d4 d6 f6 R c3 e3 f3 b5 c5"
 
   />
 
   />
To determine Red's mustplay set, Red should consider the possible ways in which Blue could make a connection if it were ''Blue's turn''. The two most obvious ways for Blue to connect are at x and y. These are called Blue's ''main threats''.
 
  
If Blue plays at x, Blue is [[virtual connection|connected]] via [[edge template II]], a [[bridge]]s and a [[ziggurat]]. The [[carrier]] of Blue's connection, i.e., the set of cells that are part of Blue's connection, is shown:
+
To determine Red's mustplay region, Red should consider the possible ways in which Blue could make a connection if it were ''Blue's turn''.  These are called Blue's ''threats''. Blue has (at least) the following threats:
<hexboard size="9x9"
+
 
 +
* If Blue plays at d5, Blue is [[virtual connection|connected]] by two templates, namely [[edge template II]] and [[edge template IV2d]]. The [[carrier]] of Blue's connection is the set of all cells that are required for the connection, and is highlighted: <hexboard size="7x7"
 
   coords="show"
 
   coords="show"
 
   edges="all"
 
   edges="all"
   contents="R b2 b5 b6 d3 f2 f3 g3 i6 B b7 c4 c6 e2 e3 f4 g2 g4
+
   contents="B d3 b4 c4 d4 d6 f6 R c3 e3 f3 b5 c5
             B x:d5 S blue:(a7 a8 b7 c6 d5 e4 e5 f4) blue:area(g4 i2 i5 g5)"
+
             B *:d5 S blue:(a5--a4--d4--d6 area(d6,g6,g3))"
 
   />
 
   />
Similarly, if Blue plays at y, Blue is connected with the following carrier:
+
 
<hexboard size="9x9"
+
* If Blue plays at e5, then Blue is connected via two copies of [[edge template II]] and two [[bridge]]s, as shown: <hexboard size="7x7"
 
   coords="show"
 
   coords="show"
 
   edges="all"
 
   edges="all"
   contents="R b2 b5 b6 d3 f2 f3 g3 i6 B b7 c4 c6 e2 e3 f4 g2 g4
+
   contents="B d3 b4 c4 d4 d6 f6 R c3 e3 f3 b5 c5
             B y:e5 S blue:(a7 a8 b7 c6 d5 d6 e5 f4) blue:area(g4 i2 i5 g5)"
+
             B *:e5 S blue:(a5--a4--d4 area(d4,d5,e6,g6,g5,e4))"
 
   />
 
   />
  
TODO:  
+
* Alternatively, if Blue plays at e5, Blue is also connected via [[edge template II]] and [[edge template III2e]], as shown: <hexboard size="7x7"
 +
  coords="show"
 +
  edges="all"
 +
  contents="B d3 b4 c4 d4 d6 f6 R c3 e3 f3 b5 c5
 +
            B *:e5 S blue:(a5--a4--d4 area(d4,d5,f6,g6,g3))"
 +
  /> While the last two connections both use a Blue stone at e5, they have different carriers.
  
* complete this example
+
* If Blue plays at e4, Blue is connected via a 3rd row [[ladder]], using f6 as a [[ladder escape]]. In this case, the carrier consists of the path the ladder will take, as well as the ladder escape template: <hexboard size="7x7"
 +
  coords="show"
 +
  edges="all"
 +
  contents="B d3 b4 c4 d4 d6 f6 R c3 e3 f3 b5 c5
 +
            B *:e4 S blue:(a5--a4--e4 area(e4,e6,g6,g3))"
 +
  />
  
* create a better example
+
Red's mustplay region consists of those empty cells that are in the carriers of all of Blue's known threats. Therefore, Red's mustplay region consists of the cells a4, a5, e5, f5, g5, and g6.
 +
<hexboard size="7x7"
 +
  coords="show"
 +
  edges="all"
 +
  contents="B d3 b4 c4 d4 d6 f6 R c3 e3 f3 b5 c5
 +
            S red:(a4,a5,e5,f5,g5,g6)"
 +
  />
  
* explain what the mustplay set does and does not guarantee, and how it is used to narrow the possibilities to consider.
+
Note that this does not mean that all of a4, a5, e5, f5, g5, and g6 are winning moves for Red, or even that Red has any winning moves at all. Rather, what it means is that all ''other'' moves are losing. In other words, if Red has any winning moves at all, they must be in Red's mustplay region. Red must now consider each of the six moves a4, a5, e5, f5, g5, and g6 and check if any of them are winning, or barring that, which one of them is least likely to be losing.
  
* explain what an empty mustplay set means.
+
To help narrow down Red's choices even further, it helps to consider [[captured cell|captured]] and [[dominated cell|dominated]] cells.  In the above example, a4, a5, g5, and g6 are captured by Blue, and therefore, Red should not play there. This leaves Red with e5 and f5 as the only possible moves to consider. It so happens that e5 is winning and f5 is losing. Therefore, considering the mustplay region has helped Red identify the only possible winning move. Red will play e5 and win the game.
 +
 
 +
== Properties of the mustplay region ==
 +
 
 +
* All moves outside a player's mustplay region are losing. Moves within the mustplay region may be winning or losing.
 +
 
 +
* If a player's mustplay region is empty, the player is losing.
 +
 
 +
* If there are no winning moves in a player's mustplay region, the player is losing.
 +
 
 +
* The mustplay region is not unique. By considering more opponent threats, a player may arrive at a smaller mustplay region.
 +
 
 +
== Example: no winning move ==
 +
 
 +
If there are no winning moves in a player's mustplay region, the player is losing. To illustrate this, consider the following position, with Red to move.
 +
<hexboard size="5x5"
 +
  coords="show"
 +
  edges="all"
 +
  contents="R d1 c3 b5 c5 B d2 d3 c4 e3"
 +
  />
 +
Blue's main threats are:
 +
* c2, connecting via a [[ziggurat]]: <hexboard size="5x5"
 +
  coords="show"
 +
  edges="all"
 +
  contents="R d1 c3 b5 c5 B d2 d3 c4 e1
 +
            B *:c2 S blue:(area(a1,a4,c2,c1) d2 e1)"
 +
  />
 +
* b4, connecting via [[edge template II]]: <hexboard size="5x5"
 +
  coords="show"
 +
  edges="all"
 +
  contents="R d1 c3 b5 c5 B d2 d3 c4 e1
 +
            B *:b4 S blue:(a5--a4--c4--d3--d2--e1)"
 +
  />
 +
* b3, connecting via [[edge template II]] and a [[double threat]]: <hexboard size="5x5"
 +
  coords="show"
 +
  edges="all"
 +
  contents="R d1 c3 b5 c5 B d2 d3 c4 e1
 +
            B *:b3 S blue:(a3,a4,b3,c2,b4,b5,d2,d3,e1)"
 +
  />
 +
The only empty cell in the carrier of all three threats is a4, hence Red's mustplay region consists of a4. This means that all moves except possibly a4 are losing for Red.
 +
<hexboard size="5x5"
 +
  coords="show"
 +
  edges="all"
 +
  contents="R d1 c3 b5 c5 B d2 d3 c4 e1
 +
            S red:(a4)"
 +
  />
 +
Unfortunately for Red, a4 is also losing, because if Red plays a4, Blue can win as follows:
 +
<hexboard size="5x5"
 +
  coords="show"
 +
  edges="all"
 +
  contents="R d1 c3 b5 c5 B d2 d3 c4 e1
 +
            R 1:a4 B 2:b4 R 3:a5 B 4:b2"
 +
  />
 +
Therefore Red has no winning moves at all and is losing the game.
 +
 
 +
TODO:
  
 
* application: foiling
 
* application: foiling
Line 134: Line 211:
 
* application: puzzle 20210618-5
 
* application: puzzle 20210618-5
  
* explain "carrier"
+
* application: verification of templates
  
 
* example with ladder creation + escape.
 
* example with ladder creation + escape.
 +
 +
* mustplay region in computer Hex
 +
 +
* add reference

Revision as of 12:51, 5 July 2021

Proposed article: Pivoting template

The problem with this article draft, as currently written, is that the stated condition, "Red can either connect A to the edge, or else occupy and connect B to the edge", is weaker than what many of the templates satisfy. Most templates satisfy the stronger condition "Red can continuously threaten to connect A until Red occupies and connects B to the edge." There are situations where templates satisfying the weaker condition would be losing, but templates satisfying the stronger condition are winning. So one either needs several different notions, or specify the strength of each template. or state the stronger condition and select only templates that satisfy it. All choices seem awkward.

A pivoting template is a kind of edge template that guarantees that the template's owner can either connect the template's stone(s) to the edge, or else can occupy a specified empty hex and connect it to the edge.

Example

AB

This template guarantees that, with Blue to move, Red can either connect A to the edge, or else occupy and connect B to the edge. Its carrier is minimal with this property.

Proof: Red's main threat is to bridge to c and connect to the edge by ziggurat or edge template III1b. Therefore, to prevent Red from connecting to the edge outright, Blue must play in one of the cells a,...,g.

ABabcdefg

If Blue plays at a, Red responds at b and connects outright by edge template IV1a.

If Blue plays at b, Red responds with a 3rd row ladder escape fork:

A82147635

If Blue plays at c, d, or f, Red responds as follows and is connected by edge template V2f. If Blue plays on the right instead of 3, Red responds as if defending template V2f.

A431211

If Blue plays at e or g, Red responds at c and gets a 2nd or 3rd row ladder, which can reach B by ladder escape fork.

Usage

Pivoting templates can be useful in many situations, but are especially useful in connection with flanks.

[Todo: Add an example.]

More examples

AB
AB
AB
AB
AB

See also




Proposed article: Mustplay region

Informally, a mustplay region for a player is a set of cells in which the player must move to avoid losing immediately. Mustplay analysis is an important tool for analyzing Hex positions, because it can help narrow down the number of possibilities a player must consider.

Example

Consider the following position, with Red to move:

abcdefg1234567

To determine Red's mustplay region, Red should consider the possible ways in which Blue could make a connection if it were Blue's turn. These are called Blue's threats. Blue has (at least) the following threats:

  • If Blue plays at e5, then Blue is connected via two copies of edge template II and two bridges, as shown:
    abcdefg1234567
  • Alternatively, if Blue plays at e5, Blue is also connected via edge template II and edge template III2e, as shown:
    abcdefg1234567
    While the last two connections both use a Blue stone at e5, they have different carriers.
  • If Blue plays at e4, Blue is connected via a 3rd row ladder, using f6 as a ladder escape. In this case, the carrier consists of the path the ladder will take, as well as the ladder escape template:
    abcdefg1234567

Red's mustplay region consists of those empty cells that are in the carriers of all of Blue's known threats. Therefore, Red's mustplay region consists of the cells a4, a5, e5, f5, g5, and g6.

abcdefg1234567

Note that this does not mean that all of a4, a5, e5, f5, g5, and g6 are winning moves for Red, or even that Red has any winning moves at all. Rather, what it means is that all other moves are losing. In other words, if Red has any winning moves at all, they must be in Red's mustplay region. Red must now consider each of the six moves a4, a5, e5, f5, g5, and g6 and check if any of them are winning, or barring that, which one of them is least likely to be losing.

To help narrow down Red's choices even further, it helps to consider captured and dominated cells. In the above example, a4, a5, g5, and g6 are captured by Blue, and therefore, Red should not play there. This leaves Red with e5 and f5 as the only possible moves to consider. It so happens that e5 is winning and f5 is losing. Therefore, considering the mustplay region has helped Red identify the only possible winning move. Red will play e5 and win the game.

Properties of the mustplay region

  • All moves outside a player's mustplay region are losing. Moves within the mustplay region may be winning or losing.
  • If a player's mustplay region is empty, the player is losing.
  • If there are no winning moves in a player's mustplay region, the player is losing.
  • The mustplay region is not unique. By considering more opponent threats, a player may arrive at a smaller mustplay region.

Example: no winning move

If there are no winning moves in a player's mustplay region, the player is losing. To illustrate this, consider the following position, with Red to move.

abcde12345

Blue's main threats are:

The only empty cell in the carrier of all three threats is a4, hence Red's mustplay region consists of a4. This means that all moves except possibly a4 are losing for Red.

abcde12345

Unfortunately for Red, a4 is also losing, because if Red plays a4, Blue can win as follows:

abcde123454123

Therefore Red has no winning moves at all and is losing the game.

TODO:

  • application: foiling
  • application: puzzle 20210618-5
  • application: verification of templates
  • example with ladder creation + escape.
  • mustplay region in computer Hex
  • add reference