Hacker News Front Page · 1337isnot1337 ·
Conditional κ = 0.00300105 (+4.105e-5 over #4440): combine query thinning and helper retiming by 1337isnot1337 · Pull Request #4441 · CrocSwap/integer-mult-bounds
La propuesta combina la reducción de consultas de #4440 con el reajuste de helpers para obtener la cota condicional T(n) = O(n (log n)^(1 - 0.00300105)), un aumento de κ del 1,3868 % respecto de #4440. La construcción conserva los operadores principales y las consultas pagadas, reduce las llamadas pagadas en 3.629 y presenta comprobaciones de intervalos, límites de colas y una amplia validación automatizada. El resultado depende de varias premisas técnicas y está pendiente de revisión; no se presenta como un teorema incondicional ni como una afirmación de rendimiento práctico.
Apply the verified fresh-helper retiming to all 19 full native calls of #4440's p17 query-thinned complex controller. All 16 paid query shears, whole idle calls, main operators and the stronger...