HexWiki - Recent changes [en]

User:GiB

GiB — Thu, 03 Sep 2026 04:54:10 GMT

‎Capture patterns

Hexanna — Sun, 30 Aug 2026 18:49:00 GMT

add VI1d, reorder VI1b/VI1c

Hexanna — Sun, 30 Aug 2026 18:47:23 GMT

add VI1d

Hexanna — Sun, 30 Aug 2026 00:02:00 GMT

solved 3x4 dark hex!

Hexanna — Sat, 29 Aug 2026 02:21:16 GMT

add V1j, V1k

Hexanna — Sat, 29 Aug 2026 02:19:29 GMT

add IV1g, IV1h

Hexanna — Sat, 29 Aug 2026 02:17:25 GMT

add IV1g, IV1h, V1j, V1k

Hexanna — Sat, 29 Aug 2026 02:10:01 GMT

template V1k

@@ Line 1: / Line 1: @@
 <hexboard size="4x4"
     contents="E *:a1 E *:b1 E *:c1 E *:d1 E *:a2 E *:b2 E *:c2 R a3 E *:b3 B b4 R c4 E +:a4"
     />

@@ Line 8: / Line 8: @@
    visible="area(a7,n7,n5,k2,i2,c5)"
    contents="R j2"
 />
@@ Line 19: / Line 28: @@
 />
-=== [[Edge_template_VI1b|VI-1-b]] ===
+=== VI-1-d ===
-<hexboard size="6x19"
+<hexboard size="7x20"
    coords="none"
    edges="bottom"
-   visible="area(a6,s6,s4,q2,m1,i1,c4)"
+   visible="area(h1,f2,a7,t7,t5,r3,j1)"
-   contents="R i1"
+   contents="R g2"
 />

@@ Line 239: / Line 239: @@
    visible="area(a6,o6,o4,m2,k1,h1,e3,c4)"
    contents="R i1"
 />

@@ Line 14: / Line 14: @@
 * [https://hexanna1.github.io/hex-study/openings.html Opening explorer] with opening lines on sizes 11&ndash;14 and 17
 * Of these tools, I put the most thought into the design of the local pattern explorer, and it's probably the most useful one for improving at Hex.
 ==new templates==
@@ Line 116: / Line 118: @@
      />
-Validity and minimality checked with Mohex. Minimality took roughly 40 core-hours to prove; validity only took around 0.3 core-hours. Unlike V1i, which had a single deletion that was very difficult to prove, V1k had many moderately difficult ones but no exceptionally difficult one. I used a mix of 1k- and 10k-visit KataHex searches for move ordering only, and that was sufficient to prove each deletion.
+Validity and minimality checked with Mohex. Minimality took roughly 40 CPU-hours to prove; validity only took around 0.3 CPU-hours. Unlike V1i, which had a single deletion that was very difficult to prove, V1k had many moderately difficult ones but no exceptionally difficult one. I used a mix of 1k- and 10k-visit KataHex searches for move ordering only, and that was sufficient to prove each deletion.
 ===infinite family of templates===

@@ Line 86: / Line 86: @@
    visible="area(i1,g2,e3,c4,a6,r6,r4,q3,p2,l1)"
    contents="R h2 S j6"
    />
 The shaded cell is not part of the template; it can be occupied by Blue.

@@ Line 55: / Line 55: @@
     visible="area(g1,e2,c3,a5,o5,o3,n2,m1)"
     contents="R f2 S g5"
     />
 The shaded cell is not part of the template; it can be occupied by Blue.

← Older revision		Revision as of 02:10, 29 August 2026
Line 106:		Line 106:

	Validity and minimality checked with Mohex.		Validity and minimality checked with Mohex.
		+
		+	Fifth row template ('''V1k'''), width 20, carrier size 86 [https://hexworld.org/board/#20c1,k1:pk2:pk3:pk4:pk5:pk6:pk7:pk8:pk9:pk10:pk11:pk12:pk13:pk14:pk15:pk16a19:pb18:pc17:pd17:pe16:pf16:pg15:ph15:ph20:pi15:pj15:pl14:pm14:pn14:po14:po15:pp15:pq15:pr15:ps15:ps16:pt16:pt17:p HexWorld link]
		+
		+	<hexboard size="6x20"
		+	coords="hide"
		+	edges="bottom"
		+	visible="area(l1,g2,e3,c4,a6,t6,t4,s3,r2,n1)"
		+	contents="R k2 S h6"
		+	/>
		+
		+	Validity and minimality checked with Mohex. Minimality took roughly 40 core-hours to prove; validity only took around 0.3 core-hours. Unlike V1i, which had a single deletion that was very difficult to prove, V1k had many moderately difficult ones but no exceptionally difficult one. I used a mix of 1k- and 10k-visit KataHex searches for move ordering only, and that was sufficient to prove each deletion.

	===infinite family of templates===		===infinite family of templates===