في عالم الانتخابات القائم على الموافقة، تعتبر أهداف العدالة التناسبية موضع اهتمام كبير. ومن بين هذه الأهداف، نجد أن "التمثيل العادل الكامل" (Full Justified Representation - FJR) يُعتبر أحد أقوى المعايير المعروفة. تكشف الأبحاث الأخيرة أنه من الممكن العثور على لجنة تحقق FJR في زمن متعدد الحدود، ولكن يبقى التحقق مما إذا كانت لجنة معينة تحقق FJR مهمة معقدة ومرتبطة بـ coNP-complete.

اليوم، نُقدم لكم مفهوم "FJR+"، وهو تعبير أكثر دقة وقوة عن FJR وEJR+، قادر على التحقق منه وإحرازه في الزمن الخطي. عبر تحليل خوارزمية "Residue-Budget Greedy" (RBG)، أثبتنا أنها تستطيع اختيار لجنة جزئية بحيث تحقق كل إكمال بحجم k شروط FJR+.

تتيح لنا هذه المرونة استخدام نظام "Phragmén" المتسلسل لتحقيق إكمال قابل للتسعير، مما يضمن أن القاعدة الناتجة دائماً تحقق FJR+ و"sub-core"، وتكون قابلة للتسعير متى تم وثوق عدد k من المرشحين.

علاوة على ذلك، قدمنا نسخة من "Droop-quota" لـ FJR+. وأخيرًا، قمنا بتطبيق FJR+ على أنظمة الميزانية التشاركية المعتمدة على الموافقة بمشاريع بتكاليف مختلفة، مما مكننا من حساب خاصية معينة في زمن قابل للتحقيق.

إن مفاهيم مثل FJR+ ليست مجرد تطورات نظرية، وإنما تعكس الاتجاه المستقبلي في الحوكمة الانتخابية، حيث نمتلك الآن أدوات أكثر فعالية لضمان العدالة في العمليات الانتخابية.