Pull request #4441 di repositori CrocSwap/integer-mult-bounds menerapkan retiming helper baru yang terverifikasi pada seluruh 19 panggilan native penuh dari pengontrol kompleks berkueri tipis yang diperkenalkan di #4440. Penulis melaporkan bahwa seluruh 16 geseran kueri berbayar, seluruh panggilan idle, operator utama, dan pemasok BIT yang lebih kuat tetap dipertahankan.
Batas bersyarat hasil pemeriksaan penulis adalah T(n) = O(n (log n)^(1 - 0,00300105)). Ini menaikkan κ sebesar 0,00004105 (+1,3868%) dibanding 0,00296 di #4440, 11,7098% di atas 0,00268647 di #4416, dan 30,4804% di atas 0,0023 yang dipatok sebagai pilihan. Panggilan berbayar turun dari 72.902 menjadi 69.273, menghemat 3.629, dan massa peringkat produktif serta berbayar menjadi 260.798 dan 259.998, mempertahankan surplus 800.
Penulis menyatakan bahwa batas interval eksak menempatkan akar profil tetap di antara 0,0030010541830 dan 0,0030010541834, dan bahwa bukti interval mencakup setiap bilangan real 0<C<1. Momen baru membutuhkan batas ekor berbayar yang diperbaiki, yaitu gamma < 97/100, karena nilai 31/32 di #4440 gagal pada profil ini. Konstruksi BIT yang lebih kuat tidak berubah, dan dilaporkan bahwa kesembilan baris luar, 54 predikat saat ini, dan empat penjaga fungsional lulus.
Pekerjaan ini adalah konstruksi bersyarat hasil pemeriksaan penulis yang menunggu tinjauan. Premisnya belum diverifikasi oleh pihak independen, dan penulis tidak mengklaim teorema tanpa syarat, hasil waktu eksekusi praktis, optimum global, atau penerimaan formal. CI keseluruhan masih merah pada tiga pemeriksaan pin sumber yang diarsipkan.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing