いものやま。

雑多な知識の寄せ集め

2020-12-19から1日間の記事一覧

天体ショーを整数計画問題で解いてみた。

ペンシルパズルの「天体ショー」を整数計画問題として定式化してソルバーを使って解いてみた。 これは数理最適化 Advent Calendar 2020の19日目の記事です。 天体ショー ペンシルパズルだとピクロスや数独が有名だけど、天体ショーもその一つ。 いろいろなペ…