3×3のライツアウトの解法

ライツアウトとはライツアウトは、90年代の日本で流行したパズルゲームです。 n×nのセルの中から任意のセルをタップすることで、それ自身とそれに隣接するセルの点灯・消灯が切り替わります。 例えば、上図の状態で真ん中のセルをタップすると、下図ようになります。 このような操作を繰り返し、最終的に全てのセルを消灯(=ライツアウト)させることができればクリアです。 注意ひとつ注意点として、本記事で紹介する解法は、そのセルをタップすべきか、すべきでないかを、ひとつずつ吟味してゆく