26/7/2014
スリザーリンクを解くプログラムができた。
1.表出数字まわり
表出まわりの条件を入力文を数字全部に対して書く x0203 + x0403 + x0302 + x0304 = 2
縦2ケタ横2ケタのインデックスは
プ:枠線も含めてテーブルで持つの方法で表現している。偶数偶数は十字偶数奇数は横線奇数偶数が縦線奇数奇数がマスメ
x0203 は(2,3)の横線がないかあるか 0 or 1。…
続きはこちら
18/7/2014
問題サッカー2・5 サッカーで11人いて 背番号が1~11番までついている。 背番号1の人からパスをつないでいって、 全員に1回ずつボールがまわって 最終的に背番号11の人がゴールした。 全部で10回あるパスのどれもが、 背番号の差で2か5になっていた。 さて、どんなパスまわしだったでしょうか?
答えは唯一解。 いかがでしょうか?
#################
これをSCIPで解いてみようという…
続きはこちら
11/7/2014
スリザーリンクを整数計画で解こうとすると
「全体的に1個のループ」というルールが書きにくい。ネットを検索するとそういう記事にあたるし、自分もそう思う。
それをやや遠くに見据えて以下のような練習。
点p1~p7まであって線でつながっていたり、いなかったり。
…
続きはこちら
6/7/2014
この写真。
トイレットペーパーの芯をそのまま折ると正四面体が2個できる。だいたい。
正四面体の展開図の4つ
正方形正三角形が並んでるもの(下の図の赤)は円筒(=円柱の側面だけ)の展開図でもあるわけで。トイレットペーパーの芯はそれの2回分なのだ。だいたい。
追加:20140707 こんな感じの緩衝材があったよな確かと思い検索してみた。 あった。トリコンM。
http://ospack.net/produ…
続きはこちら
2/7/2014
最近、パズルをプログラムで解いている。
ソルバー(といわれるもの)に興味を持ち、ガサガサとネット中を検索して。
数独、お絵かき19(いわいオリジナル)、シャカシャカが解けるところまでできた。
ネットの中をガサガサ検索したわけで、scip の他に調べたものsugar という総合的な制約ソルバーsat 充足可能性問題ソルバー(用語の指し示す範囲がばらついているので注意)
今出来ているのは、…
続きはこちら
1/7/2014
P型ペントミノの2倍のrep-tile構成 2種
それだけ。…
続きはこちら
プログラム的なアイデア
ペンシルパズルにおいては、マスだけでなく、枠線にも着目するものもある。
数独 マス内の数字に意味あり
スリザーリンク 枠線に着目 線をひく/ひかない 枠線個数指定としてマスも意味あり
プログラムで解こうとしたときにデータの管理をMasu masuTable[3,5];Yokosen yokosenTable[4,5];Tatesen tatesenTable[3,…
続きはこちら