ペンシルパズルの「天体ショー」を整数計画問題として定式化してソルバーを使って解いてみた。 これは数理最適化 Advent Calendar 2020の19日目の記事です。 天体ショー ペンシルパズルだとピクロスや数独が有名だけど、天体ショーもその一つ。 いろいろなペ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。