熨斗袋

このアカウントの運用について 他アカウントをフォロー解除するときに、ブロック→ブロック解除をしています。これに深い意味はなく、普通にフォロー解除すると相手方が気付かずに面倒が起こるかもしれない (空リプに気付けない等) と考えてのことです。 また、ミュートは使っていません。

条件付き期待値みたいなのでかなり大混乱し、反省を兼ねて二重数 R[x]/(x²) ライブラリを作った。 確率 + 期待値x が二重数と同型になるの明確に意識したことあんまりなかったかも

復帰一発目 平衡二分木ライブラリを持ってないと発言し自分で驚いた 筋力が終わっているがまだ頭は回る

Huawei Challenge ではテストケースハックが有効な問題が出て大荒れだったが、蓋を開けてみるとテストケースハックしてなかった USA1 (tourist, ksun, ecnerwala) が優勝だった。寓話みたいな結末

R. Peng のトーク聞けるの嬉しい

永続配列の最速のやつも木構造じゃないけどあれは定数倍が遅すぎて競プロに出てこれない (悲しいね)

競プロの永続データ構造って結局短命データ構造の中で木構造になってるものを選定するだけのことが多くて、そういう枠に無い面白いやつは永続Queueと永続Pairing Heapくらいしかない。

高度典型を調べるために出題時の問題名を脳から引き出す必要がある謎のコンテンツ

実際、ABC-Ex 解説は検索性や一覧性が死んでたからちゃんと集約されてるのは大事だな

過去の Nyaan Ex 回を移植するだけでも結構記事増えそう

ABC-Ex の出題抜き

【AtCoder Algorithm Lectures 公開のお知らせ】 「AtCoder Algorithm Lectures」を公開しました。 競技プログラミングの理論やテクニックを解説する講座です。 今後も講座を拡充し、質の高い学習コンテンツの提供を目指します。 info.atcoder.jp/entry/algorith…

Bipartite Exact Matching in P Yuefeng Du arxiv.org/abs/2604.01571 [𝚌𝚜.𝙳𝙼 𝚌𝚜.𝙲𝙲 𝚌𝚜.𝙳𝚂]

@Ototo_ おそらくこれではないでしょうか 全ての玉に通しの番号を振り、袋に追加するときは番号も含めて複製することにする。玉に対する対称性から、n 回目に取り出す玉がどの番号になる確率も同様に確からしい。これが元々黒玉に割り当てられていた番号である確率は当然、初期状態における黒玉の割合に等しい

これは冗談ではなく本当に記録が残ってない．メモにはこうも書いてある． 解明機能の証明は多くの場合，一般化に対する見通しを与えることが多い．今回の例でいえば「一つ玉を取り出しては，それを袋に戻し，さらにその玉と同じ色の玉をｋ個追加する」というルールに変更しても結果は同じになる．

2018年の兵庫県の教員採用試験（数学）にこんな問題がありました． a個の黒玉とｂ個の白玉が袋に入っており，次のことを繰り返す． 「ひとつ玉を取り出しては，それを袋に戻し，さらにその玉と同じ色の玉を袋に追加する」 このとき，ｎ回目に黒玉を取り出す確率をPn(a,b)とする．Pn(a,b)を求めよ．

これ本人(だよね？)が書いてるの面白い

The Li-Chao Tree: Algorithm Specification and Analysis Chao Li arxiv.org/abs/2603.07948 [𝚌𝚜.𝙳𝚂 𝚌𝚜.𝙲𝙶]

AMATSUKAZE一瞬目を離した隙に7完しててアツすぎ！

「相手が自分の戦略を知っている場合の」という重要な一文が抜けているが、これを入れるとナッシュ均衡関連の知識を問うという目的が果たせないから抜いたのだろうか。結果として未定義になってると思う

details に畳まれてる最適戦略の定義、間違ってない？ これ毎回問題になってるな

AWC019-E は、W+D で昇順ソートすると、アイテム i を選ばなかったとしても「 i までで選んだアイテムの重み ≤ W_i + D_i」という制約が付いているとして良い そこから先は典型な気がするけど、処理するなら凸関数管理が一番考えること少ないかも

パソコンがチカチカ光出すと眠れないから今度テープ貼ろうかな