Σύγκριση Μεθόδων Ψηφοφορίας

Η μαθηματική προσέγγιση των συστημάτων ψηφοφορίας

Κάθε εκλογικό σύστημα εξάγει και επεξεργάζεται διαφορετικά τις πληροφορίες που περιέχονται σε ένα ψηφοδέλτιο κατάταξης. Το εργαλείο «Σύγκριση Μεθόδων Ψηφοφορίας» επιτρέπει την ταυτόχρονη ανάλυση ενός σεναρίου μονοεδρικής εκλογής μέσω πέντε διαφορετικών κανόνων καταμέτρησης. Με τον τρόπο αυτό, γίνεται άμεσα ορατό πώς η επιλογή του εκλογικού συστήματος μπορεί να επηρεάσει το τελικό αποτέλεσμα, αναδεικνύοντας ακόμη και διαφορετικούς νικητές από το ίδιο ακριβώς σύνολο προτιμήσεων των ψηφοφόρων.

Η επεξεργασία των δεδομένων εισαγωγής πραγματοποιείται τοπικά και τα δεδομένα παραμένουν στο πρόγραμμα περιήγησής σας και δεν μεταφορτώνονται ούτε αποθηκεύονται.

---

Προδιαγραφές και περιορισμοί εισαγωγής δεδομένων

Για τη σωστή λειτουργία του υπολογισμού, το εργαλείο επιβάλλει συγκεκριμένους κανόνες μορφοποίησης και ορίων στα δεδομένα εισαγωγής:

• Υποψήφιοι: Στο πεδίο «Υποψήφιοι» εισάγεται ένας μοναδικός υποψήφιος ανά γραμμή. Το εργαλείο απαιτεί τη χρήση μεταξύ 2 και 8 υποψηφίων. Κάθε όνομα πρέπει να είναι μοναδικό (συμπεριλαμβανομένων των διαφορών σε πεζά-κεφαλαία), να αποτελείται από έως 40 χαρακτήρες και να μην περιέχει άνω-κάτω τελεία (:) ή το σύμβολο μεγαλύτερο από (>).
• Ομαδοποιημένα ψηφοδέλτια κατάταξης: Στο πεδίο «Ομαδοποιημένα ψηφοδέλτια κατάταξης» εισάγεται μια ομάδα ανά γραμμή, με μέγιστο όριο τις 200 γραμμές ομαδοποιημένων ψηφοδελτίων. Κάθε γραμμή πρέπει να ακολουθεί αυστηρά τη μορφή: αριθμός ψήφων, άνω-κάτω τελεία και μετά κάθε υποψήφιος από την πρώτη έως την τελευταία επιλογή, διαχωρισμένος με το σύμβολο «>». Για παράδειγμα, η μορφή «45: Cedar > Harbor > Summit» είναι έγκυρη, ενώ οποιαδήποτε απόκλιση παράγει σφάλμα.
• Όριο έγκρισης: Η παράμετρος «Όριο έγκρισης» καθορίζει πόσους από τους πρώτους υποψηφίους εγκρίνει κάθε ψηφοδέλτιο στη μέθοδο της έγκρισης. Η τιμή αυτή πρέπει να βρίσκεται μεταξύ του 1 και του συνολικού αριθμού των υποψηφίων.
• Όρια μεγέθους: Ο συνολικός αριθμός ψήφων σε όλες τις γραμμές πρέπει να είναι ίσος ή μικρότερος από 10.000.000. Κάθε μεμονωμένη γραμμή πρέπει να περιέχει έναν ακέραιο αριθμό ψήφων μεταξύ 1 και 1.000.000 πριν από την άνω-κάτω τελεία. Το συνολικό μέγεθος του επικολλημένου κειμένου για υποψηφίους και ψηφοδέλτια πρέπει να παραμένει κάτω από 100 KB.

Σε περίπτωση μη τήρησης των παραπάνω κανόνων, το εργαλείο εμφανίζει αντίστοιχα μηνύματα σφάλματος, όπως:

• «Το επικολλημένο σενάριο είναι πολύ μεγάλο. Κρατήστε τα συνολικά δεδομένα εισαγωγής κάτω από 100 KB.»
• «Εισαγάγετε τουλάχιστον δύο υποψηφίους προτού προσθέσετε ψηφοδέλτια.»
• «Χρησιμοποιήστε μεταξύ 2 και 8 υποψηφίους.»
• «Κρατήστε κάθε όνομα υποψηφίου έως 40 χαρακτήρες.»
• «Τα ονόματα των υποψηφίων δεν μπορούν να περιέχουν άνω-κάτω τελεία ή το σύμβολο μεγαλύτερο από.»
• «Τα ονόματα των υποψηφίων πρέπει να είναι μοναδικά, συμπεριλαμβανομένων των διαφορών σε πεζά-κεφαλαία.»
• «Εισαγάγετε τουλάχιστον ένα ομαδοποιημένο ψηφοδέλτιο κατάταξης.»
• «Χρησιμοποιήστε το πολύ 200 γραμμές ομαδοποιημένων ψηφοδελτίων.»
• «Η γραμμή 1 πρέπει να έχει τη μορφή «45: Cedar > Harbor > Summit».»
• «Η γραμμή 1 απαιτεί έναν ακέραιο αριθμό ψήφων πριν από την άνω-κάτω τελεία.»
• «Η γραμμή 1 πρέπει να περιέχει μεταξύ 1 και 1.000.000 ψήφων.»
• «Η γραμμή 1 περιέχει ένα όνομα που δεν βρίσκεται στη λίστα υποψηφίων.»
• «Η γραμμή 1 κατατάσσει τον ίδιο υποψήφιο περισσότερες από μία φορές.»
• «Η γραμμή 1 πρέπει να κατατάσσει κάθε υποψήφιο ακριβώς μία φορά.»
• «Κρατήστε τον συνολικό αριθμό ψήφων ίσον ή μικρότερο από 10.000.000.»
• «Επιλέξτε ένα όριο έγκρισης μεταξύ του 1 και του αριθμού των υποψηφίων.»

---

Ανάλυση των πέντε μεθόδων καταμέτρησης

Όταν εισαχθούν έγκυρα δεδομένα, το «Αποτέλεσμα σεναρίου» εμφανίζει τη σύνοψη «100 ψήφοι · 5 μέθοδοι · 3 διαφορετικοί νικητές». Ο πίνακας «Σύγκριση μεθόδων» παρουσιάζει τα αποτελέσματα για κάθε κανόνα:

---

Λεπτομερή στοιχεία ελέγχου και γύροι αποκλεισμού

Για τη διαφανή παρακολούθηση των υπολογισμών, το εργαλείο παρέχει τρεις εξειδικευμένους πίνακες ανάλυσης:

1. Έλεγχος βαθμολογίας

Ο πίνακας «Έλεγχος βαθμολογίας» αναλύει τις επιδόσεις κάθε υποψηφίου στις επιμέρους παραμέτρους:

• Υποψήφιος
• Πρώτη επιλογή (χρησιμοποιείται στη Σχετική πλειοψηφία)
• Πόντοι Borda
• Εγκρίσεις
• Πόντοι Copeland

2. Γύροι IRV

Στη μέθοδο του Στιγμιαίου επαναληπτικού γύρου (IRV), η καταμέτρηση γίνεται σε διαδοχικούς γύρους. Ο πίνακας «Γύροι IRV» περιλαμβάνει τις στήλες:

• Γύρος
• Ενεργές πρώτες επιλογές
• Απόφαση: Καταγράφει ενέργειες όπως «Αποκλεισμός του υποψηφίου Cedar», «Ο υποψήφιος Cedar φτάνει την απαιτούμενη πλειοψηφία των 51 ψήφων», «Όλοι οι εναπομείναντες υποψήφιοι είναι ισόπαλοι» ή «Διακοπή: ισοπαλία στην τελευταία θέση μεταξύ των Cedar, Harbor». Εάν προκύψει μη επιλύσιμη ισοπαλία για τον τελευταίο υποψήφιο, η διαδικασία διακόπτεται με το σφάλμα «Ανεπίλυτη ισοπαλία αποκλεισμού: Cedar, Harbor».

3. Πίνακας αναμετρήσεων σώμα με σώμα

Ο πίνακας αυτός δείχνει πόσοι ψηφοφόροι προτιμούν τον υποψήφιο της γραμμής έναντι του υποψηφίου της στήλης. Συνοδεύεται από τη σημείωση «Επίσης κερδίζει κάθε αντίπαλο σε αναμετρήσεις σώμα με σώμα» εάν υπάρχει νικητής Condorcet, ή «Κανένας υποψήφιος δεν κερδίζει κάθε αντίπαλο σε αναμετρήσεις σώμα με σώμα.» σε αντίθετη περίπτωση.

---

Τύποι και μεταβλητές

Στην ενότητα «Τύποι και μεταβλητές» παρουσιάζονται οι μαθηματικοί κανόνες που εφαρμόζονται για την εξαγωγή των αποτελεσμάτων:

• Σχετική πλειοψηφία: P(c) = Σ count_b · 1[first_b = c]
• Καταμέτρηση Borda: B(c) = Σ count_b · (m − rank_b(c))
• Έγκριση: A(c) = Σ count_b · 1[rank_b(c) ≤ k]
• Copeland / ανά ζεύγη: C(c) = W(c) + 0.5 × T(c)
• Στιγμιαίος επαναληπτικός γύρος (IRV): V(c) > V ÷ 2

Ορισμοί μεταβλητών:

• b — ένα ομαδοποιημένο ψηφοδέλτιο· count_b είναι ο αριθμός των ψηφοφόρων του
• c — ο υποψήφιος που καταμετράται
• k — το όριο έγκρισης που επιλέχθηκε παραπάνω
• m — ο αριθμός των υποψηφίων
• rank_b(c) — η θέση του υποψηφίου c στο ψηφοδέλτιο b, ξεκινώντας από το 1
• V — ενεργές ψήφοι στον τρέχοντα γύρο IRV· V(c) είναι το ενεργό σύνολο του υποψηφίου c
• W(c) και T(c) — οι νίκες και οι ισοπαλίες του υποψηφίου c σε αναμετρήσεις ανά ζεύγη

Για περισσότερες πληροφορίες σχετικά με τις θεωρητικές βάσεις των μεθόδων αυτών, μπορείτε να ανατρέξετε στο OpenStax, «Voting Methods» (https://openstax.org/books/contemporary-mathematics/pages/11-1-voting-methods) καθώς και στις κατευθυντήριες οδηγίες του U.S. Election Assistance Commission, «Voluntary Voting System Guidelines» (https://www.eac.gov/voting-equipment/voluntary-voting-system-guidelines).

---

Συχνές Ερωτήσεις (FAQ)

Πώς μπορεί να συγκριθεί η ψήφος έγκρισης με τα ψηφοδέλτια κατάταξης;
Ένα ψηφοδέλτιο κατάταξης δεν ορίζει πού τελειώνει η έγκριση. Επομένως, αυτό το εργαλείο χρησιμοποιεί το όριο που επιλέγετε εσείς: πρώτη επιλογή, πρώτες 2 επιλογές κ.ο.κ. Αυτή η παραδοχή ισχύει μόνο για τη στήλη της έγκρισης και αναγράφεται δίπλα στο αποτέλεσμά της.

Είναι ο νικητής Copeland πάντα και νικητής Condorcet;
Όχι. Ένας νικητής Condorcet πρέπει να κερδίζει κάθε αντίπαλο σε αναμετρήσεις σώμα με σώμα, και ενδέχεται να μην υπάρχει τέτοιος νικητής επειδή οι προτιμήσεις μπορούν να σχηματίσουν κύκλο. Η μέθοδος Copeland εξακολουθεί να απονέμει πόντους για νίκες και ισοπαλίες σε ζεύγη· η υψηλότερη βαθμολογία της αναφέρεται ξεχωριστά και ενδέχεται να παρουσιάζει ισοπαλία.

Μπορώ να χρησιμοποιήσω αυτό το εργαλείο για να πιστοποιήσω ένα επίσημο εκλογικό αποτέλεσμα;
Όχι. Αυτό το εργαλείο σύγκρισης χρησιμοποιεί πλήρεις αυστηρές κατατάξεις, μονοεδρική εκλογή και έναν κανόνα διακοπής του IRV σε περίπτωση ισοπαλίας. Οι εκλογικοί νόμοι και οι κανόνες των οργανισμών ενδέχεται να ορίζουν διαφορετικά τις υπερψηφοφορίες, τις παραλειφθείσες θέσεις κατάταξης, τις υποψηφιότητες εκτός λίστας, την επίλυση ισοπαλιών, τους ελέγχους και τις μεταφορές σε πολυεδρικές περιφέρειες.

Μπορούν πραγματικά τα ίδια ψηφοδέλτια κατάταξης να αναδείξουν διαφορετικούς νικητές;
Ναι. Κάθε κανόνας χρησιμοποιεί διαφορετικές πληροφορίες: η σχετική πλειοψηφία κρατά μόνο τις πρώτες επιλογές, η μέθοδος Borda χρησιμοποιεί κάθε θέση κατάταξης, ο IRV μεταφέρει ψήφους μετά από αποκλεισμούς και η καταμέτρηση ανά ζεύγη συγκρίνει τους υποψηφίους ανά δύο. Το λυμένο παράδειγμα έχει σχεδιαστεί έτσι ώστε αυτές οι διαφορές να είναι ορατές και ανιχνεύσιμες.