La solicitud de extracción #4441 del repositorio CrocSwap/integer-mult-bounds aplica un recronometraje verificado con un auxiliar nuevo a las 19 llamadas nativas completas del controlador complejo con consultas adelgazadas introducido en #4440. El autor informa que se conservan las 16 consultas de corte pagadas, las llamadas inactivas completas, los operadores principales y el suministrador BIT, más fuerte.
La cota condicional resultante, verificada por el autor, es T(n) = O(n (log n)^(1 - 0,00300105)). Esto eleva κ en 0,00004105 (+1,3868%) sobre el 0,00296 de #4440, 11,7098% sobre el 0,00268647 de #4416 y 30,4804% sobre el 0,0023 fijado y seleccionado. Las llamadas pagadas bajan de 72.902 a 69.273, un ahorro de 3.629, y las masas de rango productivo y pagado pasan a 260.798 y 259.998, manteniendo un superávit de 800.
El autor afirma que las cotas exactas por intervalos sitúan la raíz del perfil fijo entre 0,0030010541830 y 0,0030010541834, y que una prueba por intervalos cubre todo real 0<C<1. El nuevo momento exige un límite reparado de la cola pagada, gamma < 97/100, ya que el 31/32 de #4440 falla en este perfil. La construcción BIT más fuerte no cambia, y se informa que pasan las nueve filas externas, los 54 predicados actuales y cuatro guardas funcionales.
El trabajo es una construcción condicional verificada por el autor que espera revisión. Sus premisas no han sido verificadas por terceros independientes, y el autor no reclama un teorema incondicional, un resultado práctico de tiempo de ejecución, un óptimo global ni aceptación formal. El CI general sigue en rojo en tres comprobaciones archivadas de fijación de código fuente.
Fuente: Hacker News · Resumido por HeadlinesBriefing