Katu

計数 → 数理1研(M1) AtC(algo)黄

↓ピアノを弾いています

[Katu @Katu2ou]

とても面白い大会だったけど，練習の時にあったフィードバックが無くなっていたのはちょっと困った

証明が間違えているのか，説明が不十分で通っていないのかくらいは判断できるようにしてほしいかもしれない

[Katu @Katu2ou]

Math Contest Grand Opening
https://t.co/uoNn9U1vta
ABC77:30 3完42位
A : 2人ずつ(あまりは3人)ペアにする
B : ちょうど真ん中以外の箱は可能
C : 辺を張った頂点の個数の和をnから小さくして見ていくと周期4が現れる

[ニコロ - Violin & Jazz Piano @nicolo_verdi]

Jazz Piano Practiceにブルーススケール、ディミニッシュスケールのレッスンを追加しました！
登ったり降りたり、ぜひ適当にたくさん弾いて慣れてみてください✨️
https://t.co/dB1cjbqe58

[AmShZ @_AmShZ_]

Ever wondered what Codeforces for math would look like?

We’re trying it this Tuesday!!

🧠 Repovive Math Contest Grand Opening
💰 $800 prize pool
📅 Tuesday, 29 September | 14:35 UTC

A live contest for mathematical problem solving, with the competitive feel of CP.

🔗 Join: https://t.co/lzcL30D2bT
📖 Details: https://t.co/sF7jU9hfnA

Hope to see you there!

[ヒカリ✨ @xiwi026789]

Pokémon Light Platinum NDS, this art style is incredible!

[帰宅/kitaku @fuyu_ru_ruru]

佐村河内守の「作曲指示書」をGPT-6 Astraに渡して、作曲させてみました。
74分・3楽章・約2万2000音のMIDIが返ってきた。
実際の74分音源とMIDIも、そのまま公開しています。
https://t.co/fSTYwLT33A

[Katu @Katu2ou]

AGCがrated対象外になって終わった...

[Weijie Su @weijie444]

Announcing that GPT-6 Astra has pushed the prime gap to 186, with Lean formalization!

I was 9 when I first heard the twin prime conjecture. Its elegance and Yitang Zhang’s legendary story have always stuck with me. A truly surreal night, being the first to see our model make progress, pushing 246 all the way down to 186, on a problem I’ve revered since I was a kid.

For me, it felt like witnessing a new era of intelligence being born, made possible by everyone at @OpenAI!

[Katu @Katu2ou]

ICPC終わるまでは競プロ頑張るかー の気持ちに

[Katu @Katu2ou]

原曲：SILENT (音楽) https://t.co/LsEuOHlrXj

ふりかけ地帯よりもラストよりも最初が難しいです もう少ししっかりとまとめたい

[Katu @Katu2ou]

人生は　こんな　ありふれた　音楽　に似ている

[Or Zamir @OREAXEAX]

Exciting result: k-Coloring is in (2-eps_k)^n time, where eps_k>0 for every fixed k!
Algorithms faster than the 2^n time needed to compute the chromatic number were previously known only for k<=6.
https://t.co/wzDIexHgjv

[⚫️Y.Y.⚪️ @ygussany]

初日のスライドがもう公開されてる！予習しましょう！
https://t.co/cMQasfkoSz

[Katu @Katu2ou]

icpc国内予選14位で通過ならず...
今までで圧倒的に一番惜しかった

[kinaba @kinaba]

https://t.co/Bfu9GMEQ6V 面白い。RSA暗号のための巨大素数ランダム生成で0x00000XX000000XX..000000XX みたいな、32bitおきに8bitずつだけビットの埋まった素数だけ作るバグった実装があるらしく、これだと整数の素因数分解ではなく多項式の素因数分解と見なして分解できるので簡単に解けちゃう

[Katu @Katu2ou]

国内72位 通ったか??

[Katu @Katu2ou]

Everlasting Message / ぺのれり　を弾かせて頂きました！
(特大画面揺れ注意)

[Katu @Katu2ou]

Fixstars高速化コンテスト2026 10位でした！

最初に多次元制約を無視した最大重み独立集合問題を解き，制約付きの場合の最適解はランダムケースの多くの場合で制約なしの最適解に非常に近くなることがわかったので，制約有りの問題をこれを用いて下界を設定して分枝限定法で解きました．

[Katu @Katu2ou]

先程の図においても同一行の左右は自由に行き来可能なので，左右の点を同一視することで，求める最小値は，
次の図において訪れる点の番号の最大値の最小値に15を足したものに一致することがわかる．
この値は，配列A' = {1,4,5}に対するコストの最小値に対応し，よって再帰的に求めることができる．

[Katu @Katu2ou]

昨日のB問題，格子上の移動として考えると個人的に分かりやすかったので，書いておきます．

[Katu @Katu2ou]

×印の格子点からは横方向にしか移動できないので，これらを潰すことで，次の図において点0からスタートして点0に戻ってくる閉路のうち，訪れる点の番号の最大値を最小化するものを考えると良いことがわかる．