枝豆(@ek_bm)/2021年03月23日

これを「突然」ではないように変更するにはどうすれば良いか考えてる。let temp=b, b=a, a=temp みたいな感じかな。どうして変更しなければならないのかは、分からない…………………… twitter.com/arclisp/status...

タグ：

posted at 23:42:02

時間かかるデータだと MiniSat v1.12 よりもだいぶ遅かったりするので、なんかまだ大ポカしてそう

タグ：

posted at 23:33:04

varBumpActivity の位置を勘違いしてた

タグ：

posted at 23:10:34

にしなんとか @chebunanntoka

まあでも、ペンパの楽しみ方としてラディカルだとは思う

タグ：

posted at 23:00:31

にしなんとか @chebunanntoka

手筋を唯一解問題に成形せずにそのまま投稿すれば色々解決する気がしてきたな(解答の付記がほぼ必須になるが)。唯一解にせねばならないという制約から逃れられるし(メリットなのか？)ましゅやぬりみさきで作意が紛れることも減る。ダブルチョコで意図しない枝があっておてごろ詐欺になることもない

タグ：

posted at 22:59:57

わんど @wand_125

いきものヒント②
○○○○○○○○○○○○○○○○○○○○○○○
○○○○○○○○○○○○○○
fse.tw/KJqR2hAc#all

タグ：

posted at 22:15:30

多分 MiniSat 論文自体 v1.12 くらいの頃をベースにしてるんじゃないかと思う

タグ：

posted at 22:09:48

なんか conflict 回数が多すぎるのが気になるけど

タグ：

posted at 22:00:12

すでに MiniSat v1.12 くらいの性能はあるっぽい？

タグ：

posted at 22:00:00

restart のときに queue_top を正しく更新していないのがバグの原因だったっぽい

タグ：

posted at 21:46:42

propagate が正しく行えてないケースがあるっぽい

タグ：

posted at 20:59:20

UNSAT のものを SAT と言ってくる上に 40 変数くらいないと全然再現しないので困り果ててる

タグ：

posted at 20:42:38

@made_puzzle700 継続ができない

タグ：

posted at 20:01:43

非公開

タグ：

posted at xx:xx:xx

@made_puzzle700 ぼくの生産速度的に…

タグ：

posted at 19:55:21

非公開

タグ：

posted at xx:xx:xx

@made_puzzle700 それは無理

タグ：

posted at 19:46:24

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ましゅあと500問くらい作るとへやわけに大体並ぶな？
毎時6問だとして84時間…ぇ

タグ：

posted at 17:21:31

白岡市民(295) @Whitehill9

レーティングシステムを理解してから…と先延ばしにし続けていたが、紹介記事書こう

タグ：

posted at 13:50:42

白岡市民(295) @Whitehill9

Puzzle Duelの1周年記念コンテスト楽しそう。1vs1バトルするらしい(対戦相手は毎問変わる)。日本時間4/4(日) 24:00-25:00。
www.puzzleduel.club pic.twitter.com/dZlDFXg8so

タグ：

posted at 13:49:05

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

スケコンやってる人にどうやって作ってるか聞いてみたい。

タグ：

posted at 10:03:10

非公開

タグ：

posted at xx:xx:xx

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

答えだけ見たい人のために置いておきます。 pic.twitter.com/6G6zmVpnIS

タグ：

posted at 08:39:14

ぎゃー、UNSAT のものを SAT と言ってる

タグ：

posted at 02:19:53

true/false/undefined を管理する enum の not をとる操作が match にするしかなくて重そうだったので unsafe 使って書き換えたらそれだけで 12% 速くなったけど、逆にいえばまだまだ本質的に遅いな

タグ：

posted at 02:08:51

最も activity の大きい clause を探すのを O(N) でやっているの明らかなネックかと思っていたけど数万変数くらいではそうでもないらしい

タグ：

posted at 01:49:27

こういうのクラウドに投げるべき気がするな

タグ：

posted at 01:32:52

Agile 部門のデータセットは 5000 個あってそれぞれ制限時間が 1 分で、当然全部並列に動かせるのでコア数で殴ればすぐテスト終わるけど、一般のご家庭で用意できるパソコンではどうしても数時間かかる

タグ：

posted at 01:32:04

アイ @tigereye_werewe