29/10/2020

続きはこちら

• コメント (0)
• トラックバック (0)

24/10/2020

テキソミノをポリキューブにしたものがある。１個赤いのは特に意味はなく、パーツが足らなくなったからｗ

ひねってもしょうがないので、問題にするなら。。。この同じパーツを何個か使って、直方体にして。ということで。
懇話会メンバー白川さん提供の情報から。

続きはこちら

• コメント (0)
• トラックバック (0)

デジタル数字には、フみたいな７とクみたいな７がある。

クみたいな７は世界的には一般的ではな、日本（などいくつかの国）の方言みたいなものなのだと。
ということなのだが、ここで、パズルっぽい問題で上の図二つの７の公倍図形はどうなるだろうか？
最小裏返しなし無限パタン…

続きはこちら

• コメント (1)
• トラックバック (0)

15/10/2020

で、できたのがこの問題文。twinsnake.lp ボム付きutflpというフォーマットで、SCIP以外にも使えるという話もあるが、自分はまだ未経験。これをSCIPにかけると答えが出る。問題でいうと、もともとの1212331321212132向けtwinsnake.lp内のinitial conditions部分を書きかえれば、他の表出数字を解くのにも使える。
別解を解くためには、１個出た答えとバッ…

続きはこちら

• コメント (0)
• トラックバック (0)

13/10/2020

続きはこちら

• コメント (0)
• トラックバック (0)

11/10/2020

ツインスネークSCIPのその３。
式③ 蛇パーツa3が、マス目c11にがあれば、そこに向かうリンクがある。（左の図）
式でいえば、a3_c11 - a2_c01_a3_c11 - a2_c21_a3_c11 - a2_c10_a3_c11 - a2_c12_a3_c11 = 0
変数⑤ここで、a2_c01_a3_c11は「a2がc01にあってa3がc11にある」というバイナリ変数。
式の意味合いは、a2_…

続きはこちら

• コメント (0)
• トラックバック (0)

ツインスネークを整数計画ソルバーのSCIPで解く。その２。もとの問題の盤面は、参考に、手で解いてくと、左上の３３のところはつながらない。左下の２２のところはつながらない。右上の１１がつながっているなら、左下の１１もつながっていて別蛇。。。みたいな感じで。
等式、あるいは不等式を立てて、SCIPにかければニョロニョロっと解いてくれる。式を立てていく。
式①蛇Aの頭パーツa0はc00-c33のどれか１つの…

続きはこちら

• コメント (0)
• トラックバック (0)

10/10/2020

続きはこちら

• コメント (0)
• トラックバック (0)