DOI: https://doi.org/10.1016/j.geb.2026.02.002
تاريخ النشر: 2026-02-14
المؤلف: Stergios Athanasoglou وآخرون
الموضوع الرئيسي: نظرية الألعاب وأنظمة التصويت
نظرة عامة
في هذا البحث، يقدم المؤلفون فئة جديدة من آليات التصويت تُسمى قواعد الإجماع المتسلسل، المصممة لاتخاذ القرار بين مرشحين اثنين. تتميز هذه القواعد بتسلسل من مجموعات الناخبين، حيث يتم تحديد النتيجة من خلال أول مجموعة تصل فيها الأصوات إلى توافق بالإجماع. يثبت المؤلفون وجود معادلة رسمية بين هذه القواعد وقواعد الائتلاف الفائز M التي اقترحها مولان، مما يوفر توصيفًا جديدًا لقواعد التصويت المحايدة والمحمية من الاستراتيجيات في سياق الاختيار الاجتماعي الثنائي. تشمل المنهجية خوارزميات تسهل التحويل بين قواعد الائتلاف الفائز M ونظيراتها من قواعد الإجماع المتسلسل، مما يبرز أهميتها في الأدبيات المتعلقة بالألعاب البسيطة القوية.
تستكشف الورقة أيضًا توسيع هذه القواعد لتناسب السيناريوهات التي قد يعبر فيها الناخبون عن عدم الاكتراث بين المرشحين. من خلال نهج خوارزمي منهجي، يظهر المؤلفون اختيار مجموعات معينة من الناخبين التي تلبي معايير محددة مسبقًا، مما يؤدي في النهاية إلى إنهاء الخوارزمية مع وجود مجموعات متعددة متبقية. تؤكد النتائج على تعقيد تلبية جميع المعايير في وقت واحد، مما يوضح التفاعل الدقيق بين مجموعات الناخبين المختارة. تسهم النتائج بشكل كبير في فهم قواعد التصويت وآثارها الاستراتيجية، مما يمهد الطريق للبحوث المستقبلية في كل من نظرية التصويت ونظرية الألعاب.
مقدمة
في هذا القسم، يستكشف المؤلفون قواعد التصويت القابلة للتطبيق على السيناريوهات التي تحتوي على بديلين، مع التركيز على أهميتها في سياقات عملية متنوعة مثل الانتخابات السياسية، وأحكام هيئة المحلفين، وقرارات السياسة النقدية. تُعرف قاعدة التصويت بأنها دالة تختار مرشحًا فائزًا بناءً على تفضيلات الأفراد، مع معايير رئيسية تشمل العدالة، والكفاءة، وعدم القابلية للتلاعب. يبرز المؤلفون أهمية الحماية من الاستراتيجيات، والحيادية، والسرية في قواعد التصويت، مشيرين إلى نظرية ماي، التي تصف قاعدة الأغلبية بأنها تلبي هذه الخصائص. ومع ذلك، يلاحظون أن العديد من أنظمة التصويت في العالم الحقيقي تنحرف عن قاعدة الأغلبية النقية، وغالبًا ما تمنح قوة متفاوتة للناخبين بناءً على عوامل مثل الأقدمية أو الخبرة.
لمعالجة هذه التعقيدات، يقترح المؤلفون عائلة جديدة من قواعد التصويت تُسمى قواعد الإجماع المتسلسل، والتي تعادل قواعد الائتلاف الفائز M ولكنها أبسط في التنفيذ. تعمل هذه القواعد من خلال فحص مجموعات الناخبين بشكل متسلسل لتفضيلات بالإجماع، مما يقلل من العبء المعرفي المرتبط بجمع التفضيلات وتعقيد التحقق من شروط الانتظام. يقدم المؤلفون خوارزميات تثبت وجود معادلة بناءة بين قواعد الائتلاف الفائز M وقواعد الإجماع المتسلسل، مما يسهل تطبيق هذه المفاهيم على الألعاب البسيطة القوية، خاصة في السياقات غير الموزونة. يختتم القسم بوضع عملهم ضمن الأدبيات الأوسع حول الاختيار الاجتماعي الثنائي والألعاب البسيطة القوية، مشيرين إلى طرق محتملة للبحث المستقبلي.
نقاش
في هذا القسم، تناقش الورقة الإطار النظري المحيط بقواعد التصويت، مع التركيز بشكل خاص على قواعد الائتلاف الفائز M وقواعد الإجماع المتسلسل. تُعرف قاعدة الائتلاف الفائز M بناءً على مجموعة من الناخبين وتفضيلاتهم تجاه مرشحين اثنين، مما يضمن أن القاعدة محمية من الاستراتيجيات ومحايدة. يقدم المؤلفون عدة تعريفات، بما في ذلك الائتلافات الفائزة ومجموعات الائتلاف الفائز M، والتي تساعد في وصف الشروط التي تعمل بموجبها هذه القواعد. يثبتون أن قواعد الائتلاف الفائز M تعادل الألعاب البسيطة القوية في نظرية الألعاب التعاونية، مما يسمح باستكشاف أعمق لخصائصها، مثل الوزن والصلابة التجارية.
ثم يقدم المؤلفون الخوارزمية 1، التي تبني تسلسلًا من مجموعات الناخبين من مجموعة الائتلاف الفائز M، مما يؤدي إلى عائلة من قواعد الإجماع المتسلسل. تم تصميم هذه الخوارزمية لضمان أن التسلسلات الناتجة لا تحتوي على عناصر زائدة، مما يعزز كفاءة عملية التصويت. تستكشف الورقة أيضًا قواعد الإجماع المتسلسل الأساسية، والتي تُعرف بأنها تلك التي تكون فيها كل مجموعة في التسلسل حاسمة لنتيجة القاعدة. يقترح المؤلفون شروطًا إضافية لضمان أن التسلسلات التي تنتجها الخوارزمية أساسية، مما يسهم في فهم كيفية هيكلة آليات التصويت المختلفة بشكل فعال للحفاظ على العدالة والنزاهة الاستراتيجية في عمليات اتخاذ القرار.
DOI: https://doi.org/10.1016/j.geb.2026.02.002
Publication Date: 2026-02-14
Author(s): Stergios Athanasoglou et al.
Primary Topic: Game Theory and Voting Systems
Overview
In this research, the authors introduce a new class of voting mechanisms termed sequential unanimity rules, designed for decision-making between two candidates. These rules are characterized by a sequence of voter subsets, with the outcome determined by the first subset where voters reach unanimous agreement. The authors establish a formal equivalence between these sequential unanimity rules and the M-winning coalition rules proposed by Moulin, thereby providing a fresh characterization of neutral and strategy-proof voting rules in the context of binary social choice. The methodology includes algorithms that facilitate the transformation between M-winning coalition rules and their sequential unanimity counterparts, highlighting their relevance to the literature on strong simple games.
The paper further explores the extension of these rules to accommodate scenarios where voters may express indifference between candidates. Through a systematic algorithmic approach, the authors demonstrate the selection of specific voter subsets that meet predefined criteria, ultimately leading to the termination of the algorithm with multiple remaining subsets. The findings underscore the complexity of satisfying all criteria simultaneously, illustrating the nuanced interplay between the selected voter subsets. The results contribute significantly to the understanding of voting rules and their strategic implications, paving the way for future research in both voting theory and game theory.
Introduction
In this section, the authors investigate voting rules applicable to scenarios with two alternatives, emphasizing their relevance in various practical contexts such as political elections, jury verdicts, and monetary policy decisions. A voting rule is defined as a function that selects a winning candidate based on individual preferences, with key criteria including fairness, efficiency, and non-manipulability. The authors highlight the significance of strategy-proofness, neutrality, and anonymity in voting rules, referencing May’s theorem, which characterizes majority rule as satisfying these properties. However, they note that many real-world voting systems deviate from pure majority rule, often granting differential power to voters based on factors like seniority or expertise.
To address these complexities, the authors propose a new family of voting rules called sequential unanimity rules, which are equivalent to M-winning coalition rules but simpler to implement. These rules operate by sequentially examining subsets of voters for unanimous preferences, thereby reducing the cognitive burden associated with preference elicitation and the complexity of verifying regularity conditions. The authors present algorithms that establish a constructive equivalence between M-winning coalition rules and sequential unanimity rules, facilitating the application of these concepts to strong simple games, particularly in non-weighted contexts. The section concludes by situating their work within the broader literature on binary social choice and strong simple games, indicating potential avenues for future research.
Discussion
In this section, the paper discusses the theoretical framework surrounding voting rules, particularly focusing on M-winning coalition rules and sequential unanimity rules. An M-winning coalition rule is defined based on a set of voters and their preferences over two candidates, ensuring that the rule is strategy-proof and neutral. The authors introduce several definitions, including winning coalitions and M-winning coalition sets, which help characterize the conditions under which these rules operate. They establish that M-winning coalition rules are equivalent to strong simple games in cooperative game theory, allowing for a deeper exploration of their properties, such as weightedness and trade robustness.
The authors then present Algorithm 1, which constructs a sequence of voter subsets from an M-winning coalition set, leading to a family of sequential unanimity rules. This algorithm is designed to ensure that the resulting sequences do not contain superfluous elements, thereby enhancing the efficiency of the voting process. The paper further explores essential sequential unanimity rules, which are defined as those where every subset in the sequence is critical for the rule’s outcome. The authors propose additional conditions to guarantee that the sequences produced by the algorithm are essential, thereby contributing to the understanding of how different voting mechanisms can be effectively structured to maintain fairness and strategic integrity in decision-making processes.