Seçim Yöntemlerinin Matematiksel Yapısı ve Bilgi İşleme Farkları
Seçim sistemleri, seçmen tercihlerini analiz ederken oy pusulalarındaki verileri farklı matematiksel kurallara göre işler. Tek bir sıralı oy pusulası kümesi, kullanılan sayım yöntemine bağlı olarak tamamen farklı kazananlar üretebilir. Bu durum, her yöntemin seçmen tercihlerinin farklı boyutlarına odaklanmasından kaynaklanır.
Çoğunluk sistemi (Plurality), yalnızca seçmenlerin ilk tercihlerini dikkate alır ve diğer sıralamaları tamamen göz ardı eder. Buna karşılık, anında ikinci tur (IRV) yöntemi, seçmenlerin alternatif tercihlerini aşamalı bir eleme süreciyle hesaba katar. Borda sayımı (Borda count), her adaya pusuladaki konumuna göre doğrusal puanlar dağıtarak tüm tercih sırasını tek bir skorda birleştirir. Onaylama (Approval) yöntemi, seçmenlerin belirli bir sınır içindeki tüm adayları eşit derecede desteklediğini varsayarak çalışır. Copeland yöntemi ise adayları ikişerli eşleşmelerde karşılaştırarak doğrudan ikili üstünlükleri ölçer.
Bu yöntemlerin matematiksel olarak nasıl çalıştığını anlamak, sosyal tercih teorisindeki oylama paradokslarını ve Condorcet kriteri gibi demokratik ölçütleri analiz etmeyi kolaylaştırır.
Veri Giriş Kuralları ve Sınırları
Seçim Yöntemi Karşılaştırıcı aracının doğru hesaplama yapabilmesi için girdilerin belirli biçimsel kurallara ve sınırlara uyması gerekir. Girdiler iki ana bölümden oluşur:
Aday Tanımlama Kuralları
- Aday Sayısı: En az 2, en fazla 8 benzersiz aday girilmelidir.
- Karakter Sınırı: Her aday ismi en fazla 40 karakter uzunluğunda olabilir.
- Yasaklı Karakterler: Aday isimleri iki nokta üst üste (
:) veya büyüktür işareti (>) içeremez. - Benzersizlik: Aday isimleri, büyük/küçük harf farkları dahil olmak üzere tamamen benzersiz olmalıdır.
Gruplandırılmış Sıralı Oy Pusulası Kuralları
- Satır Sınırı: En fazla 200 gruplandırılmış oy pusulası satırı kullanılabilir.
- Biçim: Her satır, oy sayısı ve ardından iki nokta üst üste gelerek, adayların ilk tercihten son tercihe doğru büyüktür işaretiyle sıralandığı bir yapıda olmalıdır. Örneğin:
45: Cedar > Harbor > Summit. - Oy Sayısı Sınırı: Her satırda iki nokta üst üste işaretinden önce tam sayı bir oy sayısı bulunmalıdır. Bu değer 1 ile 1.000.000 arasında olmalıdır.
- Toplam Oy Sınırı: Tüm satırlardaki oyların toplamı en fazla 10.000.000 olabilir.
- Eksiksiz Sıralama: Her satır, tanımlanan aday listesindeki her adayı tam olarak bir kez sıralamalıdır. Eksik sıralamalar veya aynı adayın birden fazla kez sıralanması geçersizdir.
Genel Sınırlar ve Onay Sınırı
- Veri Boyutu: Yapıştırılan aday ve oy pusulası verilerinin toplam boyutu 100 KB'ın altında olmalıdır.
- Onay Sınırı: Onaylama yöntemi karşılaştırması için 1 ile toplam aday sayısı arasında bir değer seçilmelidir.
Hata Mesajları ve Çözümleri
Girdi kurallarına uyulmadığında araç aşağıdaki spesifik hata mesajlarını gösterir:
- Veri Boyutu Hatası: "Yapıştırılan senaryo çok büyük. Toplam girdiyi 100 KB'ın altında tutun."
- Eksik Aday Hatası: "Oy pusulalarını eklemeden önce en az iki aday girin."
- Aday Sayısı Hatası: "2 ila 8 arasında aday kullanın."
- Karakter Sınırı Hatası: "Her aday ismini en fazla 40 karakterle sınırlayın."
- Yasaklı Karakter Hatası: "Aday isimleri iki nokta üst üste veya büyüktür işareti içeremez."
- Benzersizlik Hatası: "Aday isimleri, büyük/küçük harf farkları dahil olmak üzere benzersiz olmalıdır."
- Boş Oy Pusulası Hatası: "En az bir gruplandırılmış sıralı oy pusulası girin."
- Satır Sınırı Hatası: "En fazla 200 gruplandırılmış oy pusulası satırı kullanın."
- Biçim Hatası: "
1. satır “45: Cedar > Harbor > Summit” şeklinde olmalıdır." - Geçersiz Oy Sayısı Hatası: "
1. satırda iki nokta üst üste işaretinden önce tam sayı bir oy sayısı olmalıdır." - Oy Sayısı Sınırı Hatası: "
1. satır 1 ile 1.000.000 arasında oy içermelidir." - Bilinmeyen Aday Hatası: "
1. satır aday listesinde olmayan bir isim içeriyor." - Mükerrer Sıralama Hatası: "
1. satır aynı adayı birden fazla kez sıralıyor." - Eksik Sıralama Hatası: "
1. satır her adayı tam olarak bir kez sıralamalıdır." - Toplam Oy Hatası: "Toplam oy sayısını en fazla 10.000.000 ile sınırlayın."
- Onay Sınırı Hatası: "1 ile aday sayısı arasında bir onay sınırı seçin."
- IRV Beraberlik Hatası: "Çözülemeyen eleme beraberliği:
Cedar, Harbor"
Sayım Yöntemleri ve Hesaplama Formülleri
Araç, girilen senaryoyu beş farklı kurala göre eş zamanlı olarak hesaplar. Hesaplamalarda kullanılan matematiksel formüller ve değişken tanımları aşağıda listelenmiştir:
Değişkenler
- c: Sayılan aday
- b: Bir gruplandırılmış oy pusulası; count_b ise bunun seçmen sayısıdır
- m: Toplam aday sayısı
- k: Seçilen onay sınırı
- rank_b(c): c adayının b oy pusulasındaki 1'den başlayan konumu
- V: Mevcut IRV turundaki aktif oylar; V(c) ise c adayının aktif toplamıdır
- W(c) ve T(c): c adayının ikili galibiyetleri ve beraberlikleri
Yöntemler ve Formüller
| Yöntem | Kural Açıklaması | Matematiksel Formül |
|---|---|---|
| Çoğunluk sistemi | En yüksek ilk tercih toplamı | P(c) = Σ count_b · 1[first_b = c] |
| Anında ikinci tur (IRV) | Her turda benzersiz en düşük adayın elenmesinden sonraki çoğunluk | V(c) > V ÷ 2 |
| Borda sayımı | Tüm sıralamalardan en fazla puan | B(c) = Σ count_b · (m − rank_b(c)) |
| Onaylama | En üst 2 içinde en çok görünme |
A(c) = Σ count_b · 1[rank_b(c) ≤ k] |
| Copeland / ikili | İkili galibiyet başına 1 puan ve beraberlik başına 0,5 puan | C(c) = W(c) + 0.5 × T(c) |
Condorcet Kriteri ve İkili Karşılaştırmalar
Condorcet kriteri, adayların ikişerli olarak karşılaştırıldığında her rakibini bire bir mücadelede yenebilen adayın (Condorcet kazananı) seçilmesi gerektiğini savunur. Ancak, seçmen tercihleri döngüsel olduğunda (örneğin A adayı B'yi, B adayı C'yi, C adayı ise A'yı yendiğinde) bir Condorcet kazananı ortaya çıkmaz.
Copeland yöntemi, bu tür döngüsel durumları çözmek için her adayın ikili eşleşmelerdeki performansını puanlar. Her ikili galibiyet için adaya 1 puan, beraberlik için ise 0,5 puan verilir. Araç, tüm ikili eşleşmeleri içeren bir "Bire bir matris" sunar. Bu matristeki her hücre, satırdaki adayı sütundaki adayın üstünde sıralayan seçmenlerin sayısını gösterir. Matrisin altında, eğer varsa "Ayrıca her rakibini bire bir mücadelede yener" ifadesiyle Condorcet kazananı belirtilir; aksi takdirde "Hiçbir aday her rakibini bire bir mücadeleyle yenemedi." notu düşülür.
Veri Gizliliği ve İşlem Güvenliği
Seçim Yöntemi Karşılaştırıcı, veri gizliliğini korumak amacıyla tamamen yerel olarak çalışacak şekilde tasarlanmıştır. Girilen aday isimleri, oy sayıları ve sıralı oy pusulası verileri hiçbir şekilde harici bir sunucuya yüklenmez veya kaydedilmez. Tüm hesaplama işlemleri doğrudan kullanıcının web tarayıcısında gerçekleştirilir.
Sıkça Sorulan Sorular (FAQ)
Aynı sıralı oy pusulaları gerçekten farklı kazananlar üretebilir mi?
Evet. Her kural farklı bilgileri kullanır: çoğunluk sistemi yalnızca ilk tercihleri tutar, Borda her sırayı kullanır, IRV elemelerden sonra oyları devreder ve ikili sayım adayları ikişer ikişer karşılaştırır. Uygulamalı örnek, bu farklılıkların görülebilmesi ve izlenebilmesi için tasarlanmıştır.
Onaylı oy verme yöntemi sıralı oy pusulalarıyla nasıl karşılaştırılabilir?
Sıralı bir oy pusulası onayın nerede bittiğini belirtmez. Bu nedenle bu araç, seçtiğiniz sınırı kullanır: en üst 1, en üst 2 vb. Bu varsayım yalnızca onay sütunu için geçerlidir ve sonucunun yanında yazdırılır.
Copeland kazananı her zaman bir Condorcet kazananı mıdır?
Hayır. Bir Condorcet kazananının her rakibini bire bir mücadelede yenmesi gerekir ve tercihler bir döngü oluşturabileceği için böyle bir kazanan mevcut olmayabilir. Copeland yine de ikili galibiyetler ve beraberlikler için puan atar; en yüksek puanı ayrı olarak rapor edilir ve berabere kalabilir.
Bunu resmi bir seçim sonucunu onaylamak için kullanabilir miyim?
Hayır. Bu karşılaştırıcı; eksiksiz kesin sıralamaları, tek bir koltuğu ve beraberlik durumunda duran bir IRV kuralını kullanır. Seçim yasaları ve organizasyon kuralları; fazla oyları, atlanan sıraları, sonradan yazılan adayları, beraberlik bozmayı, denetimleri ve çok koltuklu transferleri farklı şekilde tanımlayabilir.