熨斗袋 (@noshi91) header
熨斗袋 (@noshi91) profile picture

https://teapaw.org/t.co/cjjnd793B5 お気軽に unfollow してください。 その他のアカウント: @noshi91s @noshi91_locked

Joined June 2018
Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)Photo by 熨斗袋 (@noshi91)
熨斗袋 retweeted
AI は部分木の {min, max} を持たせて枝刈りしろと言っています
1
3
1,090
熨斗袋 retweeted
3乗の下界があって、min/max で早期終了する split なら2乗になるらしい
1
3
677
Subset Sum in Almost-Linear Time Ce Jin, Xiao Mao arxiv.org/abs/2610.20742 [𝚌𝚜.𝙳𝚂]
1
6
36
2,134
熨斗袋 retweeted
本当に全部1500点だった場合はほぼみんな0完でそんなレート減らないからまだいいけど、一問だけ900とかだった場合はまずくて、3択クイズに不正解だとその時点で負けになる
1
4
27
4,965
熨斗袋 retweeted
A list of tasks for which LLMs (mostly GPT-6 Pro) have found solutions significantly better and non-trivially different from the authors’ solutions: qoj.ac/blog/qingyu/blog/4412 The list is still being updated, and I'll mark all solutions I find particularly interesting.
8
70
9
461
156,467
修論の時やってたPCP[3,4]というパズルゲーム、2問だけ残ってたんですが、GPT-6-Astra が上手な探索を書いた結果解けました。驚き。 これにて3170インスタンス全部解決され、Isabelleでの証明も付与された。 github.com/Mojashi/pcp-3-4-p… 最小解はまだ不明
PCPですが、2問残り続けてます。修論は28日にFIXらしいので、もしよければあと2問お願いします。さすがに解ない気がします。 12の方は深さ700まで解が無いことは探索済み
11
3
56
16,925
arxiv.org/abs/2609.01365 新作出ました! すべての入力文字列を部分文字列として含む最短の文字列を求める最短超文字列問題において、単純な貪欲法の解が最適解の2倍より長くなることはない、という約40年間未解決だった予想に対し、(AIの力を借り)初の反例を与えることで予想を解決しました。
2
116
12
543
133,567
熨斗袋 retweeted
AtCoder で組合せゲーム 24 題を開催します!!9/26 (土) の 13:00-18:00 を予定しています atcoder.jp/contests/game-24 組合せゲームの基礎的・教育的な問題を多く扱っています、発展的な問題もいくつか入れています ぜひご参加ください!
1
58
23
193
50,234
熨斗袋 retweeted
Replying to @noshi91
私のやり方だと 1, 4 だけなら 1 と 4 は別グループになるので、それぞれ 2 通りで 2*2=4 みたいになるのであまり面倒さを感じなかったです
1
1
1
1,458
結局A+B≤B+Aが順序であることがおれの中では証明できてないんだけど、これって自明ですか?
3
4
3
55
16,837
このブログの問題も面白かったです 問題概要 ・N×M行列がある。 ・クエリをQ回処理し、最終的な行列を出力せよ。  ・転置する。(i,jにあった要素をj,iに写す)  ・NM=KLなるK,Lが与えられるので、上から下、左から右に読んだ数列が変わらないようにK×L行列にする
1
3
1
12
4,647
熨斗袋 retweeted
gの計算の方はかなり素直で、正則行列Pとその逆行列で挟んで対角化したように、Pで座標変換して綺麗にしたい気持ちがある。Pの計算の変形を思い出すと、結局は基本変形という名前ではあるがPに単位行列とほとんど同じ正則行列を掛けて更新していたのだった。 hは謎。逆にして右から合成しておく(?)
1
5
972
熨斗袋 retweeted
なんで最強のAIさんは僕が2秒で思いつくような反例を思いつかず的外れなことやって数時間溶かすのに、数学の難問は解けるんだ・・・。いったい何がどうなってるんだ・・・。
10
91
21
927
142,206
熨斗袋 retweeted
1/5 Oh wow. GPT-5.6-Sol seems to be on a whole other level. In just three weeks, it seems to have made nontrivial progress on 10+ problems in social choice. Exciting! (But I'm still processing what the existence of such a model means for research.) A snapshot:
18
51
18
432
95,111
熨斗袋 retweeted
いやしかし今後競プロはどうなるんだろうなあ。将棋や囲碁がそうであるのと同様、人力限定のアルゴリズム発想力を競う楽しさ自体は何ら損なわれていないけれど、しかしそれ以前の問題として、AI無しで手でプログラムを書くという文化自体が新規世代では完全に消えさるだろうから、老人向け娯楽になる
17
4
98
8,148
熨斗袋 retweeted
【AtCoder Algorithm Lectures 公開のお知らせ】 「AtCoder Algorithm Lectures」を公開しました。 競技プログラミングの理論やテクニックを解説する講座です。 今後も講座を拡充し、質の高い学習コンテンツの提供を目指します。 info.atcoder.jp/entry/algori…
319
82
947
226,808
Bipartite Exact Matching in P Yuefeng Du arxiv.org/abs/2604.01571 [𝚌𝚜.𝙳𝙼 𝚌𝚜.𝙲𝙲 𝚌𝚜.𝙳𝚂]
6
2
14
13,551
The Li-Chao Tree: Algorithm Specification and Analysis Chao Li arxiv.org/abs/2603.07948 [𝚌𝚜.𝙳𝚂 𝚌𝚜.𝙲𝙶]
1
6
2
23
7,340