Difference between revisions of "Edge template VI1a"
(Some copy-editing.) |
(Converted to new hexboard diagrams) |
||
Line 10: | Line 10: | ||
Sa6 | Sa6 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2" | ||
+ | /> | ||
This template is the first one stone 6th row [[edge template|template]] for which a proof of validity has been written out. The template has been verified by computer, and also verified to be minimal. | This template is the first one stone 6th row [[edge template|template]] for which a proof of validity has been written out. The template has been verified by computer, and also verified to be minimal. | ||
Line 34: | Line 40: | ||
Pd7 Pe7 Pf7 Pg7 Ph7 Pi7 Pj7 | Pd7 Pe7 Pf7 Pg7 Ph7 Pi7 Pj7 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R i4 j2 E +:d7 +:e6 +:e7 +:f5 +:f6 +:f7 +:g5 +:g6 +:g7 +:h4 +:h5 +:h6 +:h7 +:i3 +:i5 +:i6 +:i7 +:j3 +:j5 +:j6 +:j7" | ||
+ | /> | ||
<hex> | <hex> | ||
Line 50: | Line 62: | ||
Pe7 Pf7 Pg7 Ph7 Pi7 Pj7 Pk7 | Pe7 Pf7 Pg7 Ph7 Pi7 Pj7 Pk7 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R i4 j2 E +:e7 +:f6 +:f7 +:g5 +:g6 +:g7 +:h5 +:h6 +:h7 +:i3 +:i5 +:i6 +:i7 +:j3 +:j4 +:j5 +:j6 +:j7 +:k5 +:k6 +:k7" | ||
+ | /> | ||
=== [[edge template IV1b]] === | === [[edge template IV1b]] === | ||
Line 68: | Line 86: | ||
Pd7 Pe7 Pf7 Pg7 Ph7 Pi7 Pj7 Pk7 | Pd7 Pe7 Pf7 Pg7 Ph7 Pi7 Pj7 Pk7 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R i4 j2 E +:d7 +:e6 +:e7 +:f5 +:f6 +:f7 +:g5 +:g6 +:g7 +:h4 +:h5 +:h7 +:i3 +:i5 +:i6 +:i7 +:j3 +:j4 +:j5 +:j6 +:j7 +:k5 +:k6 +:k7" | ||
+ | /> | ||
+ | |||
+ | |||
=== Using the [[parallel ladder]] trick === | === Using the [[parallel ladder]] trick === | ||
Line 88: | Line 114: | ||
N:on Ri4 Bi5 Rh5 Bg7 Rh6 Bh7 | N:on Ri4 Bi5 Rh5 Bg7 Rh6 Bh7 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R 3:h5 5:h6 1:i4 j2 B 4:g7 6:h7 2:i5 E +:e7 +:f6 +:g5" | ||
+ | /> | ||
At this point, we can use [[Tom's move]] as follows: | At this point, we can use [[Tom's move]] as follows: | ||
Line 106: | Line 138: | ||
N:on Rk5 Bj6 Ri6 Bi7 Rl4 Bj5 Rk3 | N:on Rk5 Bj6 Ri6 Bi7 Rl4 Bj5 Rk3 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R h5 h6 i4 3:i6 j2 7:k3 1:k5 5:l4 B g7 h7 i5 4:i7 6:j5 2:j6 E +:e7 +:f6 +:g5" | ||
+ | /> | ||
=== [[Overlapping connections|Remaining possibilities]] for Blue === | === [[Overlapping connections|Remaining possibilities]] for Blue === | ||
Line 130: | Line 168: | ||
Pi7 | Pi7 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 E +:f7 +:g6 +:g7 +:h5 +:h7 +:i3 +:i4 +:i5 +:i6 +:i7 +:j3" | ||
+ | /> | ||
See | See | ||
Line 151: | Line 195: | ||
Bf7 | Bf7 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 B f7" | ||
+ | /> | ||
Details to follow | Details to follow | ||
Line 166: | Line 216: | ||
Bg7 | Bg7 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 B g7" | ||
+ | /> | ||
Red should go here: | Red should go here: | ||
Line 180: | Line 236: | ||
Bg7 red M1h5 | Bg7 red M1h5 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R 1:h5 j2 B g7" | ||
+ | /> | ||
See more details [[Template VI1/Other Intrusion on the 1st row| here]]. | See more details [[Template VI1/Other Intrusion on the 1st row| here]]. | ||
Line 195: | Line 257: | ||
Bg6 | Bg6 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 B g6" | ||
+ | /> | ||
===The remaining intrusion on the third row (stub)=== | ===The remaining intrusion on the third row (stub)=== | ||
Line 208: | Line 276: | ||
Bh5 | Bh5 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 B h5" | ||
+ | /> | ||
Red should go here: | Red should go here: | ||
Line 222: | Line 296: | ||
Bh5 red M1k3 | Bh5 red M1k3 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 1:k3 B h5" | ||
+ | /> | ||
Details to follow. | Details to follow. | ||
Line 237: | Line 317: | ||
Bi4 | Bi4 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 B i4" | ||
+ | /> | ||
Red should move here (or the equivalent mirror-image move at "+"): | Red should move here (or the equivalent mirror-image move at "+"): | ||
Line 251: | Line 337: | ||
Bi4 Rh3 Pk3 | Bi4 Rh3 Pk3 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R h3 j2 B i4 E +:k3" | ||
+ | /> | ||
For more details, see [[Template VI1/Intrusion on the 4th row|this page]]. | For more details, see [[Template VI1/Intrusion on the 4th row|this page]]. | ||
Line 265: | Line 357: | ||
Bi3 | Bi3 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R j2 B i3" | ||
+ | /> | ||
First establish a [[double ladder]] on the right. | First establish a [[double ladder]] on the right. | ||
Line 280: | Line 378: | ||
N:on Rj3 Bi5 Rk4 Bk5 Rj5 Bi7 Ri4 Bh5 | N:on Rj3 Bi5 Rk4 Bk5 Rj5 Bi7 Ri4 Bh5 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R 7:i4 j2 1:j3 5:j5 3:k4 B 8:h5 i3 2:i5 6:i7 4:k5" | ||
+ | /> | ||
Then use [[Tom's move]]: | Then use [[Tom's move]]: | ||
Line 296: | Line 400: | ||
N:on Rf5 Bf6 Rf4 Bg5 Rh3 | N:on Rf5 Bf6 Rf4 Bg5 Rh3 | ||
</hex> | </hex> | ||
+ | <hexboard size="7x14" | ||
+ | coords="none" | ||
+ | edges="bottom" | ||
+ | visible="area(a7,n7,n5,k2,i2,c5)" | ||
+ | contents="R 3:f4 1:f5 5:h3 i4 j2 j3 j5 k4 B 2:f6 4:g5 h5 i3 i5 i7 k5" | ||
+ | /> | ||
[[category:edge templates]] | [[category:edge templates]] | ||
[[category:theory]] | [[category:theory]] |
Revision as of 02:12, 9 March 2021
Template VI1-a is a 6th row edge template with one stone.
This template is the first one stone 6th row template for which a proof of validity has been written out. The template has been verified by computer, and also verified to be minimal.
Elimination of irrelevant Blue moves
Red has a couple of direct threats to connect, using smaller templates. Blue must play in the carrier of these threats in order to counter them. To prevent Red from connecting Blue must play in the intersection of Red's threats carriers.
edge template IV1a
edge template IV1b
Using the parallel ladder trick
6 moves can furthermore be discarded thanks to 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 Tom's move as follows:
Remaining possibilities for Blue
Blue's first move must be one of the following:
See Template_VI1/Intrusion_on_the_3rd_row, Template_VI1/Intrusion_on_the_4th_row, Template_VI1/The_remaining_intrusion_on_the_fifth_row.
Specific defense
For the moves that intersect all the carriers, Red has to find specific answers. Let's deal with the remaining intrusions!
One remaining intrusion on the first row (stub)
Details to follow
The other remaining intrusion on the first row
Red should go here:
See more details here.
The remaining intrusion on the second row (stub)
The remaining intrusion on the third row (stub)
Red should go here:
Details to follow.
The remaining intrusion on the fourth row
Red should move here (or the equivalent mirror-image move at "+"):
For more details, see this page.
The remaining intrusion on the fifth row
First establish a double ladder on the right.
Then use Tom's move: