枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2019年11月14日(木)
これは正真正銘のむりかべ(準急さんのソルバーで360s越え)
pzv.jp/p.html?nurikab...
puzsq.sakura.ne.jp/main/puzzle_pl... pic.twitter.com/gEqpPna2Os
タグ：
posted at 00:09:07
数理最適化によるパズルの解法
nbviewer.jupyter.org/gist/Tsutomu-K...
整数計画法によるぬりかべソルバ
ニコリ8x8が解けなかったのでこのままではきびしい。
タグ：
posted at 00:09:25
蟻コロニー最適化でぬりかべを解く論文(2019.6)
www.researchgate.net/publication/33...
結果を見るにむりかべには厳しそうな感じ。
(標準難易度で24x14サイズまでしか解けていない)
タグ：
posted at 00:22:30
Pythonで書かれたSATソルバによるぬりかべ求解プログラム
他のパズルは動いたけどぬりかべだけバグってるっぽい？悲しい。
github.com/keenerd/satisf...
タグ：
posted at 00:36:43
Solvers and Other Programs for Japanese Puzzle Games
www.shlomifish.org/open-source/pr...
Still very partialって書いてあるし試さなくていいかな......
タグ：
posted at 00:37:51
話題になってるぬりかべソルバーって昔 github に置いたやつかな、探索はあまり工夫してないけど手筋はそれなりに組み込んであって計算量も配慮してるのでそこそこ速いはず
タグ：
posted at 01:47:29
調べた。ペントミノパズルの解の列挙の論文は参照できなかったので代わりに
ipsj.ixsq.nii.ac.jp/ej/?action=pag...
から立体ペントミノパズルの解の列挙の方を参照。
バックトラックで1分で解けるのに2000分掛かっているという内容でマジかってなる。
たぶんペントミノの方も良くなさそう。
タグ：
posted at 02:22:14
両方の列挙の元となった手法はKnuthの畳敷き詰め問題の解法らしい。そちらを参照することに。
The Art of Computer Programming Volume 4Aに記載があるとのことで日本語/pdf版を購入
tatsu-zine.com/books/taocp-vo...
タグ：
posted at 02:22:14
読む。ZDDは単純経路以外にも厳密被覆問題に適しており、
例えばチェス盤にドミノを敷き詰める方法は12,988,816通り、
モノミノ, ドミノ, トロミノで敷き詰める方法は92,109,458,286,284,989,468,604
などが瞬時に求まるとのこと。 pic.twitter.com/Cynr5JEvFR
タグ：
posted at 02:22:16
立体ペントミノに拡張する時にどうして数千倍以上に時間が掛かるかはわからず。
ぬりかべはピースの種類もペントミノよりはるかに多いし、黒マスもあるし、厳密被覆に帰着させるのは厳しそう。守備範囲外っぽい。
KnuthもZDD/BDDは万能ではなくて武器が2個増えただけだと書いてた。 pic.twitter.com/tC0sMK4avR
タグ：
posted at 02:22:18
パズルソルバの高速化の話、データ構造の工夫のような競プロ的高速化も学びたいな......。
semiexp.hatenadiary.org/entry/20100828...
のUnion Findを利用した内外の同じ側/違う側の管理の話とか。
タグ：
posted at 02:54:31
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
やーでも算数力なるものが能力としてカウントされて、それで食っていけるのなら僕はありがたいです。とはいえ具体的にどうやってお金や飯に還元するかいまいちわからんので、いろいろ調べないと＆教えてください...
タグ：
posted at 11:46:56
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
今井洋輔（パズル屋たまにジャグラー） @puzzle_101
有名人の名前を探すパズル（シークワード）です。斜めにも隠れています。
最終解答は余った文字を上から読んでできる８文字の言葉。
最終解答を見て「おや」と思ったらRTやイイネをいただけると嬉しいです。 pic.twitter.com/eymafaGY4K
タグ：
posted at 12:45:10
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ところで性能テストで言うと、トケタ？vol.4に載ってるゴマ卵さんのぬりかべ(インタビューにあるやつ)3問がどれも解が出なかったので、あれも性能テストに使えると思います。
タグ：
posted at 18:53:57
シャカシャカの2マスペアにする推論結構好き(1の周りで2マス白だと矛盾→残り2マスが白ってやつ)。昔からあったっぽいけど、最近認知できたのはぬりみさきの影響だと思う。
タグ：
posted at 19:08:24
てかペンパソルバーの話はすごく興味あるのに全然作り方が分かんなくて困ってるんよね。人にせびってばっかりで申し訳ないし、かといって本当にとっかかりがないし。競プロとかやってるし、せっかくだからいろいろ作って遊びたいなぁ。
タグ：
posted at 19:16:39
先日作った「作者本人が何回解いても1時間以上かかるパズル」は、しばらくたつと「また解いてみようかな」と思ってしまったので意外と成功なのかもしれない。
難しすぎる、とボツになるかもしれないんだけど、生き残ってほしいわ。
タグ：
posted at 20:51:50
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
これはシャカシャカのルールをsatソルバーで解けるよう論理式に置き換えてあげるための図。pycosatでやってたけど大体忘れてしまった。定期的に触らないと分からなくなってしまう
タグ：
posted at 22:17:42
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
あれっ、ポップンの公式サイトを見に行って気づいたのだけど、過去のボルテからの移植曲が選べるようになっているですと…？
タグ：
posted at 22:33:16
非公開
タグ：
posted at xx:xx:xx
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
ピアノの練習を優先させたい時期ではあるけども、ポップンも少しさわりたい気がしてきたであります。
タグ：
posted at 22:51:08
非公開
タグ：
posted at xx:xx:xx
解き直しを録画したので載せておきます。これで2分くらい。ということは手がかり発見に30秒くらいかかってるのかな。 #ヤジリン早解き大会 pic.twitter.com/rMBpgrpZlU
タグ： ヤジリン早解き大会
posted at 23:03:45
最近の中では難易度抑えめでしたが、初心者には骨がある部分も多々。上位勢にとっては中央の発見が勝敗の鍵でしょうか。 #ヤジリン早解き大会
タグ： ヤジリン早解き大会
posted at 23:12:23
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
