Laporan teknis ini memperkenalkan kerangka kerja "Certify-then-Rectify" yang menggabungkan kecepatan graf Hierarchical Navigable Small World (HNSW) dengan jaminan kebenaran teoretis. Metode ini secara dinamis mengevaluasi kualitas pencarian dan meningkatkan ke algoritma pemulihan eksak jika diperlukan, memastikan akurasi kasus terburuk.
- Menggunakan penjamin statistik bebas distribusi untuk menilai kualitas pencarian HNSW dengan overhead minimal.
- Menafsirkan ulang graf HNSW sebagai spanner geometris untuk membatasi jarak maksimum tetangga terdekat yang sebenarnya.
- Menerapkan Teori Nilai Ekstrem untuk memperkirakan faktor regangan empiris maksimum secara stokastik.
- Memberikan kecepatan kasus rata-rata HNSW sambil mempertahankan kebenaran kasus terburuk dari pencarian eksak.
Pendekatan ini menjembatani kesenjangan antara pencarian heuristik dan pengambilan yang ketat, mengungguli pendekatan lain yang berlaku pada dataset benchmark.