CrocSwap/integer-mult-bounds リポジトリのプルリクエスト #4441 は、#4440 で導入されたクエリ間引き複合コントローラの全19の完全ネイティブ呼び出しに、検証済みの新しいヘルパーによる再タイミングを適用します。作者によれば、有料のクエリシアー16件すべて、アイドル呼び出し全体、主要オペレーター、より強力な BIT サプライヤーは保持されています。
作者が検証した条件付き上界は T(n) = O(n (log n)^(1 - 0.00300105)) です。これにより κ は #4440 の 0.00296 より 0.00004105 (+1.3868%) 上昇し、#4416 の 0.00268647 より 11.7098%、選択済みの固定値 0.0023 より 30.4804% 高くなります。有料呼び出しは 72,902 から 69,273 に減少し、3,629 件を節約します。生産的および有料のランク質量はそれぞれ 260,798 と 259,998 となり、800 の余裕を維持しています。
作者は、正確な区間上界により固定プロファイルの根が 0.0030010541830 と 0.0030010541834 の間にあること、そして区間証明がすべての実数 0<C<1 を覆うと述べています。新しいモーメントには有料テールの修正された上限 gamma < 97/100 が必要で、このプロファイルでは #4440 の 31/32 は成立しません。より強力な BIT 構成は変更されておらず、9つの外側の行、現行の 54 の述語、4つの機能ガードがすべて合格したと報告されています。
この作業は作者が検証した条件付き構成であり、査読を待っています。その前提は独立した第三者によって検証されておらず、作者は無条件の定理、実用的な実行時間の結果、大域的最適性、正式な承認のいずれも主張していません。全体の CI は、アーカイブされたソースピン確認3件で依然として失敗しています。
出典: Hacker News · 要約：HeadlinesBriefing