ハチ吾

AtCoderと数学をします

[ハチ吾 @MRB_uchi]

MRBuchiさんのAtCoder Beginner Contest 278での成績：2375位
パフォーマンス：969相当
レーティング：780→801 (+21) :)
Highestを更新し、6 級になりました！
#AtCoder #ABC278 https://t.co/hzX0b7uLBU

入緑！！！！！

[ハチ吾 @MRB_uchi]

arxiv初めて引用された！

[arXiv math.CO Combinatorics @mathCObot]

Generalizing OOOOOOB
arXiv:2605.23213

Localized Tur\'{a}n-type inequalities for $Q$-index
arXiv:2605.23283

Higher Rank-Support Weights and q-Polymatroids
arXiv:2605.23284

[ハチ吾 @MRB_uchi]

「手間ひまかけて育てた青春」とかいう表現すっこすこのすこすこー

[ハチ吾 @MRB_uchi]

@batapi0311 おめでとう🎉

[ハチ吾 @MRB_uchi]

ありがとうサカナクション…

[ハチ吾 @MRB_uchi]

布団の温かみ

[Taihei Oki（けんきゅうしゃのすがた） @noptium]

明後日九州大学でこの話をします！
https://t.co/XZ9kKl3rA9

[ちいかわ💫アニメ火金 @ngnchiikawa]

🙌

[arXiv math.CO Combinatorics @mathCObot]

Ryo Uchiumi: The characteristic quasi-polynomials of hyperplane arrangements with actions of finite groups https://t.co/z9yexiYbKw https://t.co/si0G0CQCqB https://t.co/1YUOfV1lDr

[ハチ吾 @MRB_uchi]

正誤表
NL → NN

[ハチ吾 @MRB_uchi]

競プロerが「二重ループうーん」…とか言ってる一方でDL、NL界隈は「行列計算は高速✨️」って言ってる感じで合ってますか？

[ハチ吾 @MRB_uchi]

Python が全く通らなくて謎ライブラリ使ったりC++でほぼ同じコード書いたら通ったりと謎ですね

[ハチ吾 @MRB_uchi]

今日のADT、サーバー側の実行が遅いだけな気がする…？

[ちいかわ💫アニメ火金 @ngnchiikawa]

🪧

[ハチ吾 @MRB_uchi]

@fumiyanll23 やってみます！

[ハチ吾 @MRB_uchi]

CTF楽しい、
cpawCTF全部埋まった

[ハチ吾 @MRB_uchi]

@fumiyanll23 CTF 完全に理解してます！

[ハチ吾 @MRB_uchi]

と思ったけどCpawCTF2があるらしい

[Daisuke Okanohara / 岡野原 大輔 @hillbig]

辺数m, 頂点数nの有向グラフ上の単一始点最短経路問題に対して、1959年に発見されたダイクストラ法のO(m+n log n)が最適であり、特に「ソートの壁」n log nを破れないとみられていたが今回、これを破る決定論的アルゴリズムが見つかった。無向グラフでも決定論的で破った最初のアルゴリズムといえる

ダイクストラ法は、最短距離が決定した頂点集合（完成済み）とその周辺にある頂点集合のフロンティアを維持し、フロンティアはヒープで管理する。ヒープから最短距離の頂点を１つ取り出し、そこから出る辺をすべて展開しフロンティアを更新する。このヒープを更新していくことからO(n log n)のソートの壁を突破できないと考えられていた

主要アイディアは、このフロンティアSを、ある適当なパラメータkをおいたときの1/kに縮小する方法である。Bellman-Ford法をSに対してkステップ分だけ実行する。
Sからkステップ未満で到達できる頂点は完成済みとみなし、完成済みにいれる。
それ以上のステップを必要とする頂点については、それらの最短パスは必ずSにある距離的に重要な代表点（k個以上の頂点を持つ木の根）を通ることが示せ、この代表点のみをフロンティアにいれる。
これにより、フロンティアのサイズを劇的に抑えられる。

実際のアルゴリズムは動的なフロンティア管理を効率的に行えるよう分割が含まれたりとかなり複雑である。
また、実用的なアルゴリズムかというと、定数項を大きステ、実用上ありえないぐらい大きなn, mじゃないと効果が出ない。一方、最も基本的なアルゴリズムの一つで理論的に限界だと思われていた問題の計算量が破られたことの意義は大きく、ここからいろいろな発展がうまれるかもしれない。

本研究は計算科学理論のトップ学会であるSTOC 2025のベストペーパーに選ばれている

[桜井 政博 / Masahiro Sakurai @Sora_Sakurai]

ご存知ないかもしれませんが…
いまわたし、この機種のソフト作っているんですよ…