枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2020年05月04日(月)
string name いらんやろ…と思っていたが auxiliary variable も好き勝手導入するので incremental にやろうとした段階で大混乱が発生することが予想されるな
タグ：
posted at 23:34:17
非公開
タグ：
posted at xx:xx:xx
#パズラバ 封筒開封した瞬間超笑った！！この背表紙のおかげで、パズラーっぽさが格段にアップしている(笑)。中身も眺めているだけでもワクワクします。星7は無いけど、覆面サムクロスとかいい意味でヤバそう……。 pic.twitter.com/VSyCwIfOdz
タグ： パズラバ
posted at 20:45:45
非公開
タグ：
posted at xx:xx:xx
え？？
SnakeガチャでLv6の問題を獲得！ puzz.link/p?snake/10/10/... myamyasdvx.herokuapp.com/sudoku.html #ペンパガチャ
タグ： ペンパガチャ
posted at 20:09:14
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
これらの道具はいずれもチームで参戦する場合重要になってくるので、特に1つ目は今から使って慣れておくと怪物の討伐に大いに役立つであろう。
諸君の健闘を祈る。 #パズルボスラッシュ
タグ： パズルボスラッシュ
posted at 18:54:09
2つ目はインターネットの海に数多あるオンラインホワイトボードの存在だ。
puzz.linkでは攻略のできない怪物が出現した際に、同じ盤面をリアルタイムで編集できる道具だ。
pdf取り込みに有料版の無料体験が利用できることがあるので、慣れておいて損はないだろう。 #パズルボスラッシュ
タグ： パズルボスラッシュ
posted at 18:54:09
数多の怪物に挑みし勇者たちに告ぐ。
更なる調査の結果、怪物たちの攻略に有効と思われる道具を見出した。
1つ目はpuzz.linkのネットワークプレイ機能だ。図のように操作し、得られたURLを共有すると離れた場所にいても同じ盤面を同時に攻略することが可能となる。 #パズルボスラッシュ pic.twitter.com/8zISvBPRcM
タグ： パズルボスラッシュ
posted at 18:54:08
非公開
タグ：
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
SATおよびCSPの記述スライドをもう一度読んだ。インクリメンタルSATの例としてハミルトン閉路問題の速度改善が挙げられていたが、もうそれシンプルループやんってなった
タグ：
posted at 17:42:47
clause の propagate がなんで common variable にしか適用できないのかと思っていたが、よく考えたらそれはそうで、変数 x の現れない literal を真にする場合は x に対して何も制約できない
タグ：
posted at 17:38:55
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
昼間のお知らせ。自分も5日目に出題させていただきます。よろしくお願いします。 twitter.com/nyoroppyi/stat...
タグ：
posted at 15:28:54
ぬりかべを担当してます
ぼくらしさが詰まった問題だと思うので存分に味わってください
ゆずは酸っぱいですが辛くはありません(？) twitter.com/nyoroppyi/stat...
タグ：
posted at 13:47:49
うおああおおー！パズルボスラッシュの詳細きてるーー！
このメンバーが本気出したら多分エグいぞ…！ twitter.com/nyoroppyi/stat...
タグ：
posted at 10:10:36
非公開
タグ：
posted at xx:xx:xx
パズルにはおおざっぱに2種類あって、
「くっくっく、貴様に俺のパズルが解けるかな？」
というのと
「ようこそ！ 楽しんでいってね！！」
というのがあり、商業誌などニーズが多いのは後者の方です。
タグ：
posted at 09:09:12
非公開
タグ：
posted at xx:xx:xx
「良問に触れて慣れると、解くスピードがどんどん上がって楽しい」「最小限のヒントやルールが最大限に発揮された結果、特定の手筋を作動させたり問題を唯一解にしたりするのは美しい」というのを踏まえて、何を作っていつ機械や頭を使うか考えてる
タグ：
posted at 04:18:22
人間だと似た議論で詰むのを回避できるわけで、SATソルバーだとそれは制約式の途中追加だろうけど、それができれば大域手筋系問題での性能の飛躍的な向上がありうるかも。
タグ：
posted at 02:03:18
SATソルバーを自分でも扱えるようになってから、自分の中で試行錯誤問の価値が一気に下がった。目的地にわざわざ走ってかんでも、タクシー使えばええやん、みたいな。
タグ：
posted at 02:00:17
連結性、まじめに取り扱うのどれくらい意味があるんだろ、incremental ソルバーが書けるなら「連結性を破ったものは後出しで禁止する」が可能になってくる
タグ：
posted at 01:58:56
パズラー視点で言うと、SATソルバーは超強力全検マンという感じ。簡単に決まる場所は逃さない印象で、人間の感覚ともそれなりに合ってる気がしてる。大域手筋の履行だけが課題。
タグ：
posted at 01:49:58
order encoder の前まではそんなに clause が大きくなることはなさそうなんだけど（xor を大量に重ねた場合は除く）Sugar の実行にそれなりに時間かかってるようなんだよな
タグ：
posted at 01:31:16
Simplifier: (x <= 5) || (y + z <= 2) みたいなのを一気に処理するのは大変なので、補助変数を挟んで難しい Literal が何個も現れないようにしている
タグ：
posted at 01:19:47
Converter: 与えられた CSP をより制限された形に変換する。変換後は Literal の選言からなる Clause たちになるが、ここではまだ Literal は x や !x 以外にも a <= b + 2*c みたいなのも許される
タグ：
posted at 01:17:58
【#パズルカレンダー 更新】
・5/4(月)20:30～
ジャイアント7638討伐作戦 ～四角に切れ編～(主催：ふーなんとかさん(@ fuwa_lica_chan)さん)
パズルカレンダー：calendar.google.com/calendar/b/1/e...
パズルカレンダーの使い方：citizen-puzzle.hatenablog.com/entry/2019/05/...
タグ：
posted at 00:55:35
Sugar、xor を変換するときに式を複製するせいで、logical operator だけの expr ですら線形オーダーの SAT にならないことがあるっぽい
タグ：
posted at 00:53:20
@puzzle_pencil @pawakun そもそも制作サイドもいるわけで、あっても希望者ですかね。僕自身はそこまでの流れ次第では団体戦もありかなと思ってます(仮にパズリンクURLがあればネットワークプレイはだいぶやりたい)
タグ：
posted at 00:46:01
パズルボスラッシュに挑む方、ぜひこれを完全クリアして、ボス討伐の練習にしてほしいです #パズルボスラッシュ
note.com/utime/n/n9112b...
タグ： パズルボスラッシュ
posted at 00:43:33
