2006-11-26 マインスイーパの力 趣 マインスイーパは論理回路のゲートと配線をシミュレートできてNP完全なんだそうな。 Minesweeper is NP-complete 配線の Cross over がちゃんとできているところがすごい。NOTの"2種類"というのがなんか卑怯くさい。90度回しただけやん。さらに、無限平面上のマインスイーパに至ってはチューリング完全。 Infinite versions of minesweeper are Turing complete(pdf) たしかに論理回路シミュレートができるなら、あとは無限の空間リソースを得ることでデジタル計算機が構成できるのでチューリング完全になりますね。マインスイーパ、すごいよマインスイーパ。