枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2021年03月19日(金)
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
お隣さんの玄関先に、置き配の荷物らしきものがここしばらく置きっぱなしになっているのだけど、大丈夫かしら…。
タグ：
posted at 22:49:38
多分「各 trail に入っている literal の dependency graph の上流に、必ずその trail の先頭の branch literal がある」という invariant がある
タグ：
posted at 22:46:24
bump jumping (?) するのって、そのほうが効率が良いからかと思ってたけど、どうやらそうしないと invariant を破壊するんじゃないかという気がしてきた
タグ：
posted at 22:40:34
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
【#競技パズルブログ 更新】
3/19(金)22:30~3/25(木)3:30に開催される、LMI Sudoku Mahabarat 2021 Episode3のインストラクション和訳記事を公開しました。テーマは"Substitution and Neighbours"です。制限時間は90分、問題数は18問です。
citizen-puzzle.hatenablog.com/entry/2021/03/...
タグ：
posted at 21:11:26
【#パズルカレンダー 更新】
・3/20(土)21:00～3/27(土)23:00
Beginners Puzzle Contest #4 (@ bp_con)
パズルカレンダー：calendar.google.com/calendar/b/1/e...
パズルカレンダーの使い方：citizen-puzzle.hatenablog.com/entry/2019/05/...
タグ：
posted at 21:04:46
MiniSat、実装があまりに洗練されすぎていてかなり（論文中に明示されているとはいえ）pre(post)-condition が多くて半端にいじると壊れる感じがある
タグ：
posted at 20:30:46
非公開
タグ：
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
