枝豆(@ek_bm)/2019年12月13日

パズル会議の？？？？？？？、流石にそろそろケリをつけようと思い再び手をつけていたら挙げてない市を見つけた（列挙し切ったと思った場所だった）

タグ：

posted at 00:03:34

panista（大会運営用） @k_pan_puz

あと2ブロックだがなかなか厳しそう

タグ：

posted at 00:04:02

ペンパアドベントB、13日目です。スクラッチパズルという新ジャンルのパズルをペンパくん（penpa-editor）で作りました。
note.com/k_pan_nt/n/n61...

#ペンパアドベントB2019

タグ：ペンパアドベントB2019

posted at 00:06:41

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Tad Komori @pawakun

@wand_125 @k_pan_puz 同上

タグ：

posted at 00:36:12

非公開

タグ：

posted at xx:xx:xx

今日は完成しないまま寝る

タグ：

posted at 00:48:11

オウムの口癖が面白い>RT

タグ：

posted at 00:52:17

さやちぃ。"23 @88cyi

答えがひどすぎる問題ができた

今夜は①②③④⑤②⑥

答えは①⑥④②⑤

タグ：

posted at 01:45:02

eityans @eityans

パズルしてたらこんな時間

タグ：

posted at 02:39:02

非公開

タグ：

posted at xx:xx:xx

アイ @tigereye_werewe

布教しようとして失敗した(=何もしない場合より状況が悪化した)ケースを複数回経験しているので、悲しいけど自分はそういうことしない方がいいんだなと思っている…

タグ：

posted at 02:53:31

コード見られるの恥ずかしすぎるな、動けばいいんだよ動けば！
Sugar制約ソルバー公開 - SP1のぱずるにっき sp1-puzzle.hatenadiary.jp/entry/2019/12/... #はてなブログ

タグ：はてなブログ

posted at 06:15:09

> ハニーアイランドのSATソルバー
持ってないです

タグ：

posted at 06:21:10

すぬけさんの探索コードを使っていて、
それだとサイズ6で列挙が厳しいのでSATソルバでどのサイズまで動くか、は興味あるかも。

タグ：

posted at 06:24:18

そうだ、
@SP1_winter 10000問チャレンジをツールで遊べるようにしたやつがあるんですけど、公開しても良かったりします？

タグ：

posted at 06:25:58

@wand_125 もちろん、いいですよー

タグ：

posted at 06:29:52

一般のグラフ上のパズルのソルバとか
(変形盤面スリリンなど)いいかもと思ったけど入出力どうすんの問題があるのと問題の確保が課題
スリリンはトケタにあるけど

タグ：

posted at 06:35:43

ただ、SATソルバは列挙があまり得意でないというのがあり……

タグ：

posted at 06:36:54

六角形盤面のスリリンをたくさん解きたい欲があるので自動生成が見たいなー(ﾁﾗ)

タグ：

posted at 06:38:35

や、下手なこと言うと自分で作ることになりそうね。。。

タグ：

posted at 06:39:32

こうやってソルバー書いたの、大したことやってない感はあるものの、自分でも作れるんだという意識ができたのが大きい。

タグ：

posted at 06:42:28

準急さん記事のやつ(焼きなましによる生成)
をSATソルバーと接続する形にした汎用問題ジェネレータあると便利そうだな...
速度出るかはともかく……

タグ：

posted at 06:42:49

いままでは武器もらうばっかりやったし。自分も武器作れるんやなって。

タグ：

posted at 06:43:11

ぼくの環境ではsubprocessを使って自動で動くようにしてるけど(教えていただきありがたき幸せ)、ファイルの読み込み・実行もまあまあネックになってそう。全探索するなら無視できないロスかもね。

タグ：

posted at 06:45:54

SP1氏(@SP1_winter )の10000問ハニーアイランドの盤面起こしです
wandsbox125.web.app/puzzle-tools/h...

タグ：

posted at 06:46:18

ランダムに触ってみたけど、そんなに難しくないので、練習にいいかもね

タグ：

posted at 06:48:53

これで、ハニーアイランド10000問解くまで帰れま(せ)んができるね！

タグ：

posted at 06:50:19

焼きもうふ @pronter

@SP1_winter 六角・三角・ペンローズなどのスリリン自動生成です。難易度は抑え目。
www.chiark.greenend.org.uk/~sgtatham/puzz...

タグ：

posted at 07:20:14

@pronter ありがとうございます！

タグ：

posted at 07:22:05

イラロジヤジリン用に改造したが、13×13(実質12×12)とかだとさすがに解くのしんどいっぽい。

タグ：

posted at 08:12:46

11時間くらい寝られて大満足。復活！

タグ：

posted at 09:00:19

にしなんとか @chebunanntoka

ideone.com/FdrfdK パリティの異なるマスが同じ連なりに属すことはない、ことを利用して幅7 180->164に減った。大して減らないな。斜め方向DPならそもそも必要ないし…斜めDPは端の処理が面倒でまだ書けてない

タグ：

posted at 11:32:20

非公開

タグ：

posted at xx:xx:xx

にしなんとか @chebunanntoka

ながら作業じゃないとプログラミング書けない。競プロできるのすごい

タグ：

posted at 11:37:59

うーむ
イラロジヤジリンを攻略する - SP1のぱずるにっき sp1-puzzle.hatenadiary.jp/entry/2019/12/... #はてなブログ

タグ：はてなブログ

posted at 12:06:32

一部の問題の画像とリンクに誤りがあり、複数解が発生していました。申し訳ありません。
現在は修正が完了しています。また、採点に関しては、別解にあたるアンサーキーについても正答扱いいたします。

タグ：

posted at 12:10:52

非公開

タグ：

posted at xx:xx:xx

panista（大会運営用） @k_pan_puz

(RT) Balance Loopのミニパズル大会、参加した！

タグ：

posted at 12:56:58

問題リンク修正しました

タグ：

posted at 15:20:14

非公開

タグ：

posted at xx:xx:xx

はい楽しい

タグ：

posted at 15:43:41

DWBHは体調崩して出られなかったんですよね...良いリベンジになった(？)

タグ：

posted at 15:53:45

免許更新をすませたので勝利

タグ：

posted at 15:59:19

エクトぷらずま @Ecto__PLASMA

いや、追加でヒントが出てくるから微妙に違うのか...!

タグ：

posted at 16:00:25

稲葉直貴（パズル作家） @puzlab

うちの子が「あ」から「そ」までのかるたを作りました。各札はそれぞれどの文字に対応しているでしょう。 pic.twitter.com/pdqMWgdsEp

タグ：

posted at 17:01:35

イラロジヤジリン9×9だと、未使用が4n+1個なら行と列で「奇数番目の奇数の個数」が一致してることが必要、4n+3なら一致してないことが必要。

タグ：

posted at 17:08:13

10×10だと、4nで一致、4n+2で非一致が必要。all1だと詰むのは後者が理由。一般のサイズでも全く同じ。

タグ：

posted at 17:10:01

ちょうど唯一解になるのはまあまあ難しく、9×9だと未使用15個くらいが、解なしと複数解の境界か？ヒントに0や3以上があるとしらんけど...

タグ：

posted at 17:11:43

まんべんなく、というのが難しいのかも。未使用が固まればこの限りではない。あと、9×9より大きいと、まんべんなくパターンではそもそも唯ー解になりそうなものが無くなりそうな勢い。どれくらいあるかは不明。

タグ：

posted at 17:16:04

ふーなんとかさんの宣伝力がすばらしい。

タグ：

posted at 18:39:53

FA取れましたわ！！！！！
#競プロお嬢様 #shindanmaker
shindanmaker.com/951627

タグ： shindanmaker 競プロお嬢様

posted at 18:46:20

非公開

タグ：

posted at xx:xx:xx

焼きもうふ @pronter

全マスに正解を埋め込んでおけば、数字埋め系パズルがスマホでも解きやすくなる。

タグ：

posted at 19:31:07

昨日セブンで買ったシュークリームを食べそびれていたのを忘れていて、今日もシュークリームを買ってしまった。もうだめだ。

タグ：

posted at 19:58:41

日曜の順位表を見ていた。いくら運が良くても賞金は無理だし、コンテストはのんびり楽しみたい。レートは200人中141位か。

タグ：

posted at 20:29:44

竹谷 @buyaketa

@puzzle_101 言われてみれば。表出数で分ける必要がありますね（もう少し細かく考えてみるとパターンの多い35個～45個抜き盤面での仮定：理詰め：複数解比率が支配的になりそうですが、35個もあれば普通に理詰めで解けそうです）

タグ：

posted at 21:22:51

おやつタイム。なぜかたくさんあるシュークリームをいただきますの。

タグ：

posted at 21:40:18

某本のパズル盤面データ。ミスが起きにくいように解きながら解答盤面を作成しているので、結局はその多くを解いていたり。コメントまで付ける余裕はなくて申し訳ないところ。

タグ：

posted at 21:41:57

トケタ２のとき、（１のときと同様に）これをやってしんだような記憶。

タグ：

posted at 21:44:36

(RT) 懐かしいなこれ。最後2回だけ参加したことになってる

タグ：

posted at 22:15:17

めるーめるん @melvy_puz

ABC026 C (easy) #める1日1AC

タグ：める1日1AC

posted at 22:20:21

今思うと、競プロはサンプルがあるぶん親切だな

タグ：

posted at 22:20:42

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx