コンピュータ囲碁研究の歴史

1980年代
囲碁の複雑さ
コウなし	: PSPACE-hard  [Lichtenstein, 1980]
コウあり	: EXPTIME-complete [Robson, 1983]
シチョウ	: PSPACE-complete [Tromp, 2000]
要は「難し〜い問題だということが証明された」ということ