Difference between revisions of "Second order template"
(concept + examples + usage) |
(Added a second order ladder creation template.) |
||
(7 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | A '''second order | + | A '''second order template''' is a [[template]] that guarantees a connection even if the opponent starts with two moves in the template. Put another way, a second order template is a pattern in which an intrusion is not a [[forcing move]]. A pattern can be proved to be a second order template by showing that every possible intrusion preserves at least one [[template|first order template]]. To qualify as a second order template, the pattern should also be minimal. |
+ | |||
+ | Phrases such as "Blue cannot even threaten to disconnect Red" and "if Blue moves in this area, Red can just ignore it" are often used to indicate that Red has a second order template. | ||
== Examples == | == Examples == | ||
− | < | + | === Second row === |
− | + | <hexboard size="2x3" | |
− | + | coords="none" | |
+ | edges="bottom" | ||
+ | visible="-a1" | ||
+ | contents="R b1 c1" | ||
+ | /> | ||
=== Third row === | === Third row === | ||
− | < | + | <hexboard size="3x6" |
− | + | coords="none" | |
− | + | edges="bottom" | |
+ | visible="-a1 b1 a2" | ||
+ | contents="R d1 e1" | ||
+ | /> | ||
− | + | Red has ''three'' non-overlapping threats: | |
− | < | + | <hexboard size="3x6" |
− | + | coords="none" | |
− | + | edges="bottom" | |
− | + | visible="-a1 b1 a2" | |
− | + | contents="R d1 e1 S a3 b3 b2 c2 c1 E *:b2" | |
+ | /> | ||
− | < | + | <hexboard size="3x6" |
− | + | coords="none" | |
− | + | edges="bottom" | |
− | + | visible="-a1 b1 a2" | |
− | + | contents="R d1 e1 S c3 d2 d3 E *:d2" | |
+ | /> | ||
− | + | <hexboard size="3x6" | |
− | < | + | coords="none" |
− | + | edges="bottom" | |
− | + | visible="-a1 b1 a2" | |
− | + | contents="R d1 e1 S f1 e2 f2 e3 f3 E *:f2" | |
− | </ | + | /> |
+ | |||
+ | So no matter where Blue plays in the template, Red will still have at least two non-overlapping threats, and therefore a first-order template, remaining. Or to put it another way: If Blue makes two moves in the template, Blue can disable at most two of Red's threats, so Red can still use the third one to reconnect. | ||
+ | |||
+ | Here is another second order template on the third row: | ||
+ | <hexboard size="3x4" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="-a1 a2 b1" | ||
+ | contents="R c1 b2" | ||
+ | /> | ||
+ | |||
+ | === Fourth row === | ||
+ | The following is a second order template: | ||
+ | <hexboard size="4x6" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="-area(a1,a3,c1)" | ||
+ | contents="R d1 e1 f1" | ||
+ | /> | ||
== Usage == | == Usage == | ||
− | + | === In play === | |
+ | |||
+ | It is usually not a good idea to create a second order template on purpose, as this tends to waste a move that would be better spent elsewhere. However, it is still useful to recognize second order templates in case they form accidentally. | ||
+ | |||
+ | When the opponent intrudes into a first order template, it is usually necessary to defend the template to preserve the connection. The opponent can take advantage of this by playing template intrusions that will later be useful to the opponent, for example as [[ladder escape]]s or to gain [[territory]]. Such moves belong to the category of [[double threat]]s. | ||
+ | |||
+ | On the other hand, when the opponent intrudes into a second order template, no immediate response is necessary; the template's owner can simply ignore the intrusion and is free to move elsewhere, thereby gaining the [[initiative]]. Recognizing second order templates helps to know whether an area is safe or might be subject to threats. | ||
+ | |||
+ | === In mustplay analysis === | ||
+ | |||
+ | Second order templates can sometimes be useful in the analysis of Hex positions, such as [[mustplay region|mustplay analysis]]. For example, suppose we want to prove the correctness of the following 6th row (first order) edge template: | ||
+ | <hexboard size="6x7" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="-area(a1,a5,e1) g1 g2" | ||
+ | contents="R f1 f3 g3 E a:e2 b:f2 c:e3" | ||
+ | /> | ||
+ | We can reason as follows: if Blue plays anywhere in the template except a, b, or c, then Red can play at c, forming the second order template | ||
+ | <hexboard size="4x6" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="-area(a1,a3,c1)" | ||
+ | contents="R d1 e1 f1" | ||
+ | /> | ||
+ | Since Blue has at most one stone in this template, the result is still a first-order template, so that Red is connected to the edge. Therefore, the only intrusions we need to consider are a, b, and c. This greatly simplifies the analysis, as we must now only consider 3 possible intrusions, rather than all 22 of them. (The intrusions at a or c are easily dealt with, since Red can simply respond at b to connect via [[edge template IV2a]]. The final intrusion at b has a few further cases to consider, but is relatively straighforward). | ||
+ | |||
+ | == Second order ladder creation templates == | ||
+ | The following is a second order [[ladder creation template]]. | ||
+ | <hexboard size="4x6" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="-area(a1,a3,c1)-f1" | ||
+ | contents="R d1 c2 S red:(b3 a4) E arrow(9):(b3 a4)" | ||
+ | /> | ||
+ | What this means is that even if Blue is allowed two moves in the template, Red can still guarantee to either connect to the edge or get the indicated 2nd row [[ladder]]. | ||
[[category:templates]] | [[category:templates]] | ||
[[category:connection types]] | [[category:connection types]] | ||
[[category:advanced Strategy]] | [[category:advanced Strategy]] |
Latest revision as of 13:22, 29 May 2022
A second order template is a template that guarantees a connection even if the opponent starts with two moves in the template. Put another way, a second order template is a pattern in which an intrusion is not a forcing move. A pattern can be proved to be a second order template by showing that every possible intrusion preserves at least one first order template. To qualify as a second order template, the pattern should also be minimal.
Phrases such as "Blue cannot even threaten to disconnect Red" and "if Blue moves in this area, Red can just ignore it" are often used to indicate that Red has a second order template.
Contents
Examples
Second row
Third row
Red has three non-overlapping threats:
So no matter where Blue plays in the template, Red will still have at least two non-overlapping threats, and therefore a first-order template, remaining. Or to put it another way: If Blue makes two moves in the template, Blue can disable at most two of Red's threats, so Red can still use the third one to reconnect.
Here is another second order template on the third row:
Fourth row
The following is a second order template:
Usage
In play
It is usually not a good idea to create a second order template on purpose, as this tends to waste a move that would be better spent elsewhere. However, it is still useful to recognize second order templates in case they form accidentally.
When the opponent intrudes into a first order template, it is usually necessary to defend the template to preserve the connection. The opponent can take advantage of this by playing template intrusions that will later be useful to the opponent, for example as ladder escapes or to gain territory. Such moves belong to the category of double threats.
On the other hand, when the opponent intrudes into a second order template, no immediate response is necessary; the template's owner can simply ignore the intrusion and is free to move elsewhere, thereby gaining the initiative. Recognizing second order templates helps to know whether an area is safe or might be subject to threats.
In mustplay analysis
Second order templates can sometimes be useful in the analysis of Hex positions, such as mustplay analysis. For example, suppose we want to prove the correctness of the following 6th row (first order) edge template:
We can reason as follows: if Blue plays anywhere in the template except a, b, or c, then Red can play at c, forming the second order template
Since Blue has at most one stone in this template, the result is still a first-order template, so that Red is connected to the edge. Therefore, the only intrusions we need to consider are a, b, and c. This greatly simplifies the analysis, as we must now only consider 3 possible intrusions, rather than all 22 of them. (The intrusions at a or c are easily dealt with, since Red can simply respond at b to connect via edge template IV2a. The final intrusion at b has a few further cases to consider, but is relatively straighforward).
Second order ladder creation templates
The following is a second order ladder creation template.
What this means is that even if Blue is allowed two moves in the template, Red can still guarantee to either connect to the edge or get the indicated 2nd row ladder.