Pull request #4441 в репозитории CrocSwap/integer-mult-bounds применяет проверенную переразметку с новым вспомогательным элементом ко всем 19 полным нативным вызовам сложного контроллера с прореженными запросами, введённого в #4440. Автор сообщает, что сохранены все 16 оплачиваемых срезов запросов, полные холостые вызовы, основные операторы и более сильный поставщик BIT.
Полученная условная оценка, проверенная автором, имеет вид T(n) = O(n (log n)^(1 - 0,00300105)). Это повышает κ на 0,00004105 (+1,3868%) по сравнению с 0,00296 из #4440, на 11,7098% выше 0,00268647 из #4416 и на 30,4804% выше зафиксированного выбранного значения 0,0023. Число оплачиваемых вызовов снижается с 72 902 до 69 273, экономия составляет 3 629, а массы производительных и оплачиваемых рангов становятся 260 798 и 259 998, сохраняя запас 800.
Автор утверждает, что точные интервальные оценки помещают корень фиксированного профиля между 0,0030010541830 и 0,0030010541834, а интервальное доказательство охватывает любое вещественное 0<C<1. Новый момент требует исправленной границы оплачиваемого хвоста gamma < 97/100, так как значение 31/32 из #4440 на этом профиле не выполняется. Более сильная конструкция BIT не изменилась; сообщается, что проходят все девять внешних строк, 54 текущих предиката и четыре функциональных охранника.
Работа представляет собой условную конструкцию, проверенную автором и ожидающую рецензии. Её предпосылки не проверены независимыми сторонами, а автор не заявляет ни безусловной теоремы, ни практического результата по времени выполнения, ни глобального оптимума, ни формального принятия. Общий CI по-прежнему красный из-за трёх архивных проверок закрепления исходного кода.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing