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. 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, he deletes from the graph a non-colored edge of his choice. On Short 's turn, he colors any edge still in the graph. If Cut manages to turn the graph into one where A and B are no longer connected, he wins. If Short manages to create a colored path from A to B, he 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 boardgame 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, 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.

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 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.
A three-dimensional abstract strategy connection game extension of Gale, called Qua, is played by three players on a 3D game board grid composed of N3 cells in the shape of a cube. N is an odd number equal to the number of cells along the edges of the game board cube.

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.