枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2020年06月10日(水)
非公開
タグ：
posted at xx:xx:xx
グラフの連結性を SAT encoding で表現する場合、非連結になったことを unit propagation で検出できるようにできるんだろうか（無理な気がする）
タグ：
posted at 00:50:35
多項式規模で、という条件が抜けていた（極小の非連結なケースを全列挙すれば当然 unit propagation で検出できるが当然そんなものは役に立たない）
タグ：
posted at 00:51:44
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
日本パズル連盟 WPC体験会8/26開催 @jppuzzles
【夏休みパズル大会2020開催および大会用パズル募集のお知らせ】
かつての日本パズル選手権準決勝問題のエッセンスを取り込んだ新パズル大会を開催いたします（8月中旬予定）。
この開催にあたり、一般（JPF会員）からも問題を募集いたします。
詳細はこちら
jppuzzles.com/news/202006/su...
タグ：
posted at 14:33:59
非公開
タグ：
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
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
ある状態から、事故る可能性が減らせると思ってとある手順を踏んでいるのだけど、その手順をこなしているのを見て「さっきの状態で本当に悪い結果になったんですか？」みたいに聞かれて、「わからない」とかしか言えなくて、なんとなくしょんぼりしてる今。
タグ：
posted at 20:42: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
実は敗者復活戦を採用すると
勝者が3連勝するトーナメントは4人でも作れる twitter.com/lijiayy/status... pic.twitter.com/gjz8d8MhPv
タグ：
posted at 21:41:54
非公開
タグ：
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
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
