枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2021年05月28日(金)
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
SAT にも Unsatisfiable core(充足不能な極小の部分節集合)っていう概念があって、SAT Competition の部門にもなってるから愚直にやるより速い方法があると思うんだけど、CSP で同様なものを考えるのどう考えても頭が痛くなる
タグ:
posted at 15:16:35
5月24日のボツ問より。
改めて解き直してみると確かに難しくはないけど面白い問題だったから投稿してみる。
pzv.jp/p.html?numlin/...
#今日のナンリン
タグ: 今日のナンリン
posted at 16:32:37
非公開
タグ:
posted at xx:xx:xx
【#競技パズルブログ 更新】
6/3(木)10:00まで開催中の、LMI Puzzle Ramayan 2021 Episode6のインストラクション和訳記事を公開しました。テーマは"Casual&Word"です。主に文字についてのパズルが出題されます。制限時間は90分、問題数は22問です。
citizen-puzzle.hatenablog.com/entry/2021/05/...
タグ:
posted at 19:43:37
【#競技パズルブログ 更新】
5/31(月)19:00まで開催中の、LMDのBeginners Contest 3のインストラクション和訳記事を公開しました。ビギナー向けのドイツのファンコンテストです。制限時間は90分、問題数は15問です。
citizen-puzzle.hatenablog.com/entry/2021/05/...
タグ:
posted at 19:45:45
非公開
タグ:
posted at xx:xx:xx
広瀬_あつみ (FANBOX始めてみまし @hirose_atsumi
2018WPC選抜大会用にヤジリn…ループでアローをつくったとき、難易度を抑えすぎてリテイクになったのをなんとなく思い出したり。
タグ:
posted at 21:16:32
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx