枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2022年12月07日(水)
そういえばこの間16ヒント数独が存在しない論文を読んだけど、
アルゴリズムやCSの話ばかりをしてるものかと思ってたら
周辺範囲も含めた数独の数学の話にかなり触れていて、
（興味がある人には）読みやすくておすすめでした。
arxiv.org/abs/1201.0749
タグ：
posted at 03:29:46
既知の17ヒント数独のリストがほぼ完全なことが示せて、
17ヒント数独のリストが完全だとすると16ヒント数独の存在からは程遠いことなどにも触れられている
(1つの16ヒント数独からは65個の同一解の17ヒント数独が作れるはずだがリストには同一解の17ヒント数独は最大でも29個しかない)
タグ：
posted at 03:29:46
アルゴリズムパートはHittingSetの話なので、@kaityo256 さんのこのスライドに最初に目を通しておくと理解しやすいです
極小頂点被覆列挙問題を解く speakerdeck.com/kaityo256/ji-x...
タグ：
posted at 03:35:18
数独の配置を公開2｜プレアデス @pleiades_puz #note note.com/pleiades_puzzl...
プレアデスさんの表出20数独、2番目だけ作れなかった (未証明)
タグ： note
posted at 03:44:03
@pleiades_puz 最近続編記事の存在に気付いて自分の検証記事の方も続編を書きました。
数独が5つ解けます。
scrapbox.io/wandsbox/%E6%9...
タグ：
posted at 03:45:22
Calcuroute 64
Move:4 Goal:6>8
#Calcuroute pic.twitter.com/LRIjer2dvZ
タグ： Calcuroute
posted at 19:00:00
言葉のパズルを作りました。
同じアルファベットには同じカナを入れてください。
Q1. ABCDりE=プロサッカー選手
CDABなE=お笑い芸人
CDAーなE=和菓子
Q2. ABCDE=プロサッカー選手
EDCAB=お笑い芸人(旧芸名)
Q3. ABCッDュ=プロ野球選手
AブBCーDー=野球の大会
タグ：
posted at 19:15:36
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
Tradz、これでボルフォースの数値としては3人のうち最大の選手が欠員というおそろしさ。
タグ：
posted at 22:44:29
LMIで30時間に1問出題されるシリーズがまた始まりますね。今回はへやわけ！
logicmastersindia.com/daily/?contest...
タグ：
posted at 23:23:23
