Yöntemler · Toplulaştırma ve oylama
DODGSON (En Az Değişiklik Yöntemi)
DODGSON, her seçeneğin çoğunluğun kazananı olması için sıralamalarda kaç bitişik yer değiştirmeye ihtiyaç duyduğunu hesaplar; en az değişikliği gerektiren seçeneği kazanan ilan eder.
Temel yöntemin veri türü: Kesin (Classical)
Yöntem Nedir?
DODGSON, birden çok sıralama kaynağını tek bir sonuca indiren bir toplulaştırma yöntemidir. CONDORCET gibi çoğunluğun kazananı fikrine dayanır ama CONDORCET'in aksine, döngü çıktığında da elinizi boş bırakmaz: her seçenek için, o seçeneği çoğunluğun kazananı yapmak üzere sıralamalarda yapılması gereken en küçük değişikliği sayar. En az değişiklik gerektiren seçenek kazanandır. Yöntem, matematikçi ve yazar Charles Lutwidge Dodgson (Lewis Carroll takma adıyla da bilinir) tarafından 1876'da bir broşürde önerilmiştir.
Yöntemin Felsefesi
DODGSON'ın sorduğu soru şudur: "Bu topluluğun görüşü, gerçek fikrinden ne kadar uzaklaşmış olabilir ki bu seçenek çoğunluğun kazananı olsun?" Her sıralama kaynağının görüşü, bitişik iki seçeneğin yerini değiştirerek küçük küçük değiştirilebilir kabul edilir. Bir seçeneği çoğunluğun kazananı yapmak için toplamda ne kadar az değişiklik gerekiyorsa, o seçenek gerçek çoğunluk görüşüne o kadar yakın sayılır.
Bu, CONDORCET'in "kazanan var mı yok mu" sorusunu bir mesafe sorusuna çevirir: kazanan yoksa, kazanana en yakın olan kimdir? DODGSON'ın felsefi sonucu bir tamamlama mantığıdır: döngüyü çözmenin yolu, çoğunluk fikrini en az bozan seçeneği aramaktır. Bunun bedeli hesaplama yüküdür; en az değişikliği bulmak, seçenek sayısı arttıkça hızla zorlaşan bir arama problemidir.
Yöntem Nasıl Çalışır?
Yöntem üç adımda ilerler.
Birinci adım, sıraları toplamak ve ikili çoğunluğu saymak. Her kaynağın sıralaması bir tabloda birleştirilir; her seçenek çifti için kaç kaynağın hangisini öne koyduğu sayılır.
İkinci adım, her seçenek için en az değişikliği bulmak. Bir seçeneğin çoğunluğun kazananı olması, bütün rakiplerine karşı çoğunluğu kazanması demektir. Bu henüz sağlanmamışsa, o seçeneğin sıralamalardaki yerini bitişik komşularıyla değiştirerek yukarı taşımak gerekir. Her taşıma bir "değişiklik" sayılır; bir seçenek için gereken toplam değişiklik, o seçeneğin Dodgson skorudur.
Üçüncü adım, en düşük skoru seçmek. Dodgson skoru en düşük olan seçenek kazanandır; zaten çoğunluğun kazananıysa skoru sıfırdır ve hiçbir değişikliğe gerek yoktur. Diğer seçenekler artan skorlarına göre sıralanır.
Adımların formülleri ve ara tabloları DecisionMind'daki yöntem sayfasında verilir; bu kart formül taşımaz.
Çıktı Nasıl Yorumlanır?
Dodgson skoru, bir seçeneğin çoğunluğun kazananı olması için sıralamalarda gereken en küçük değişiklik sayısıdır. Sıfır skor, o seçeneğin zaten çoğunluğun kazananı olduğu anlamına gelir; başka bir yorum gerekmez. Pozitif bir skor, o seçeneğin kazanan olabilmesi için topluluğun görüşünün o kadar sayıda bitişik yer değiştirmeyle bozulması gerektiğini gösterir; skor küçükse seçenek gerçek çoğunluk görüşüne yakın sayılır, büyükse uzak sayılır.
Bu skor bir yüzde ya da olasılık değildir; yalnızca bir sayma işlemidir. Ayrıca DODGSON'ın kazanmayan seçenekleri sıralaması, her birinin kendi başına kazanan olma mesafesine dayanır; bu, seçeneklerin birbirine göre nasıl sıralanacağı sorusuyla aynı şey değildir. İki seçenek aynı Dodgson skoruna sahip olabilir; bu, ikisinin de kazanan olmaya aynı uzaklıkta olduğu anlamına gelir, aralarında bir tercih için başka bir ölçüt gerekebilir.
Bu nedenle:
"DODGSON en iyi seçeneği buldu, skoru şu"
yerine:
"Bu seçenek, çoğunluğun kazananı olmak için en az değişikliğe ihtiyaç duymuştur; skor sıfırdan uzaklaştıkça topluluğun gerçek görüşünden o kadar uzaklaşılmıştır"
biçiminde yazmak doğrudur.
Veri Türü ve Girdiler
DODGSON kesin (crisp) veriyle çalışır: her kaynağın sıra bilgisi tam sayıdır. DecisionMind'da bu yöntemin bulanık, gri gibi bir veri türü uzantısı yoktur; yalnız kesin sıra verisiyle çalışır.
Elinizde şunlar olmalı: her kaynağın bütün seçenekleri eksiksiz sıraladığı bir tablo. En az iki seçenek ve iki sıralama kaynağı gerekir. Seçenek sayısı arttıkça (on ikinin üzerinde) en az değişikliği bulmak hesaplama açısından zorlaşır; bu, yöntemin NP-zor olmasından kaynaklanır (Bartholdi, Tovey ve Trick, 1989). DODGSON ağırlık istemez, üretmez.
Ne Zaman Kullanılır, Ne Zaman Kullanılmaz?
Elinizde birden çok sıralama kaynağı varsa, çoğunluk fikrine dayanmak istiyorsanız ve döngü çıksa bile bir kazanan seçmek gerekiyorsa DODGSON uygundur. Küçük seçenek sayısında (on iki ve altında) çalışır ve sonucu çoğunluk görüşüne "en az müdahaleyle" ulaşılan seçenek olarak yorumlanabilir.
Kullanılmaması gereken durum, seçenek sayısının büyük olduğu ya da her karar için hızlı sonuç gerektiği durumdur. En az değişikliği bulmak NP-zor bir problemdir; on iki seçeneğin üzerinde pratik hesaplama zorlaşır. Ayrıca Orakçı'nın (2024) gözlemine göre, DODGSON rastgele örneklerin yüzde seksen ile doksan dokuzunda tam bir sıralama üretemez; yalnızca kazananı belirlemek yeterliyse bu sorun olmaz, ama tam bir sıra gerekiyorsa dikkatli olunmalıdır.
Küçük seçenek sayısı, çoğunluk fikrine en yakın kazananı istiyorum → DODGSON
Seçenek sayısı büyük, hızlı ve her zaman tam sıra istiyorum → COPELAND
Toplam uyuşmazlığı küresel olarak en aza indiren tam bir sıra istiyorum → KEMENY-YOUNG
Kazanan yoksa bunu açıkça görmek istiyorum, mesafe hesaplamak istemiyorum → CONDORCET
Güçlü Yanları
DODGSON'ın en büyük gücü, döngü çıksa bile çoğunluk fikrine en yakın seçeneği bulmasıdır; CONDORCET'in bıraktığı boşluğu doldurur. Sıfır skor doğrudan çoğunluğun kazananını gösterdiği için, yöntem CONDORCET kazananı varsa onu her zaman bulur; bu, DODGSON'ı bir Condorcet tamamlama yöntemi yapar. Skorun kendisi sezgisel olarak anlaşılırdır: "kaç değişiklik gerekiyor" sorusu karar vericiye kolay anlatılır.
Zayıf Yanları
DODGSON'ın en bilinen sınırı hesaplama zorluğudur; kazananı kesin olarak bulmak NP-zor bir problemdir ve seçenek sayısı arttıkça pratikte imkânsızlaşır (Bartholdi, Tovey ve Trick, 1989). İkincisi, yöntem sık sık tam bir sıralama üretemez; Orakçı'nın (2024) gözlemine göre rastgele örneklerin büyük çoğunluğunda DODGSON yalnızca kazananı belirleyebilir, geri kalan seçenekler arasında eşitlikler kalır. Üçüncüsü, Dodgson skoru bir seçeneğin tek başına kazanan olma mesafesine dayanır; bu, seçeneklerin birbirine göre tutarlı bir tam sırasını garanti etmez (Black, 1958).
Sık Yapılan Hatalar
En yaygın hata, seçenek sayısı büyükken DODGSON'ı tam kesinlikle çalıştırmaya çalışmaktır; bu durumda yaklaşık yöntemler ya da küçük aday kümeleriyle sınırlama gerekir. İkinci hata, sıfırdan farklı bir Dodgson skorunu bir yüzde ya da olasılık gibi okumaktır; skor yalnızca gereken değişiklik sayısıdır. Üçüncü hata, eşit skorlu iki seçenek arasında gerekçesiz bir tercih yapmaktır; eşitlik, ikisinin de kazanan olmaya aynı uzaklıkta olduğu anlamına gelir. Dördüncü hata, DODGSON'ın her zaman tam bir sıra vereceğini varsaymaktır; yöntem çoğu durumda yalnızca kazananı güvenle belirler.
Temel ilke şudur:
DODGSON'ın verdiği sayı, çoğunluk görüşünün bu seçeneği kazanan yapmak için ne kadar zorlanması gerektiğidir; sıfıra ne kadar yakınsa seçenek o kadar tartışmasızdır.
Vakalar
Her vaka birden çok sıralama kaynağının tablosuyla başlar, yöntemin bu tabloya ne yaptığını kelimeyle anlatır ve sonucun nasıl okunacağını gösterir. Birinci vaka CONDORCET kartındaki Vaka 1 ile aynı jüri tablosunu kullanır; böylece aynı veride iki yöntemin farklı sorular sorduğu görülebilir. Üçüncü vaka, döngü durumunda DODGSON'ın CONDORCET'ten farklı olarak nasıl bir sıra ürettiğini somut sayılarla gösterir.
1. Yayıncılık: Aynı edebiyat ödülü jürisi, farklı soru (Black, 1958'in modern biçimlendirmesi)
CONDORCET kartındaki Vaka 1'deki aynı üç jüri üyesi (J1, J2, J3) aynı üç finalisti (A1, A2, A3) sıralamıştır.
| Finalist | J1 | J2 | J3 |
|---|---|---|---|
| A1 | 1 | 1 | 1 |
| A2 | 2 | 3 | 2 |
| A3 | 3 | 2 | 3 |
CONDORCET kartında A1'in zaten her iki rakibini de yendiği, dolayısıyla çoğunluğun kazananı olduğu gösterilmişti. DODGSON aynı veriye farklı bir soru sorar: "Her finalistin çoğunluğun kazananı olması için kaç değişiklik gerekir?" A1 zaten kazanan olduğu için hiçbir değişikliğe ihtiyacı yoktur, skoru sıfırdır. A2'nin kazanan olması için, J2'nin sıralamasında A2'yi A1'in önüne taşımak (bir bitişik değişiklik) yetmez; J1 ya da J3'ün sıralamasında da bir değişiklik gerekir, toplamda iki değişiklik. A3'ün kazanan olması için hem A1'i hem A2'yi geçmesi gerektiğinden daha fazla değişiklik gerekir, toplamda üç değişiklik.
| Finalist | Dodgson skoru | Sıra |
|---|---|---|
| A1 | 0 | 1 |
| A2 | 2 | 2 |
| A3 | 3 | 3 |
Sonuç CONDORCET ile aynı sırayı verir (A1, A2, A3) çünkü zaten bir Condorcet kazananı vardı; DODGSON böyle durumlarda her zaman aynı kazananı bulur. Farkı, A2 ile A3 arasındaki mesafeyi de sayısal olarak göstermesidir: A3'ün kazanan olması A2'den bir değişiklik daha fazlasını gerektirir.
Jüri burada tereddüt eder: A2'nin skoru düşük olsa da sıfır değildir; A2'nin kazanan olması için topluluk görüşünün iki kez bozulması gerekir. Bu, A1'in üstünlüğünün yalnız "birinci sırada" olmakla kalmayıp aynı zamanda "değişime en dayanıklı" olduğunu da gösterir.
Raporda: "A1 zaten çoğunluğun kazananıdır ve hiçbir değişikliğe ihtiyaç duymaz; A2'nin kazanan olması için iki, A3'ün kazanan olması için üç değişiklik gerekir."
Kaynak: Condorcet'in 1785 tarihli önerisinin Duncan Black (1958) tarafından yapılan modern biçimlendirmesi. Bu örnek DecisionMind'ın DODGSON motorunun doğrulama örneğidir; öğretici amaçla kurulmuştur.
2. Müzecilik: Üç eser restorasyon önceliği
Bir müzenin üç koleksiyon uzmanı (M1, M2, M3) üç eserin (E1, E2, E3) restorasyon sırasını belirleyecektir. Her üç uzman da E1'i birinci sıraya koymuştur; E2 ve E3 arasında görüş ayrılığı vardır. E1 zaten çoğunluğun kazananı olduğu için Dodgson skoru sıfırdır, hiçbir değişikliğe gerek yoktur. E2'nin kazanan olması, E1'in önüne geçmesini gerektirdiği için birkaç değişiklik ister; E3'ün kazanan olması ise E2'den daha fazla değişiklik gerektirir çünkü E3, uzmanların çoğunda E1'den de E2'den de gerideldir.
Uzmanlar burada bir noktayı fark eder: E1'in oy birliğiyle kazanması, DODGSON'ın hiç tereddüt etmeden E1'i seçmesini sağlar. Asıl tartışma E2 ile E3 arasındadır ve DODGSON bu ikisinin skorlarındaki farkı, hangisinin çoğunluk görüşüne daha yakın olduğunu göstermek için kullanılabilir.
Raporda: "E1 oy birliğiyle çoğunluğun kazananıdır, sıfır değişiklik gerektirir; E2 ve E3'ün skorları aralarındaki görüş ayrılığının büyüklüğünü göstermektedir."
3. Huzurevi: Yedi denetçinin hizmet sağlayıcı tercihi (döngü örneği)
Bir huzurevi zincirinin yedi denetçisi üç hizmet sağlayıcısı (H1, H2, H3) arasında seçim yapacaktır. Üç denetçi H1'i H2'ye, H2'yi H3'e tercih eder. İki denetçi H2'yi H3'e, H3'ü H1'e tercih eder. İki denetçi de H3'ü H1'e, H1'i H2'ye tercih eder.
H1, H2'yi 5-2 yener. H2, H3'ü 5-2 yener. H3 ise H1'i 4-3 yener. CONDORCET kartındaki benzer örnekte olduğu gibi bu bir döngüdür; hiçbir sağlayıcı bütün rakiplerini yenemez. Ama DODGSON burada CONDORCET'ten farklı davranır: H1'in H3'e yenilgisi yalnızca dört yediye üçtür, yani H1'in kazanan olması için sadece bir denetçinin görüşünde küçük bir değişiklik yeterlidir. H2 ve H3'ün kazanan olması ise daha fazla değişiklik ister, çünkü onların eksikleri daha geniş bir çoğunluk farkına dayanır.
| Sağlayıcı | Dodgson skoru |
|---|---|
| H1 | 1 |
| H2 | 2 |
| H3 | 2 |
H1 en düşük skorla öne çıkar. Denetçiler burada tereddüt eder: CONDORCET bu tabloda "kazanan yok" derken, DODGSON margine bakarak H1'i en az değişiklikle kazanan yapılabilecek seçenek olarak gösterir. DecisionMind'ın diğer toplulaştırma kartlarında (COPELAND, KEMENY-YOUNG, COOK-SEIFORD) aynı yedi denetçilik tablo ele alınır; COPELAND'ın net skoru bu durumda üçünü de eşit gösterirken, DODGSON marjı kullanarak H1'i öne çıkarır.
Raporda: "Yedi denetçinin tercihleri döngüseldir; ancak H1'in kazanan olması için gereken değişiklik sayısı (bir) diğer iki sağlayıcıdan (iki) daha azdır, bu yüzden H1 en az müdahaleyle kazanan yapılabilecek sağlayıcıdır."
Kaynak: Bu vaka, Dodgson'ın (1876) en az değişiklik fikrinin döngü karşısındaki davranışını yedi kaynaklı bir örnekle göstermek üzere kurulmuştur; sayılar bu kart için hesaplanmıştır.
4. Yapılmaması Gereken
Birinci vakadaki A2'nin ikinci sırada olmasını "hiç değişiklik gerekmeden kazanan" gibi sunmak yanlıştır; A2'nin skoru sıfır değil ikidir. İkinci yanlış, üçüncü vakadaki döngüyü "DODGSON kesin bir kazanan buldu, tartışmasız" diye sunmaktır; H1'in skoru sıfır değil birdir, topluluk görüşünde hâlâ bir değişikliğe ihtiyaç vardır. Üçüncü yanlış, on iki üzeri seçenek sayısında DODGSON'ı tam kesinlikle çalıştırıp sonucu hızlı bir hesap gibi sunmaktır; yöntem bu ölçekte NP-zor bir arama gerektirir ve yaklaşık yöntemlere ihtiyaç duyulabilir.
Kaynaklar
Adımların formülleri, ara tabloları ve atıf biçimleri için DecisionMind yöntem sayfası: decisionmind.app/library/dodgson
Dodgson, C. L. (1876). A method of taking votes on more than two issues. Broşür, Clarendon Press, Oxford. (DOI yok)
Black, D. (1958). The Theory of Committees and Elections. Cambridge University Press. (DOI yok)
Bartholdi, J., Tovey, C. A., & Trick, M. A. (1989). Voting schemes for which it can be difficult to tell who won the election. Social Choice and Welfare, 6(3), 157-165. DOI: 10.1007/BF00303169
Orakçı, E. (2024). Çok Kriterli Karar Verme Problemleri için Toplulaştırma Teknikleri (Bölüm 1 ve 3). Özgür Yayınları. DOI: 10.58830/ozgur.pub623