で、できたのがこの問題文。
ボム付きutf
lpというフォーマットで、SCIP以外にも使えるという話もあるが、自分はまだ未経験。
これをSCIPにかけると答えが出る。
問題でいうと、もともとの
1212
3313
2121
2132
向け
twinsnake.lp内のinitial conditions部分を書きかえれば、他の表出数字を解くのにも使える。
別解を解くためには、1個出た答えとバッティングしないように式を足して、もう一度、SCIPにかける。
今回の問題は、思い込みで唯一解だと思っていたが。
解いてみると、3解あった。オー、そうなんか。
蛇の模様でいうと、
//////////////////////////////////////////////
自分で作った問題を掲載 4問
えーー、唯一解
下の二つは4を2個入りにしたが、それは問題を手で解くときの足掛かりにはなるよね。
おわり