Games●●●●●Difficulty 5 of 5

Why does the difficulty of Go depend on a rule about repeating positions?

Under Japanese rules Go is EXPTIME-complete, but under the superko rule used in most Chinese and US rulesets nobody knows its complexity class.

▶ Start the story

Because the rule decides whether a game of Go can go in circles. Computer scientists sort problems into complexity classes by how much time or memory they need as they grow. EXPTIME, for example, holds the problems a computer can solve in exponential time, and PSPACE those it can solve with a polynomial amount of memory. Imagine Go played on boards of any size: how hard it is to decide who wins a position depends crucially on the ko rule. With Japanese ko rules, which forbid only the basic ko (a move that reverts the board to the position one move earlier), Go is EXPTIME-complete. With superko, which forbids repeating any earlier position and is used in most Chinese and US rulesets, it is an open problem what the complexity class of Go is.

The tiny rule matters because Go is almost in PSPACE: in normal play moves are not reversible, and only captures allow the repeating patterns that would make it harder. Japanese rules allow longer repeating cycles, such as the triple ko that allows a cycle of 12 moves, and so a game could loop forever. Superko is subtler: Robson, who proved the Japanese-rules result, showed that in some games the superko rule means even finding the legal moves can require exponential space, because the history leading up to a position can be exponentially long. For Go under superko, both bounds of his proof break.

Two ways to handle repeating positions

Japanese ko

  • Forbids only the basic ko
  • Longer cycles allowed, such as a 12-move triple ko
  • Go is EXPTIME-complete

Superko

  • Forbids any repeated board position
  • Used in most Chinese and US rulesets
  • Complexity class is an open problem

The scale of Go was noticed long before computers. In the 11th century the Chinese scholar Shen Kuo estimated in his Dream Pool Essays that there are around 10^172 possible board positions. More recently John Conway's research on Go led to the surreal numbers. The point of all this is that "how hard is Go?" has no single answer: it depends on exactly which rules you play by.

about 10^172

board positions, estimated by Shen Kuo in the 11th century

Quiz me

0/3

  1. 1.Why does the ko rule matter for how hard Go is?
  2. 2.Why is Go's complexity under the superko rule an open problem?
  3. 3.What kind of problems does the complexity class EXPTIME contain?

Recap

A small rule about repeating positions changes the complexity of Go from exponential-time-complete to unknown.

💡 A trick to remember it · Allow loops and Go is EXPTIME-complete; ban every repeat and the history grows too long to know.

Surprising fact · Without ko Go is PSPACE-hard, and a ladder race alone is PSPACE-complete.

Sources (3)

No source, no claim. Every fact in this lesson (20 claims) cites at least one of these.

  1. [1]Go and mathematics · Wikipedia
  2. [2]EXPTIME · Wikipedia
  3. [3]PSPACE · Wikipedia
More lessons in 🎲 Games (3) See all games lessons →

One more light on your map.

Get one lesson like this every day, about the things you love. Free, in two or five minutes.

Get the share card for this lesson ↗