HexWiki - User contributions [en]

Tournaments

2025-04-20T15:33:48Z

Comonoid: split into "in person"/"online", added cijm and play modena tournaments

Please note that a wiki page is not a great place to keep an up-to-date list of current events, and the information on this page is likely to be both outdated and incomplete.

For information on current events, the #events channel of the Hex Discord group (which is linked under [[Hex forums]]) is a more up-to-date source.

== Current events ==

==== Hex Monthly ====

Hex Monthly is a monthly online real-time 14x14 tournament. It is currently held on the third Saturday of every month on [[PlayHex]]. The first tournament was held on January 21, 2023. See the [https://boardgamegeek.com/thread/2995298/hex-monthly-tournament-announcement forum post] for details on upcoming tournaments dates and times, how to register, etc.

==== Salon Culture et Jeux Mathématiques (Paris, France) ====

An in-person hex tournament is held yearly by Comité International des Jeux Mathématiques as part of the [https://salon-math.fr/cijm/ Salon Culture et Jeux Mathématiques] in Paris. The event has been taking place since 2013.

== Past events ==

=== In person ===

==== HGP at PLAY Modena 2016-2018 (Italy) ====

Hex was played at the PL>Y Modena gaming festival yearly.

Photos can be found on hexduralex.wordpress.com:
* [https://hexduralex.wordpress.com/2016/04/03/hgp-at-play-modena-2016/ 2016]
* [https://hexduralex.wordpress.com/2017/04/10/ply-modena-2017/ 2017]
* [https://hexduralex.wordpress.com/2018/04/12/hgp-ply-modena-2018/ 2018]

See the event description on [https://2018.play-modena.it/2018/programma/hex-il-gioco-delle-connessioni-58/ pl>y modena 2018].

==== Salon Culture et Jeux Mathématiques 2016 (Paris, France) ====

The fourth Hex tournament organized by Comité International des Jeux Mathématiques took place on May 29, 2016 ([https://hexduralex.wordpress.com/2016/06/06/fourth-cijm-hex-tournament-in-paris/ photos]). 18 players took part in the tournament.

==== Salon Culture et Jeux Mathématiques 2015 (Paris, France) ====

Took place on May 31, 2015, organized by Comité International des Jeux Mathématiques. The tournament was dedicated to John Forbes Nash Jr., who passed away on May 23, 2015. It attracted 24 players, including some international players. The video can be found on [https://www.youtube.com/watch?v=BvJ1tBPqr2U YouTube]. Additional information can be found at [https://hexduralex.wordpress.com/2015/07/02/hex-tournament-in-paris/ hexduralex.wordpress.com].

==== First HEXX6 Tournament in Tiel, the Netherlands, on June 6th 2010 ====

Hex, Y, HavannaH, Unlur, Atoll and Pünct. More info [http://www.hexboard.com/Tournament.htm here].

==== International Tournament 2009 in Granollers (Spain) ====

More info [http://www.littlegolem.net/jsp/forum/topic2.jsp?forum=50&topic=353 here].

==== 8th Mind Sports Olympiad in Prague, 2008 ====

The [http://www.deskohrani.cz/cgi/mso/index.pl?telo=propozice.pl&text=uvod.htm&turnaj=oly&hra=hxx&jazyk=en&rok=2008 event] took place on October 1st in Prague, attracting 7 players.

==== International Tournament 2006 in Oslo ====

Took place on August 11th - 13th 2006. Photos and results can be found on [http://www.littlegolem.net/jsp/forum/topic2.jsp?forum=50&topic=244 littlegolem].

==== International Tournament 2005 in Wrocław ====

The first international Hex tournament was held in May 2005 in Wrocław, [[Poland]].

Here is some information:
* a [http://masak.org/carl/wroclaw/ blog with results]
* a page with [http://www.photos-wroclaw.prv.pl/ photos from the event]

=== Online (2011 and earlier) ===

==== Weekly real time Hex tournament on Ludoteka, 2011 ====

This is a free tournament on an 11x11 grid with a one minute time control.
See [http://www.boardgamegeek.com/thread/680832/weekly-colmena-automated-real-time-hex-tournaments here] for details.

==== Online Hex tournament for Human players at Boardspace.net starts Jan 1,2011 ====

Individual games will be played in real time, but matches will be scheduled by
opponents at an agreed date and time.
More info [http://boardspace.net/cgi-bin/tournament-signup.cgi?tournamentid=23].

==== Second Spanish Hex 13x13 Online Championship in Little Golem, 2009 ====

The Second Spanish Championship. More info at [http://spainhex.blogspot.com/ its blog].

==== Spanish Hex 13x13 Online Championship in Little Golem, 2008 ====

The first Spanish Championship started in January 2008, and it was played in [[Little Golem]] in a Round Robin (divided in groups). The winner was [[José María Grau Ribas]], [[user:Gregorio|Gregorio Morales]] finished second while José Ignacio Úbeda ended third. More info at [http://spainhex.blogspot.com/ its blog].

==== Online Team Tournament in 2003 ====

[[Team Tournament 1]]

== See also ==
[[ICGA]]

[[category: hex community]]
[[category: History]]

Talk:Swap rule

2024-10-04T00:05:16Z

Comonoid: typo

Does anybody know when the swap rule was introduced?

Apparently near the beginning of the 20th century in a game called mancala. [https://en.wikipedia.org/wiki/Pie_rule]

== Swapping the A column? ==

It has occurred to me to doubt the wisdom of swapping most of the left- or right-most columns. I'm just thinking about the templates and how they can block the opening move.

For example, on an 11x11 board, A4 is marked as a probable winner, but the bridge template played at B5 seems to be a good block and when I work it out, A4 seems to lose.
There are also template moves at C5 (ziggurat), and some fourth and fifth-row templates that seem promising.

Comments? [[User:4Dummies|4Dummies]] ([[User_talk:4Dummies|talk]]) 13:49, 8 February 2024‎

The problem is that B5 is not actually a good response to A4. Although B5 is a template and a ladder escape for White, A4 still gives Black a [[switchback]] for 2nd row ladders. Moreover, after White plays B5, it's Black's turn again, so White has lost the initiative. After A4 and B5, if Black plays anywhere near the center, Black is almost definitely winning (97-99% win rate according to [[KataHex]]). For example, H4, G5, D8 are all excellent choices for Black's next move. [[User:Selinger|Selinger]] ([[User talk:Selinger|talk]]) 19:16, 8 February 2024 (UTC)

Thanks for that. A bunch. I had just realized that B5 corresponds to an opening (swapped) at E2, which is noted as losing. So it's not so good on the face of it. However, there are taller templates that fit between A4 and the bottom of an 11x11 board, and they might be a bunch better.

Even more important in your reply was that I had never before heard of KataHex. I'm real interested in training an AI on my data. I have about 1.6 million games (no kidding) of 11x11 hex, gathered from real games and much amplified by six with a little guidance from HexHex. I don't know how to train HexHex either, but it sounds like KataHex is probably stronger. I just don't know how to do the training. My data is in HSGF format, that I process using the hexrec program that originally came from gamerecorder.

== Size 14 convention ==

If there are no objections, I'd like to switch the (*) and (+) symbols for the size 14 swap map so it's consistent with other sizes: (*) > (+) > (-) in order of fairness. (I personally think this is the most memorable ordering, (*) has the most "lines" in the symbol followed by (+) and then (-).) [[User:Hexanna|Hexanna]] ([[User talk:Hexanna|talk]]) 23:48, 2 October 2024 (UTC)

* This sounds like a good idea. I have changed that. It makes sense that each step increases the number of lines by 1. [[User:Comonoid|Comonoid]] ([[User talk:Comonoid|talk]]) 00:04, 4 October 2024 (UTC)

Talk:Swap rule

2024-10-04T00:04:22Z

Comonoid: comment

Does anybody know when the swap rule was introduced?

Apparently near the beginning of the 20th century in a game called mancala. [https://en.wikipedia.org/wiki/Pie_rule]

== Swapping the A column? ==

It has occurred to me to doubt the wisdom of swapping most of the left- or right-most columns. I'm just thinking about the templates and how they can block the opening move.

For example, on an 11x11 board, A4 is marked as a probable winner, but the bridge template played at B5 seems to be a good block and when I work it out, A4 seems to lose.
There are also template moves at C5 (ziggurat), and some fourth and fifth-row templates that seem promising.

Comments? [[User:4Dummies|4Dummies]] ([[User_talk:4Dummies|talk]]) 13:49, 8 February 2024‎

The problem is that B5 is not actually a good response to A4. Although B5 is a template and a ladder escape for White, A4 still gives Black a [[switchback]] for 2nd row ladders. Moreover, after White plays B5, it's Black's turn again, so White has lost the initiative. After A4 and B5, if Black plays anywhere near the center, Black is almost definitely winning (97-99% win rate according to [[KataHex]]). For example, H4, G5, D8 are all excellent choices for Black's next move. [[User:Selinger|Selinger]] ([[User talk:Selinger|talk]]) 19:16, 8 February 2024 (UTC)

Thanks for that. A bunch. I had just realized that B5 corresponds to an opening (swapped) at E2, which is noted as losing. So it's not so good on the face of it. However, there are taller templates that fit between A4 and the bottom of an 11x11 board, and they might be a bunch better.

Even more important in your reply was that I had never before heard of KataHex. I'm real interested in training an AI on my data. I have about 1.6 million games (no kidding) of 11x11 hex, gathered from real games and much amplified by six with a little guidance from HexHex. I don't know how to train HexHex either, but it sounds like KataHex is probably stronger. I just don't know how to do the training. My data is in HSGF format, that I process using the hexrec program that originally came from gamerecorder.

== Size 14 convention ==

If there are no objections, I'd like to switch the (*) and (+) symbols for the size 14 swap map so it's consistent with other sizes: (*) > (+) > (-) in order of fairness. (I personally think this is the most memorable ordering, (*) has the most "lines" in the symbol followed by (+) and then (-).) [[User:Hexanna|Hexanna]] ([[User talk:Hexanna|talk]]) 23:48, 2 October 2024 (UTC)

* This sound like a good idea. I have changed that. It makes sense that each step increases the number of lines by 1. [[User:Comonoid|Comonoid]] ([[User talk:Comonoid|talk]]) 00:04, 4 October 2024 (UTC)

Swap rule

2024-10-04T00:01:53Z

Comonoid: swap * and +

The '''swap rule''' states that after Red plays the first move, Blue decides whether to swap colours or not. If Blue swaps colours, Blue becomes Red and Red becomes Blue. Whichever player ends up being Blue makes the second move and then the game continues as usual.

== Reason for the swap rule ==

When playing Hex without the swap rule, the [[first player]] has a considerable advantage. The swap rule was devised to make the game more even. Namely, if the first player plays a move that is too strong, the second player will swap and be in a strong position. And if the first player plays a move that is too weak, the second player will not swap (and therefore also be in a strong position). Therefore, the swap rule creates an incentive for the first player to play a move that is as fair as possible.

The swap rule is sometimes also called the "pie rule", since it resembles the well-known "you cut, I choose" method for fairly dividing a pie between two people. Namely, one person cuts the pie in two, and the other person chooses which piece to eat. Here, the incentive for the first person is to make the two pieces as equal as possible.

Since each opening move is theoretically either winning or losing, there exists no opening move that is exactly fair. For this reason, the second player theoretically has a forced win when playing with the swap rule. However, the second player's advantage is very small, and certainly much smaller than the first player's advantage would be when playing without the swap rule.

== Implementations of the swap rule ==

Swapping can be implemented in two ways, as follows. As usual, we assume that the players are Red and Blue, with Red going first.

# '''"Swap sides":''' The players perform the swap by switching colours: Red becomes Blue and Blue becomes Red. After the swap, it is Blue's turn.
# '''"Swap pieces":''' The players perform the swap by switching pieces. This means the initial red piece is replaced by a blue piece in the mirror image position, where the mirroring takes place with respect to the board's long diagonal. For example, a red piece at a3 becomes a blue piece at c1. The players do not switch colours: Red stays Red and Blue stays Blue. After the swap, it is Red's turn.

In face-to-face play, the "swap sides" method is most practical, since it is easier for the players to switch colours than to remove and add pieces on the board. This is especially true when playing with pencil and paper. It is also less error-prone. On [[Online playing|online game sites]], the "swap pieces" method is more common, presumably because the colours are determined at the start of the game, and it is easier to change the board position than the colour designation. This also makes the game record more readable, since it is always clear which player was "Red" and which was "Blue".

== When to swap ==

The decision whether to swap is an important one. Accidentally swapping a weak move, or accidentally failing to swap a strong move, is bad for the second player.

Different players have different preferences for which moves to swap. It is generally agreed that moves near the center of the board are far too strong and should be swapped, whereas moves on the first player's own edge (except in the obtuse corner) are too weak and should not be swapped. a1 and b1 are provably losing and should never be swapped. a3–a8, a10, a11, c2, and c10 (on an 11 × 11 board) are relatively balanced, and whether or not to swap them depends on the player's preferences. a9 is fairly weak and should probably not be swapped. Of course, the same applies to the corresponding cells on the opposite side of the board.

To get an idea of which opening moves are winning, it is useful to study the situation for [[small boards]]. For boards up to size 9 × 9, the winning opening moves are known. While the winning opening moves have not been solved for boards of size 10 × 10 or greater, it is reasonable to extrapolate from the smaller board sizes. On the [[small boards]], the red hexes should be swapped, and the blue hexes should not be swapped. Fair opening moves are probably the ones that are near the boundary of red and blue.

Some strong players have suggested that when a position is roughly balanced, having an extra stone on the board usually makes the game easier to play. This means that whenever there is doubt about a move, it might be a good idea to swap it. However, the first player can take advantage of this behaviour by playing a first move that is probably losing under perfect play. This idea has been popularized by "lazyplayer" at littlegolem/igg.

Another consideration is not to use the same opening move all the time. Some players may be very familiar with particular openings. Playing an unfamiliar opening can confuse the opponent.

In the following diagrams, it is suggested that an opening move played in a red cell is probably winning and should be swapped; those in a blue cell are probably losing and should not be swapped; and those marked "*", which are near the boundary of red and blue, are probably relatively fair opening moves. It must be kept in mind, however, that these diagrams reflect somebody's subjective guess. The opening on 11 × 11 boards has not been solved, so nobody really knows for sure which moves are winning or losing. Many players have different opinions on when to swap.

=== Size 11 ===

<hexboard size="11x11"
coords="show"
contents="S red:all blue:(a1--j1 a2--i2 a3 k3)
blue:(a9 k9 c10--k10 b11--k11)
E *:(a3 a4 a6--a9 a11 c2 c10 f3)
E *:(f9 i2 i10 k1 k3--k6 k8 k9)"
/>

=== Size 13 ===

Based on [http://www.mseymour.ca/hex_book/hexstrat.html Hex: A Strategy Guide] by Matthew Seymour.

<hexboard size="13x13"
coords="show"
contents="S red:all
blue:(a1--l1 a2--k2 a3 f3--i3 m3)
blue:(a11 e11--h11 m11 c12--m12 b13--m13)
E *:(a3--a10 a13 c2 c12)
E *:(m1 m4--m11 k2 k12)"
/>

Based on the [https://littlegolem.net/jsp/forum/topic2.jsp?forum=50&topic=739 swap map] of leela_bot, a very strong computer player on LG. Moves have been marked as "close" when the odds of winning are within 10% of even (40-60%).

<hexboard size="13x13"
coords="show"
contents="S red:all
blue:(a1--l1 a2--k2 a3 m3)
blue:(a11 m11 c12--m12 b13--m13)
E *:(m1 a2 b2 c2 d2 k2 a3 f3 g3 h3 j3 m3 m4)
E *:(a10 a11 d11 f11 g11 h11 m11 c12 j12 k12 l12 m12 a13)"
/>

=== Size 14 ===
Based on [https://www.hexwiki.net/index.php/User:Mason Mason Mackaman's] explorations with [https://github.com/hzyhhzy/KataGo/releases/tag/Hex_20240812 KataHex 20240812]. '''-''' represents a win rate between 1/6 and 1/4, '''+''' represents a win rate between 1/4 and 1/3, and '''*''' represents a win rate between 1/3 and 1/2. i12 is not colored in due to the fact that whether it is winning or losing is totally unknown. KataHex suggests from placing just that stone, that it is slightly losing, but if you actually play out the lines, it is not clear who is winning.

<hexboard size="14x14"
coords="show"
contents="S red:all blue:(a1--m1 a2--l2 a3 g3 n3) none:f3
blue:(b14--n14 c13--n13 n12 h12 a12) none:i12
E -:(a3 a4 a6 a9 a10 a12 b12 c13 e12 l13)
+:(a11 a14 b4 d12 j12)
*:(f12 g12 h12 i12)
-:(c2 j3 l2 m3 n3 n5 n6 n9 n11 n12)
+:(e3 k3 m11 n1 n4)
*:(f3 g3 h3 i3)"
/>

=== Size 15 ===

Based on the swap map of [[KataHex]]. The strongest move without the swap rule, d12, has a 99.4% win percentage, corresponding to an advantage of 888 Elo points. Moves have been marked as "close" when the Elo advantage is less than 1/5 that of the best move — 178 Elo points, or within 26.5–73.5% win percentage. In some sense, these Red opening moves confer Blue (who has the swap option) an advantage of less than 1/10th of a stone.

<hexboard size="15x15"
coords="show"
contents="S red:all blue:(a1--n1 a2--m2 a3 f3--i3 o3)
blue:(a13 g13--j13 o13 c14--o14 b15--o15)
E *:(c2 e3--j3 b4 a10 a11 a15 m2)
E *:(m14 f13--k13 n12 o6 o5 o1 c14)"
/>

=== Size 19 ===

Based on the swap map of [[KataHex]]. The strongest move without the swap rule has a 95.7% win percentage, corresponding to an advantage of 539 Elo points. Moves have been marked as "close" (*) when the Elo advantage is less than 1/5 that of the best move — 108 Elo points, or within 35–65% win percentage. In some sense, these Red opening moves confer Blue (who has the swap option) an advantage of less than 1/10th of a stone.

It is worth noting that a significant number of opening moves are just outside the "close" threshold. These moves are marked with (+) and have win percentages of 32.5–35% or 65–67.5%. They are moderately balanced moves and can be interesting options if you are looking to vary your opening repertoire.

<hexboard size="19x19"
coords="show"
contents="S red:all blue:(a1--r1 a2--q2 a3 e3--n3 s3)
blue:(a17 f17--o17 s17 c18--s18 b19--s19)
E *:(c2 d3--e3 m3--p3 i4--l4 a10 a14--a16 a19)
E *:(q18 o17--p17 d17--g17 h16--k16 s10 s4--s6 s1)
E +:(a2--b2 a4 b4 f3--h3 j5 q2 a13 b17)
E +:(r18--s18 s16 r16 l17--n17 j15 c18 s7 r3)"
/>

== A more general swap rule ==

It has been suggested that one could use a more general swap rule. Under this proposal, instead of placing just one piece, the first player places any number of red and blue pieces, and state which color has the next move. Let's assume that the first player has placed N stones in the board. The second player then can start playing Hex with one color of his choice or, if he fears that the other player has an excessive advantage due to home preparation, he can swap roles with the first player, remove all stones from the board and place at most N-1 stones as he wants. This rule has been first proposed by "lazyplayer" at littlegolem/igg. However, it is not widely used, nor implemented by any [[online playing|game sites]].

==See also==

[[Basic (strategy guide)#10_.C3.97_10_swap_rules|Guideline for 10x10 board size]], in the basic strategy guide.

==External links==

[http://www.cs.cmu.edu/People/hde/hex/hexfaq/ A FAQ about Hex]

[http://www.cs.ualberta.ca/~queenbee/openings.html A more complete site] with solutions to size 7. Beware, the colours are inverted, vertical is blue there.

[[category: Opening]]
[[category: Basic Strategy]]
[[Category: Rules and Conventions]]

Online playing

2024-10-01T13:47:09Z

Comonoid: reorder the list

Hex can be played online either using a web-based format or via e-mail.

=Web-based games=

Web-based games can be played either in ''real-time'', where moves are made within minutes (or even seconds), or ''turn-based'', where a player has days for one move.

==Realtime playing sites==

The most popular sites (approximatively ordered by the number of hex games played on them daily) are:
* [[Board Game Arena]] supports real-time as well as turn-based play
* [[Kurnik|PlayOK (Kurnik)]] for real-time play with rankings, game records, tournaments
* [https://playhex.org/ PlayHex] by Alcalyn. Real-time and turn-based play.
* [[igGameCenter]] for real-time play, with time settings, and ranking (it has many connection games).
* [[boardspace]] for real-time play
* http://www.ludoteka.com/ for real-time play
* [https://hex.plus Hex+] for high speed real-time play

==Turn-based playing sites==

* [[Little Golem]]
* [[Board Game Arena]]
* [https://playhex.org/ PlayHex]
* See also [http://www.gamerz.net/pbmserv Richard's server]. One can play completely by e-mail, but it also has a [http://www.gamerz.net/pbmserv/List.php?Hex graphical interface] now. Furthermore any sized board is supported.
* [https://play.abstractplay.com/ Abstract Play]
* Hex may also be played over e-mail, in a turn-based fashion, with [[Unicode and ASCII boards]].

==Services for game analysis==

There are some services in the net, which help one play out different variations, analyze the games and share game records.

* [https://hexworld.org/board HexWorld] has an interactive board that can be shared as a link. It has all board sizes up to 31.

* [https://www.trmph.com/hex/board TRMPH] has 3 board sizes: 11, 13 and 19. It can import games from [[Little Golem]].

* [http://www.hexmaster.net/ Hex master] is a service for analyzing and commenting games from [[Little Golem]].

* [https://minortriad.com/ahex.html AHex] is a service for analyzing games, including variations. See the extensive help page for more info. [[Little Golem]] provides a link to analyze games using this service.

== See also ==

* [[Hex clubs]]

[[category: Hex community]]
[[category: online play]]

Edge template VII1a

2024-06-27T20:00:49Z

Comonoid: update the .hdg file

Template VII-1a is a 7th row [[edge template]] with one stone.

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1"
/>

This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.

The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver. The [https://web.archive.org/web/20240627114530/https://cdn.discordapp.com/attachments/964029738161176630/1255850706309611551/VIItest2.hdg?ex=667ea19c&is=667d501c&hm=623c912e095778202aee54e261f16e741a45218e85a1c12d76aa4a4b88305244& VIItest2.hdg] file is additionally required.

== Defending the template ==

This template is too complex to be described in full, however, some of the possible lines include:

Blue's [[Blocking|adjacent block]] may continue as follows ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m2 R 14:h5 B 15:h6 R 16:i5 B 17:i6 R 18:j5 B 19:j6 R 20:k5 B 21:k6 R 22:m5 B 23:l5 R 24:m3 B 25:m4 R 26:o3"
/>

Another continuation of the adjacent block, involving the [[Tom's move#Tall variant|tall variant]] of Tom's move ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m3 R 14:l3 B 15:k5 R 16:m2 B 17:n3 R 18:h5 B 19:h6 R 20:j5 B 21:i7 R 22:j6 B 23:j7 R 24:k6 B 25:k7 R 26:n5 B 27:m6 R 28:l6 B 29:l7 R 30:o3 B 31:n6 R 32:p5"
/>

[[category:edge templates]]

User:Comonoid

2024-06-04T19:37:13Z

Comonoid:

I first played Hex in late 2019 and started learning Hex in September 2021. I'm also comonoid on Board Game Arena, Little Golem, PlayHex, iggc.

HexProver

2024-06-04T19:18:38Z

Comonoid: add date

HexProver is an interactive tool for verifying Hex templates created by user mirefek in September 2023 and shared on the [[Hex forums|Hex Discord]]. It does not employ brute-force search, instead helping the user to manually prove the validity of a template.

The tool allows to "split goals" and verify parts of the template independently. With the "Automation" button enabled, proofs of the subtemplates are automatically reused in a different board configuration (however, as for now, subgoal proofs are not position-independent or symmetry-independent). The proven theorem is saved to a text-based file with the .hpf extension, including the used lemmata. The template itself is described as an ASCII hexagonal board in the .hdg files. Once a template is fully verified, one can play as the template's intruder and see all the possible responses.

For further information, consult the project's GitHub page.

== External links ==

[https://github.com/mirefek/HexProver GitHub repository]

HexProver

2024-06-04T19:16:03Z

Comonoid: Add basic information on mirefek's HexProver

HexProver is an interactive tool for verifying Hex templates created by user mirefek and shared on the [[Hex forums|Hex Discord]]. It does not employ brute-force search, instead helping the user to manually prove the validity of a template.

The tool allows to "split goals" and verify parts of the template independently. With the "Automation" button enabled, proofs of the subtemplates are automatically reused in a different board configuration (however, as for now, subgoal proofs are not position-independent or symmetry-independent). The proven theorem is saved to a text-based file with the .hpf extension, including the used lemmata. The template itself is described as an ASCII hexagonal board in the .hdg files. Once a template is fully verified, one can play as the template's intruder and see all the possible responses.

For further information, consult the project's GitHub page.

== External links ==

[https://github.com/mirefek/HexProver GitHub repository]

Edge template VII1a

2024-06-04T17:59:29Z

Comonoid: Add .hdg file

Template VII-1a is a 7th row [[edge template]] with one stone.

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1"
/>

This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.

The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver. The [https://web.archive.org/web/20240604175738/https://cdn.discordapp.com/attachments/964029738161176630/1180149066726903879/VIItest2.hdg?ex=666071f7&is=665f2077&hm=e81eddc5b4bdba46111bd58e1b9f2ed692e6e08b7a3dee2fe655adf346dd05ec& VIItest2.hdg] file is additionally required.

This template is too complex to be described in full, however, some of the possible lines include:

Blue's [[Blocking|adjacent block]] may continue as follows ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m2 R 14:h5 B 15:h6 R 16:i5 B 17:i6 R 18:j5 B 19:j6 R 20:k5 B 21:k6 R 22:m5 B 23:l5 R 24:m3 B 25:m4 R 26:o3"
/>

Another continuation of the adjacent block, involving the [[Tom's move#Tall variant|tall variant]] of Tom's move ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m3 R 14:l3 B 15:k5 R 16:m2 B 17:n3 R 18:h5 B 19:h6 R 20:j5 B 21:i7 R 22:j6 B 23:j7 R 24:k6 B 25:k7 R 26:n5 B 27:m6 R 28:l6 B 29:l7 R 30:o3 B 31:n6 R 32:p5"
/>

[[category:edge templates]]

Edge template VII1a

2024-06-04T17:49:35Z

Comonoid: wording

Template VII-1a is a 7th row [[edge template]] with one stone.

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1"
/>

This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.

The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver.

This template is too complex to be described in full, however, some of the possible lines include:

Blue's [[Blocking|adjacent block]] may continue as follows ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m2 R 14:h5 B 15:h6 R 16:i5 B 17:i6 R 18:j5 B 19:j6 R 20:k5 B 21:k6 R 22:m5 B 23:l5 R 24:m3 B 25:m4 R 26:o3"
/>

Another continuation of the adjacent block, involving the [[Tom's move#Tall variant|tall variant]] of Tom's move ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m3 R 14:l3 B 15:k5 R 16:m2 B 17:n3 R 18:h5 B 19:h6 R 20:j5 B 21:i7 R 22:j6 B 23:j7 R 24:k6 B 25:k7 R 26:n5 B 27:m6 R 28:l6 B 29:l7 R 30:o3 B 31:n6 R 32:p5"
/>

[[category:edge templates]]

Edge template VII1a

2024-06-04T17:35:37Z

Comonoid: fix link title

Template VII-1a is a 7th row [[edge template]] with one stone.

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1"
/>

This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.

The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 on the Hex Discord at Jun 4, 2024) and viewed in HexProver.

This template is too complex to be described in full, however, some of the possible lines include:

Blue's [[Blocking|adjacent block]] may continue as follows ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m2 R 14:h5 B 15:h6 R 16:i5 B 17:i6 R 18:j5 B 19:j6 R 20:k5 B 21:k6 R 22:m5 B 23:l5 R 24:m3 B 25:m4 R 26:o3"
/>

Another continuation of the adjacent block, involving the [[Tom's move#Tall variant|tall variant]] of Tom's move ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m3 R 14:l3 B 15:k5 R 16:m2 B 17:n3 R 18:h5 B 19:h6 R 20:j5 B 21:i7 R 22:j6 B 23:j7 R 24:k6 B 25:k7 R 26:n5 B 27:m6 R 28:l6 B 29:l7 R 30:o3 B 31:n6 R 32:p5"
/>

[[category:edge templates]]

Edge template VII1a

2024-06-04T17:34:53Z

Comonoid: fix link

Template VII-1a is a 7th row [[edge template]] with one stone.

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1"
/>

This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.

The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19&] (shared by Bobson8 on the Hex Discord at Jun 4, 2024) and viewed in HexProver.

This template is too complex to be described in full, however, some of the possible lines include:

Blue's [[Blocking|adjacent block]] may continue as follows ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m2 R 14:h5 B 15:h6 R 16:i5 B 17:i6 R 18:j5 B 19:j6 R 20:k5 B 21:k6 R 22:m5 B 23:l5 R 24:m3 B 25:m4 R 26:o3"
/>

Another continuation of the adjacent block, involving the [[Tom's move#Tall variant|tall variant]] of Tom's move ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m3 R 14:l3 B 15:k5 R 16:m2 B 17:n3 R 18:h5 B 19:h6 R 20:j5 B 21:i7 R 22:j6 B 23:j7 R 24:k6 B 25:k7 R 26:n5 B 27:m6 R 28:l6 B 29:l7 R 30:o3 B 31:n6 R 32:p5"
/>

[[category:edge templates]]

Edge template VII1a

2024-06-04T17:32:09Z

Comonoid: Added bobson's hexprover proof, added two possible lines

Template VII-1a is a 7th row [[edge template]] with one stone.

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1"
/>

This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.

The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/save/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 on the Hex Discord at Jun 4, 2024) and viewed in HexProver.

This template is too complex to be described in full, however, some of the possible lines include:

Blue's [[Blocking|adjacent block]] may continue as follows ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m2 R 14:h5 B 15:h6 R 16:i5 B 17:i6 R 18:j5 B 19:j6 R 20:k5 B 21:k6 R 22:m5 B 23:l5 R 24:m3 B 25:m4 R 26:o3"
/>

Another continuation of the adjacent block, involving the [[Tom's move#Tall variant|tall variant]] of Tom's move ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 HexWorld]):

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m3 R 14:l3 B 15:k5 R 16:m2 B 17:n3 R 18:h5 B 19:h6 R 20:j5 B 21:i7 R 22:j6 B 23:j7 R 24:k6 B 25:k7 R 26:n5 B 27:m6 R 28:l6 B 29:l7 R 30:o3 B 31:n6 R 32:p5"
/>

[[category:edge templates]]

User:Comonoid

2024-03-30T15:16:52Z

Comonoid:

I first played Hex in late 2019 and started learning Hex in September 2021. I'm also comonoid on Board Game Arena, Little Golem, PlayHex, iggc.

=== Some lines for Template VII-1a ===

The template: [https://www.hexwiki.net/index.php/Edge_template_VII1a Template VII-1a]

[https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 First line (hexworld)]

[https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 Second line (hexworld)], involving the tall variant of Tom's move

User:Comonoid

2023-12-01T16:37:32Z

Comonoid:

I play Hex since 2019. I am also comonoid on Board Game Arena and Little Golem.