やったこと

インド

ATVA&APLAS 2日目。発表の日だった。

とりあえず朝にGeminiで発表原稿を作り、それを読むことにする。
練習する時間はないので仕方ない。
そして発表する部屋に行ってみたら、プロジェクタとの接続がなんか上手くいかなくて困った。
先生のパソコンを借りて、そちらで接続することで事無きを得たが、一時はどうなることかと思った。
発表原稿が読めなくなると困る。

どうにか発表を終えたので午後はぼんやりとしていた。
疲れていてあまり他の発表などを覚えていない。
夕飯は同僚たちとインドのレストランに行った。本格的なバターチキンカレーが食べれて良かった。

数独

発表が終わったあとはなんとなく数独について考えていた。
とりあえず簡単な直感として次のルールを実装して、どれくらい解けるのか試していた。

• 候補が1つしか無いマスは確定させる
• ある数字の入るマスが1つしかない行・列・ブロックのその数字のマスは確定させる

ある程度難しい問題でない限り、これらのルールだけで解けることが多いように感じた。
もっと難しいと、X-ウイングやXY-ウイング、ネイキッド・ペア/トリプルのようなテクニックが必要になるっぽい。
とくにネイキッド系のルールは実装した方が、解ける範囲が広がりそうではある。

最終的にはバックトラッキングすればいいのだが、ルールベースでどんな問題でも解ける方法は無いのか調べてみていた。
どうもそれは難しいっぽいのだが、一方でバックトラッキングの深さは高々2くらいっぽい、という研究があることが分かった。

https://arxiv.org/abs/1304.1628

この辺も面白そうなのでもうちょっと勉強してみたい。