枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2021年07月31日(土)
「創」を口頭で説明しようとするときにいろいろ同音異義語にぶつかって難しいな。想像、捜索、操業、独奏、重曹、相関、作る。被りにくそうなのは創立、創設、絆創膏など。創業者独創的創刊号みたいに3文字にすれば割と何とかなるけど
タグ：
posted at 23:35:01
八方隣接なし点対称くらい制約あっても作れる人は無数に作っているので、ほかに良い感じの順位付けが出来れば…と思って手が伸びていないかんじです。ヒント数を数えよう…
タグ：
posted at 23:29:33
もちろん Java で書かれてるのを C++ に移植するとかそういうことを言ってるのではなくて（そもそもそれはすでにやったし）、SAT への変換をいろいろ試してみたい
タグ：
posted at 22:37:39
定義としては、2^Nに収まる2^(N-1)個のキューブのうち、出次数が1222...21となっているものを指す。よく考えたら
①そもそも出次数条件を落としても、2^Nキューブをなすには自分自身と組み合わせる必要がある(←多分示せた)
②自分自身を回転させると自分自身と重なるのか(要はこっちが本質。分からん)
タグ：
posted at 12:27:09
立体的なテトラキューブ、パリティが悪いやつと鏡像なやつらの3つがあり(伝わるのか？)、鏡像なやつらの方は合わせると立方体になると気持ちよさそうなのに実は自分自身としか組み合わせられないのは有名だけど、これはN次元に拡張してもやはり自分自身としか組み合わせられないなぁと思った。
タグ：
posted at 12:16:43
非公開
タグ：
posted at xx:xx:xx
少しずつマンネリ化してきた感があるなぁ。これも普通の高難度問題の1つという感じ。
pzv.jp/p.html?numlin/...
#今日のナンリン
タグ： 今日のナンリン
posted at 05:24:29
何もわからなかった．こういう問題だと仮定元表示とかの細かい設定が効いてくるやつ（それともこっちで変えられる？） #ヤジリンサマーコンペ
タグ： ヤジリンサマーコンペ
posted at 00:33:37
