Shannon switching game

The Shannon switching game is a connection game for two players, invented by American mathematician and electrical engineer Claude Shannon, the "father of information theory" some time before 1951. Two players take turns coloring the edges of an arbitrary graph. One player has the goal of connecting two distinguished vertices by a path of edges of their color. The other player aims to prevent this by using their color instead (or, equivalently, by erasing edges). The game is commonly played on a rectangular grid; this special case of the game was independently invented by American mathematician David Gale in the late 1950s and is known as Gale or Bridg-It.
Rules.
The game is played on a finite graph with two special nodes, "A" and "B". Each edge of the graph can be either colored or removed. The two players are called "Short" and "Cut", and alternate moves. On Cut's turn, Cut deletes from the graph a non-colored edge of their choice. On Short's turn, Short colors any edge still in the graph. If Cut manages to turn the graph into one where "A" and "B" are no longer connected, Cut wins. If Short manages to create a colored path from "A" to "B", Short wins. The game always terminates after a finite number of moves, and one of the two players has to win. Either Short, Cut, or the player moving first is guaranteed the existence of a winning strategy on any given graph.
The "Short" and "Cut" games are a duality; that is, the game can be restated so that both players have the same goal: to secure a certain edge set with distinguished edge "e". Short tries to secure the edge set that with "e" makes up a circuit, while Cut tries to secure an edge set that with "e" makes up a cutset, the minimal set of edges that connect two subgraphs.
Variants.
Versions of the Shannon switching game played on a directed graph and an oriented matroid have been described for theoretical purposes; but no corresponding commercial games have been published.
Gale.
In this game invented by American mathematician David Gale and described in Martin Gardner's column in "Scientific American" Oct. 1958, two grids of differently-colored dots are overlaid at an offset. One player links orthogonally adjacent dots on one grid, and the other player uses the other. One player attempts to link the top of their grid to the bottom, while the other tries to link their left side to the right. The game is equivalent to the Shannon switching game played on a rectangular grid. No draw can result; the first player can always win with correct play.
A commercial board game implementing the scheme was marketed in 1960 by Hassenfeld Brothers under the name Bridg-It. The game consisted of a plastic board with two interleaved 5x6 rectangular grids of pedestals (one set yellow, the other red), two sets of 20 each red and yellow plastic bridges, and matching pegs to mount them on. Players alternate placing a bridge across any two adjacent pedestals of matching color until one player connects the two opposite sides of the board marked in the player's color. A variant of the game is described in the instructions: each player gets a limited number of bridges, say 10. If neither player has won when all the bridges are placed, a player in his turn, may reposition one of his bridges until a winner results. The game is long out of production.
An electronic implementation of the Game of Gale is available in the Ludii Games Portal.
Relationship to other games.
The Shannon switching game can be seen as a special case of a Maker-Breaker game, in which the winning patterns for the Maker are connecting paths.
A weakly-related connection game Hex is played on a grid of hexagons, and has 6-connectivity. Generalized Hex is played on a graph, just like the Shannon game, but instead of coloring the edges, in Hex the players color the vertices. These games have completely different structure and properties.
Another connectivity game played with paper and pencil on a rectangular array of dots (or graph paper) is the children's game of "dots and boxes". Players alternate drawing in a vertical or horizontal line connecting any two adjacent dots. When a line completes a square, the player initials the square. After all the lines have been filled in, the player who has taken the most squares is the winner.
An extension of Gale, called Qua, is played by three players on a 3D game board cube composed of a grid of N3 cells. N is an odd number equal to the number of cells along the edges of the game board cube. The initial Qua Cube game board layout and rules are described at its Board Game Geek entry.
Computational complexity.
An explicit solution for the undirected switching game was found in 1964 for any such game using matroid theory. "Short" should aim for a position in which there exist two disjoint subsets of the remaining unchosen edges such that either of the two subsets would connect the two distinguished vertices. If "Short" can make a move that results in a position with this property, then "Short" can win regardless of what the other player does; otherwise, "Cut" can win.
Unlike some other connection games, which can be PSPACE hard, optimal moves for the undirected switching game can be found in polynomial time per move. After removing from the graph the edges chosen by "Cut", and contracting the edges chosen by "Short", the resulting graph is a minor of the starting graph. The problem of testing for the existence of two disjoint trees, each connecting the distinguished vertices, can be represented as a matroid partitioning problem, which can be solved in polynomial time. Alternatively, it is possible to solve the same problem using network flow algorithms.