hotman

固定ツイート用

Cycle Double Cover Conjecture も倒されててわろた aiweekly.co/alerts/openai-…

@_chiaoi アルティン・ウェダーバーンの定理より可換かつ半単純なら存在し、スカラーのかわりに行列の各点積への変換を許せば非可換でも存在します！！ ただし、この定理は愚直より高速に計算できることを言ってません（確か未解決です）

畳み込みに対してそれが各点積になるような逆写像が存在するような写像が存在するのって多いんかな？このへんよく分からんな

JOI 飴の想定解は分割マトロイド交差の増加道検出高速化 後、両者の共通の別解として Convex Min Plus Convolution もある

MCF なるほどすぎる この問題昔から JOI 飴との類似性があると思っていたけど、この解釈ならそれはそう過ぎて腑に落ち

yukicoder.me/problems/no/21… 昔作った問題の類題が今日出たらしい？ ぜひ復習に！！

連想: 桁典型として一見桁に見えないのに桁というテクが高難度で頻出で、自分は「桁じゃないのに桁」と呼んでいる

実はなんやかんやすれば既に解かれるかもだけど、観測するまでは耐え

修論内容、早めに会議通さないと AI に食われそうでヤバい

@37zigen 多分当時の自分は縮退が起きたときに商列末尾に余計な物が入って 「前半の再帰で得た商列 + 境界で正確に割った商 q + 後半の再帰で得た商列」が崩れる事を懸念してた気がするんですが、よくよく考えるとその様なことは起こらない気もしてきました

@hotmanww その後は D, R 側をまた Half-GCD で再帰する。 つまり商列は 前半の再帰で得た商列 + 境界で正確に割った商 q + 後半の再帰で得た商列 を連結。

そういえば P(x)/Q(x) の連分数展開のやり方って最近進捗あったりしないのかな（library checker の issue 見て思い出した）

負けた！AIに完敗しました！ とても良い問題で、人間の良さがとても出ていて、競技時間も十分にあり、それでもAIに圧倒された。一つの節目としては素晴らしい問題と素晴らしい競技者だったと思う。観戦してくださった方々、ありがとうございました！明日のAlgorithm部門もぜひ見てね！！ #AWTF2026

@harurun_p おめでとうございます🎉

【重要なお知らせ】 AtCoderにおける提出ソースコードのAI事業者向け販売と、それに伴う利用規約・プライバシーポリシー変更についてのお知らせ atcoder.jp/posts/opt-out-… 重要なお知らせですので、必ずお読みください。

@37zigen @_npnp_hpp_ #toc11" target="_blank" rel="nofollow noopener">mathenachia.blog/yukicoder-2166… これとおんなじタイプのmultipoint evalution 亜種で O(n log^2 n) だと思います また、最高次数の項の係数が 1 なので、常に多項式除算が存在して任意 mod で上手くいく気がしてます

@_npnp_hpp_ mod p なら ①符号が要らない場合 P(t)=Π_i(t-x_i)とするとP'(x_i)=Π_{j≠i}(x_i-x_j) なのでdet^2 = prod P'(x_i) n log^2(n) ②符号が要る場合 f(L, R)=Π_{L≤i<j<R} (x_i-x_j) として、f(L, m), f(m,R) で分割統治 n log^3(n) mod Mで出来るかは多点評価が mod M で出来るかにかかってそうです。

ほんで任意modヴァルデモンド行列式をO(Nlog²N)とかで求める方法は無いんか

@caz37OwO 助かります！！！

@hotmanww ﾌﾑﾌﾑ… じゃあ書いてみます！（だいぶ昔のですけど）

まだ黄色になれていないある方の代理でユーザー解説書くのはありですか？ 公式解説より計算量が改善されているので、書く価値は十分ある

これになる気しかしないな はよ一人暮らしせねば

今回はここまで ミームかるたで10問を29.58秒でクリア！ ランクSS「ネ申」 #ミームかるた clank.work/otaku-karuta/

難しいかも ミームかるたで10問を57.39秒でクリア！ ランクB「新参」 #ミームかるた clank.work/otaku-karuta/