この記事はペンシルパズルI Advent Calendar 2021 - Adventarの16日目の記事である。 天体ショーについて書く。とりとめなく書くことを許されたい。

以前PuLPを使ってみた記事を書いた（ PuLPで簡単なカックロを解いてみる - pzdcの雑記 ）が、誤りがあった。 PuLPでは「!=」が使えないらしい。面倒だが、あるマスにある数が入るかどうかのブール変数を作る必要があるようだ。

最近になってプログラマーもすなる最適化というものに興味が出てきた。 今回はPythonのPuLPで簡単なカックロを解いてみたい。 記事中の追記の通り、この記事には誤りが含まれる

波及効果で、図１の形を考える。 図１ 波及効果の形 斜め45の鏡映面があることがわかる。中央には2回回転対称軸がある。 この形には解があるが、唯一解ではない。以下で説明する。

メジリンクで下図の形を考える。 図１ メジリンクの形

るっくえあで次の形を考える。 図１ 中央に注目

バーンズで、図1に示す形を考える。 図１