هل يكفي أربعة؟ نهج التفكير الآلي وحدود مزدوجة لأبعاد كوندورسي للانتخابات

في عالم الانتخابات، يتنافس المرشّحون في سعيهم للحصول على أصوات الناخبين. ولكن ما هي الشروط والتعقيدات التي تؤثر على تحديد الفائزين؟ تُظهر النظريات القديمة، مثل مفارقة كوندورسي، أن بعض الانتخابات لا تحتوي على مجموعات فائزة تتكون من مرشّح واحد فقط. الأبحاث الأخيرة تقدم بديلاً جديداً: مجموعات فائزة مكونة من 5 مرشّحين يمكن أن تتواجد في كل الانتخاباتو لكن ماذا عن المجموعات الأصغر؟

في دراسة جديدة، يسعى الباحثون لسد الفجوة بين الحدود العليا والسفلى لمجموعات الفوز. إذ من المعروف أن الحد الأدنى المطلوب لمجموعات الفوز هو 3 مرشّحين، بينما يمكن أن تصل الحدود العليا إلى 5. كيف يمكننا الاستعانة بالتفكير الآلي (Automated Reasoning) لتضييق هذه الفجوة؟

من خلال تصميم برنامج خطي مختلط (MILP)، يقوم الباحثون بالبحث عن انتخابات قد تكون بمثابة أمثلة مضادة للحدود المذكورة. تم توظيف تقنيات متعددة مثل كسر التناظر ومواءمة العينة لتعزيز النتائج وتحليل الأبعاد الانتخابية. على الرغم من الجهود المبذولة في البحث، لم يتمكن الفريق من العثور على انتخابات تتطلب مجموعات أكبر من 3.

ومع ذلك، أدى التحليل العميق إلى تطوير فرضية جديدة تشير إلى أن مجموعة فائزة مكونة من 4 مرشّحين قد تكون كافية دائمًا. تتيح النتائج المستخلصة من الأبحاث الجديدة فهماً أوسع لأبعاد كوندورسي، مما يشير إلى أن الحجم اللازم للمجموعات قد يكون أقل مما كنا نعتقد سابقاً. هذه الدراسة لا تفتح فقط آفاقاً جديدة للأبحاث في مجال الانتخابات، بل توفر أيضًا إطارًا عامًا للبحث في نظام التصويت المُرتب.