枝豆(@ek_bm)/2019年11月17日

昨日は発表で燃え尽きてしまいせっかくのフリータイムを十分に生かしきれなかったので、次回はもっと積極的にお話ししに行きたいと思いました

タグ：

posted at 12:00:37

高速SATソルバの基幹技術に
破綻した時に破綻の原因を抽出し、パターンを学習して以後同じパターンが出てきた時に利用するCDCLというのがあるらしく、
パズルでいうと局所手筋の自動発見と利用に相当するのではないかと思っていて、 pic.twitter.com/qgMNY3Zcoi

タグ：

posted at 12:46:33

SATに変換しない、マスと制約から探索を掛けるタイプのソルバでこういった機構を実現できたら性能もあがるし、
ひょっとしたら学習結果が人間のパズル研究に利用できるのではないかと興味を持ってます。

タグ：

posted at 12:46:34

引用元: SAT ソルバーの最新動向と利用技術
www-erato.ist.hokudai.ac.jp/docs/seminar/n...

タグ：

posted at 12:46:34

他にもパズルの解探索に応用できそうな技術がたくさん載ってます。
ほとんどminiSATの内部原理の話っぽいのでソースはそっちが参考になりそう。

タグ：

posted at 12:50:40

選手は全員集合 pic.twitter.com/LyrSv3vT7b

タグ：

posted at 12:53:00

「分割線を追加して、ブロックの面積とブロックの隣接数が一致するようにする」は惜しくも解なしか　#でっち上げコン

タグ：でっち上げコン

posted at 12:53:47

非公開

タグ：

posted at xx:xx:xx

面積の総和が奇数

タグ：

posted at 13:05:58

ルールでっち上げは盤面サイズの偶奇が重要なのだけど、ときどき忘れてしまいもうふ

タグ：

posted at 13:09:37

みゃーみゃさんのソルバーで性能が出ないパズルについて、
ナンバーリンク、難しいぬりかべ、カーブデータ、ダブルチョコ、
難しいフィルオミノ、おそらく難しいペンシルズも......という話があり、

それは、人間にも難しいし、特に唯一解チェックは手に負えないやつでは、と突っ込んでしまったけど

タグ：

posted at 13:14:30

数字埋める系(例: Non-Con数独など) ではソルバが人間の手に負えない問題をこなしているので、
パズルの系統についての話も必要だった。
名前があがったやつ、すべて広義の不定形領域分割ですね。

タグ：

posted at 13:14:31

ナンバーリンク、カーブデータ、ペンシルズ辺りは領域にわけるだけでは唯一解にならない、
みたいな話はあるけど、概ね似た議論ができそう。

タグ：

posted at 13:17:13

非公開

タグ：

posted at xx:xx:xx

前半戦終了！楽しい pic.twitter.com/ExCIsC75ey

タグ：

posted at 14:27:41

ボケれる雰囲気じゃないガチ感

タグ：

posted at 14:47:40

非公開

タグ：

posted at xx:xx:xx

エクトぷらずま @Ecto__PLASMA

これはアツい pic.twitter.com/zQnQRuKm1Z

タグ：

posted at 15:07:49

非公開

タグ：

posted at xx:xx:xx

勝ち越し決定してうれしみ

タグ：

posted at 16:02:20

終了。今日は調子よかった pic.twitter.com/pPttgfQNy7

タグ：

posted at 16:13:33

2位見えてたのに終わってみれば半々か〜丁半なので浮き沈みが激しい

タグ：

posted at 16:23:05

しもりん@ペンパ(19/8/9) @simorin_puzzle

14問あって唯一のfastestなしらしい。それで6勝しててウケる

タグ：

posted at 16:26:34

@k_pan_opt ペンパくんv2で、余白の大きさを上下で変えても大きい方に統一される

タグ：

posted at 16:38:50

gori.sh/aoki/140ｺﾛﾆｰ @gori_sh

前半2.5-3.5→後半5-1で復活した

タグ：

posted at 16:39:47

そういえばＱＫfeatＪＰＦ、スピード感考えると許可は出さなかったんだろうな（当然）。それならばって別企画やるならばもう半月くらいおあずけかな

タグ：

posted at 16:41:21

お祈りが通じてよかったね

タグ：

posted at 16:43:36

エクトぷらずま @Ecto__PLASMA

最下位だった！！まあ妥当！！でも楽しかった

タグ：

posted at 16:49:41

非公開

タグ：

posted at xx:xx:xx

逆に6人にちゃんとバラけてるのがすごい気がする

タグ：

posted at 17:12:18

非公開

タグ：

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

非公開

タグ：

posted at xx:xx:xx

fastestはAnglers, Starbattle, Battleshipsなので特殊な記号を使う問題に強いな！() 前二つは理詰めで殴れた。後ろは祈りが通じた。

タグ：

posted at 17:37:38

引きまくれたので明らかに上ぶれ。みんなが潰し合ってたのでラウンドでやると下の方だと思う。

タグ：

posted at 17:39:13

非公開

タグ：

posted at xx:xx:xx

引きの強い人が集まったので、理詰め派が割りを食ったかも。そこは作者相性もありそう。「じゃんけん」されるとつらい。そうされない強さが必要(deuさんはそんな感じ)。

タグ：

posted at 17:46:00

確認したけどやっぱりそうだ。6人全員と1勝1敗して6勝6敗。なんだこれ。7人中最速の問題も無いし、良くも悪くも安定しているのだろうか

タグ：

posted at 17:58:55

今日のリーグは楽しかったし有意義だったな。純粋に観戦でも得るものが多そう(解き方のスタイルとか)。WPCのときに、こういうことを考えてる、というのを豆から聞いていたんだけど、実行に移すのが早すぎて驚いた。

タグ：

posted at 18:12:35

なんとなく、フィルオミノ。
pzv.jp/p.html?fillomi...

タグ：

posted at 18:41:20

パズルリーグ、観戦してるのは楽しかったし解き方のタイプはやっぱりあるんだなって感じた

タグ：

posted at 18:41:24

フィルオミノのルールや解き方はこちらを参照ください。
www.nikoli.co.jp/ja/puzzles/fil...

タグ：

posted at 18:42:09

自分も参加したい、という気持ちはもちろんあるけど

タグ：

posted at 18:42:17

（先日つくろうと思いつつ間に合わなかった分）

タグ：

posted at 18:44:48

リーグ用に作った問題で使えそうに感じるは今のところ3問しかない

タグ：

posted at 18:44:56

非公開

タグ：

posted at xx:xx:xx

めるるん @melvy_mag

つまり「実はパズルの世界大会で優勝したことがある」がデフォルト文として入っている…？どんなゲームなんや

タグ：

posted at 18:50:38

パズルリーグ観戦組でした。覇気が伝わってきて楽しかった。解き方のスタイルというものは確かに存在しそうだ

タグ：

posted at 18:51:08

メモ #メモ

タグ：メモ

posted at 18:52:40

フィルオミノの2はなんとなく好き。

タグ：

posted at 18:55:54

volxa @volxa

無事帰宅。お疲れさまでした。とても楽しゅうございました。

タグ：

posted at 18:58:55

残り66件のツイートを見る

たびたび、という意味の「よく」って、漢字で書くのも問題ないのかどうなのか…？

タグ：

posted at 19:02:21

良く言う。良く悪くなる。

タグ：

posted at 19:02:40

自分にできることをする、まずは必要とされていることをできるようになる

タグ：

posted at 19:07:53

昨日のパズル会議は用事があって行けなかったんだけど、今日ちらっと見せてもらったfff君のHex Yin Yangの解析がすごく面白そうだった。時間があるときにゆっくり見たい

タグ：

posted at 19:27:05

はてなブログに投稿しました
HPL#1 感想 - SP1のぱずるにっき sp1-puzzle.hatenadiary.jp/entry/2019/11/... #はてなブログ

タグ：はてなブログ

posted at 19:29:19

自分は(解く過程がもっと見易くなれば)かなり有意義だと思うし、なのよりすごく楽しかったので、もっと盛り上げていきたいですね。

タグ：

posted at 19:31:15

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@puzzletiger 偶然でした。書いてた時もしかしてそうかもと思って、後で確認したらほんとに一致しててびっくり。ただまあもう少し理詰め問あったっぽいですね(やや追記しましたが)。

タグ：

posted at 19:40:54

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@puzzletiger そうでしたかｗじゃあまさに理詰め派らしい行動をされてますね、すごい。

タグ：

posted at 19:44:32

非公開

タグ：

posted at xx:xx:xx

@puzzletiger 運もあるし、ジャンルの問題もあるし(分割系や配置系はどうしても引きが優勢そう)、重たい理詰めなら速度負けしうるのもありそうですね。理詰め派的には、とにかく速く見つけて速く埋めるのを実行するしかなさそうです(モリーニさんは既に、かなりそれに近そうですが)。

タグ：

posted at 19:50:58

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@puzzletiger あとまあ作家相性はありそうです。引き派への対抗策が見つかればいいんですがねぇ(高速な理詰めで殴るしかなさそう)。個人的には、理詰め派でもまだ弱い部分があるのでそこを鍛えたり、引きの技術を吸収したり、引きとのバランスの取り方を探ったりとかなり勉強になってますね。

タグ：

posted at 19:58:35

非公開

タグ：

posted at xx:xx:xx

いやまあ普通に、理詰めがあるかないか高速に判定する/あれば高速で処理する/なければ頑張る　の練習にはなるな

タグ：

posted at 20:00:47

竹谷 @buyaketa

@timikana10 当分関東ですねー。そのうち出張パズル会議とかやっても面白いかも

タグ：

posted at 20:02:32

@puzzletiger 引き勝負は、たしかにあんまり望ましくない(というか楽しさが少ない)かもですね。とはいえいきなり高速で答えを引かれることはそうなく、そうなると「解き方を知った状態で埋める」というのが一番強いので、それを目指して鍛錬するのがいいんでしょうね。

タグ：

posted at 20:05:04

パズルはやっぱり「論理的に埋める」のが楽しいので、引きに行くことへの抵抗感は拭えない。

タグ：

posted at 20:06:15

非公開

タグ：

posted at xx:xx:xx

そういえばリーグ参加者はある程度の範囲で毎回多少変わるものと思ってたけど勝手にそう思ってただけでそういうわけではなかったらしい

タグ：

posted at 20:07:04

一方、勝つためにはなんでもしたいので、こういう勝負なら(僕の中ではあくまで)弱者の戦略として引きは許容している。

タグ：

posted at 20:07:27

GP頑張らないとなぁ

タグ：

posted at 20:07:59

引きは引けたら早いけど引けないとその分遅くなるだろうから理詰めより早いことも遅いこともありそう

タグ：

posted at 20:09:06

非公開

タグ：

posted at xx:xx:xx

理詰めにも
・ひとつに決まる場所を積み重ねる(狭義理詰め)
・軽い仮定や背理法を使う(先読み)
・いい場合分けを見つける(多択)
などがありひとまとめにしがち

タグ：

posted at 20:11:52

非公開

タグ：

posted at xx:xx:xx

観戦してみて、問題を作るにあたっては結構難易度の参考になった気がする

タグ：

posted at 20:12:23

@puzzletiger 傍から見てると、そんなことはなさそうですがね...まあ気持ちはわからんでもないです。

タグ：

posted at 20:12:52

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

リーグ作問のラインナップを決めたので後は作るのみ

タグ：

posted at 20:15:57

モリーニさんの場合は理詰めが強いというリスペクトにより「引きにいかないと...」ってなったのはあると思う(ぼくはそうでした)。今回はしんどい方に転んだけど、問題傾向によっては全員吹っ飛ばされて12-0みたいなケースもあるわけで、一概には言えないよね。

タグ：

posted at 20:15:59

@puzzletiger なるほど、SだとPほどの引き派はあんまいなさそうですからね。とはいえPで引き派を返り討ちしてる印象もありましたし、今後もその姿を見たくはあります。勝手なことを言ってるので気に障ったならすいません。

タグ：

posted at 20:19:11

非公開

タグ：

posted at xx:xx:xx

@k_pan_opt 共通領域感はある

タグ：

posted at 20:19:46

まあ僕は今後も理詰め＋お祈りでやっていきますよ

タグ：

posted at 20:22:01

非公開

タグ：

posted at xx:xx:xx

@puzzletiger いやいや、明らかに気落ちされてるのは分かったので。早くメンタルが回復するのを祈っています。

タグ：

posted at 20:23:49

竹谷 @buyaketa

よく山本達也氏が解空間を理解して泳げみたいなことを言っているんですが、見えるジャンルの見える問題が見えるときは大体そんな感じ

タグ：

posted at 20:24:18

アイ @tigereye_werewe

全部足りないが、とりあえずまだまだ理詰めの足場を固めるべきかなと思った

タグ：

posted at 20:25:53

竹谷 @buyaketa

数日前からナンプレの解き方が突然わかってきた気がする。気がするだけ？

タグ：

posted at 20:43:59

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

7638本が気になるので時間を作りたい。

タグ：

posted at 21:39:23

非公開

タグ：

posted at xx:xx:xx

7638パズル本

タグ：

posted at 21:39:46

進捗6/14問

タグ：

posted at 21:55:15

7638について予習しておいた方がよさそうかな？

タグ：

posted at 22:01:11

やっぱりループ系パズルは好きだなあ。ナルミヤロードもよきかな。

タグ：

posted at 22:15:35

観戦前に時間測って解いた問題と選手タイムを比較してみたけどAnglersの1:47が一番戦えそうなタイム

タグ：

posted at 22:27:57

一番遅い勝者より30秒くらい早い、みたいな問題が3つくらいあったがどう捉えるべきか

タグ：

posted at 22:29:29

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あ、7638本と7.1は別なのか？

タグ：

posted at 22:50:59

トケタ7.1
トケタ7.638

タグ：

posted at 22:54:02

@nyoroppyi なるほど。校正の前に7638について調べとかないとなあ、とか考えてましたw

タグ：

posted at 23:00:10

（7638パズルを投稿する前に、名前でググってプロフィールを読む、攻略wikiが見つかったのでセリフなどにざっと目を通す、動画検索をしてボイスが聴けるかどうかチェックする、くらいだけならしました）

タグ：

posted at 23:03:59

家電の値切りとかいう世界一難しい競技

タグ：

posted at 23:18:42

この週末は2日しかなかったはずなのにまるで1週間分年休を取ったみたいな満足感があったな

タグ：

posted at 23:22:02

めるーめるん @melvy_puz

ABC136 B #める1日1AC

タグ：める1日1AC

posted at 23:50:10