数独の双対問題

双対理論は数理最適化の基礎となる理論の一つであるが、パズルの一種である数独についても双対問題を定義した論文がでている。

Duality for Sudoku
http://arxiv.org/abs/1301.0790

数独を整数計画問題として定式化して、それを双対問題にしている感じのように読める。
数独を数学としてどう扱うかには詳しくないが、整数計画問題への定式化は一意とは限らない可能性があるので、別の定式化で似たような結果も出せるかもしれないし、逆に双対問題を定式化できるようなパズルを考えるのも面白いかもしれない。

今日の作業内容：報告書作成準備 3h
今日のランチ：味庵 厚揚げと豚の角煮炒め
明日の予測作業時間：3h