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

熨斗袋

@noshi91

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

Joined June 2018
  • Tweets49.5K
  • Following758
  • Followers2.7K
362Media
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)
このアカウントの運用について 他アカウントをフォロー解除するときに、ブロック→ブロック解除をしています。これに深い意味はなく、普通にフォロー解除すると相手方が気付かずに面倒が起こるかもしれない (空リプに気付けない等) と考えてのことです。 また、ミュートは使っていません。
1
1
36
galacticな計算量を許すならNPも何とかなるのではないかということを根拠にP=NPと予想するのはEXPTIME完全な問題の存在で破綻してないか？
14
1,270
C++で永続平衡二分木を書くと、new と比べて delete が遅すぎるため解放しないことが大真面目な高速化になる
5
33
2,941
[0, 1] の一様分布で x=2 は「起きない」か？ 「確率が0なだけ」か？ 起きないと考える場合、[0, 1] の一様分布で x=0.5 だけ「起きない」ようにできるか？
1
2
25
8,229
ETH 死んで四天王の最後の一人落ちたな感がある あとは OV ？
3
28
2,643
subset sum は加法的整数論みたいなの出てきたあたりでもう分からんとなっていたが、ついに計算量限界まで来てしまったか modular の方はなんか実用的な感じになってるらしいしあとは knapsack？
9
1,051
Subset Sum in Almost-Linear Time Ce Jin, Xiao Mao arxiv.org/abs/2610.20742 [𝚌𝚜.𝙳𝚂]
We give a deterministic algorithm for finding a subset of the input integers 1≤ a₁,…,aₙ ≤ Δ that sums to the target t in O(n+Δ¹⁺ᵒ⁽¹⁾) time. This improves upon the previous Õ(n + Δ¹.⁵)-time algorithm by Chen, Lian, Mao, and Zhang (SODA 2024), and achieves almost tight dependence on Δ assuming SETH. We use an inverse theorem for subset sums due to Conlon, Fox, and Pham (2023), and develop a quotient variant of economic cap covering from the polytope approximation literature.

ALT We give a deterministic algorithm for finding a subset of the input integers 1≤ a₁,…,aₙ ≤ Δ that sums to the target t in O(n+Δ¹⁺ᵒ⁽¹⁾) time. This improves upon the previous Õ(n + Δ¹.⁵)-time algorithm by Chen, Lian, Mao, and Zhang (SODA 2024), and achieves almost tight dependence on Δ assuming SETH. We use an inverse theorem for subset sums due to Conlon, Fox, and Pham (2023), and develop a quotient variant of economic cap covering from the polytope approximation literature.

1
6
36
2,101
昔気まぐれにルール読んだ直後にCPUの囲碁と対戦したら、囲ったのに取れなくて？？？になりそのまま放置してたんだけど、最近のTLで謎が解決した。 最初に陣地の話をするから、囲ったら取れるを「囲うと自分の陣地になり、中にいる相手は死ぬ」という意味だと類推してしまい、
1
9
116
40,896
隙間なく囲わないといけないということに気付かなかった。 ルール書いてる側は無意識に隙間ないのが当たり前と思ってるので記述が抜けやすそうだ。自分もオセロの説明するとしたら隙間あったらダメですって言い忘れそうだな。
1
4
35
9,085
自分の石で囲ったのに中に敵が石を打ってくるのも結構びっくり挙動ではあるな。ボードゲームって勝敗条件から説明するのが鉄板だとと思うけど、その時に「打っても損するだけと双方が思ってノータッチになった場所」という結構複雑な概念がいきなり必要になってハードだ
3
31
8,638
僕のライブラリはCC0にしておいたような気がするが実はバグってて大損しましたという報告が年一くらいで届いており…
30
1,634
爆速ライブラリでインチキACができそうな時にLCのfastestを眺めて、CC0やMITで公開されていないのでコピペを諦めるということは結構ある。
16
1,097
競プロ大喜びであるところの代数や数え上げ系のアルゴリズムは見た感じなさそうではある (見落としてたらごめん)
1
30
3,222
F_p 多項式の因数分解をdeterministicにしましたというのがギリ該当か
1
4
1,004
OpenAIの発表の理論計算機科学のところ眺めてるけどあまりにヤバすぎる結果がドカドカ出てて唖然
10
1
138
8,880
3SUM/APSP破壊流石に草
7
59
3,269
最近 Rust に対して篩型みたいなのを付けたくなった Vec<Option<T>> に対して None が無いことを検査したことを表そうとすると Vec<T> になるんだけどそのためにアロケーションしたくないので、メモリ上は Option<T> なんだけど None でないことは分かってるからゼロコストで unwrap したいみたいな
4
1,276
Rust で競プロすると配列アクセスでの mutability が上手く保証できないことがあり、それはアクセスする場所が実行時に決まるという配列の本質的な危険性が陽に現れているだけと言えないこともないもののやっぱつれえわになる あとクロージャの借用周りとか
8
1,218
Cは ABA や BAB みたいなところが共有財産 (どちらが着手しても同じ状態に至る) で、もっと一般に結構でかい範囲が合計着手数だけ決まってる状態だなあと思ったけど、じゃあそこから何が言えるかというと別に何も
1
6
2,148
高いところと低いところの間でウネウネしてても意味ないということなので、historical max/min に何か意味がありそうというくらいは言えなくもないか
2
893
3200↑がしっかり勝ってるのを見るとやっぱ本物って感じがしてすごいよ 異常難問に対する安定性があるのって何？
22
1,671
Load more