枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2020年05月30日(土)
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
あらためてパズルボスラッシュDAY5の感想にじっくり目を通しているけど楽しいコメントが多いなあ。
タグ：
posted at 23:36:42
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
今井洋輔（パズル屋たまにジャグラー） @puzzle_101
クロスワード作りでも気を付けた方がよいこと。
たくさん問題を作ると、商標かどうか知らない言葉でも「これ、商標かも！？」と疑うカンが磨かれていきます。 twitter.com/mizo_c/status/...
タグ：
posted at 21:26:51
しろまるくろまるだと白と黒の連結成分のために 2 つ graph constraint を用意することになるけど、片方だけ既存手法にした場合は極端に遅くなったりしないな
タグ：
posted at 19:02:07
パズルカレンダー：calendar.google.com/calendar/b/1/e...
パズルカレンダーの使い方：citizen-puzzle.hatenablog.com/entry/2019/05/...
タグ：
posted at 18:51:50
【#パズルカレンダー 更新】
・6/5(金)19:00～6/8(月)19:00
Beginners Contest(LMD)(90分)
・6/13(土)0:00～6/16(火)10:55
UK Sudoku Championship 2020(120分)
・6/14(日)22:00～23:00(60分)
6月早解き大会①(ヤジリン)(青い厚揚げさん(@ aoiatuage)さん)
タグ：
posted at 18:51:46
非公開
タグ：
posted at xx:xx:xx
最初から単一 literal のみからなる clause が来た場合でも unit propagation の方法は変わらないが、これ追加した瞬間発生するので後から来た graph constraints は存在を知らないということに
タグ：
posted at 18:33:33
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
昨日書いたグラフ制約を直接 SAT で扱うやつを csugar と cspuz に組み込んでクリーク（連黒分断禁でない連結制約の例として）を自動生成させてみているけど、圧倒的に速い
タグ：
posted at 16:30:57
パズルのエレガントさみたいなのを信仰してる立場からするとハバネロは出来るだけ理詰め問であってほしいとさえ願っている
パズスクだとオススメはMFさんのコメント付いてるやつ(解説付きはほんとうにありがたい)(けどあんまりさわれてない)
タグ：
posted at 16:22:06
しもりん@ペンパ(19/8/9) @simorin_puzzle
6x6のAnti-knight sudokuの制約はこんなに強かったのか pic.twitter.com/I6GeJsknG8
タグ：
posted at 15:49:32
非公開
タグ：
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
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
周期的でないほう
赤: 5の位置, 青: 赤5の桂馬配置 (4,6が入らない)
(作図 / 分析: fffさん) pic.twitter.com/zyG5icVW8v
タグ：
posted at 14:02:30
非公開
タグ：
posted at xx:xx:xx
そういえば桂馬一つ違い禁止ナンプレ、
解がありました。（これはかなり引きやすそう？） twitter.com/NAZOac/status/... pic.twitter.com/ACbf2Y52rw
タグ：
posted at 13:58:40
@wand_125 puzzletokyo.up.seesaa.net/image/19KFE383...
とりあえずましゅを自薦しておく(嘘つきナンリンすごいらしいけど解けてないので推薦できない)
タグ：
posted at 13:26:09
しもりん@ペンパ(19/8/9) @simorin_puzzle
ペンパ界隈以外にも広がってきたので補足
これは数独に２つの特別なルールを付け足したものです。
１つ目がNon-consecutive(不連続とも呼ばれます)で、隣り合う数字の差が１にならないようにします。
もう１つがAnti-knightで、桂馬のききにある場所に同じ数字が入らないというものです。
タグ：
posted at 13:15:32
平面グラフならまだしも一般グラフ上で conflict clause まじめに作るの大変…と思ったけど全然そんなことはなかった、最小カットを求める必要なんてないし
タグ：
posted at 10:43:05
非公開
タグ：
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
しもりん@ペンパ(19/8/9) @simorin_puzzle
表出3つを見つけた
non-consecutive anti-knight sudoku pic.twitter.com/GrNM9PqmGH
タグ：
posted at 00:12:29
