SCHULZE
Schulze Yöntemi - Yol Döğme Condorcet-tutarlı sıralama birleştirme
Sıralama agregasyonu (beat-path, polinom zamanlı, Condorcet tutarlı)
Formül adımları
Analiz motorunun yöntem bildirimindeki (manifest F.steps) adımlar; raporlardaki formüllerle aynı kaynaktır.
-
Adım 1 — K uzman sıralaması topla.
LaTeX
\mathcal{R} = \{R_{1}, \ldots, R_{K}\} -
Adım 2 — İkili tercih matrisi d[a,b].
LaTeX
d[a,b] = \sum_{k=1}^{K} \mathbb{1}[a \succ_{k} b] -
Adım 3 — Floyd-Warshall ile en güçlü yol p[a,b].
LaTeX
p[a,b] = \max_{\text{paths}\ a\to b} \min_{(u,v)\in\text{path}} d[u,v] -
Adım 4 — Schulze kazananı: a, b'yi yenerse p[a,b] > p[b,a].
LaTeX
a \succ_{S} b \iff p[a,b] > p[b,a]
Yöntem ayrıntıları kaynak kütüphanedeki özgün (İngilizce) metindir.
Sezgi
Rank aggregation (beat-path, polynomial time, Condorcet-consistent). Output typically rank_position (lower value = preferred).
Sonucu okuma: The Schulze method is Condorcet-consistent (elects Condorcet winner if one exists), clone-independent, and runs in O(m³) time (Floyd-Warshall). It is widely used in real elections (Debian, Wikimedia). The beat-path strength p[i,k] measures the strongest indirect evidence that A_i should beat A_k.
Varsayımlar
- Input is a rank matrix (1=best, m=worst per voter)
- Each voter ranks all alternatives
Ne zaman kullanılmaz
- Cardinal preferences important → use a MAUT method
Sınırlılıklar
- Assumes: Input is a rank matrix (1=best, m=worst per voter)
- Assumes: Each voter ranks all alternatives
Sık yapılan hatalar
- Condorcet döngüleri bazı çiftler için eşit p[i,k] ve p[k,i] üretebilir - bunlar Schulze sıralamasında gerçek beraberliklerdir.
Hesap adımları ve dayanakları
-
Collect K expert rankings R_k.
Dayanak: Schulze 2011, p.273 Sec.2
-
Pairwise preference matrix d[a,b] = #{k: a ≻_k b}.
Dayanak: Schulze 2011, p.273 Eq.(1)
-
Strongest path p[a,b] via widest-path Floyd-Warshall.
Dayanak: Schulze 2011, p.274 Eq.(2)
-
Schulze winner: a beats b iff p[a,b] > p[b,a]; derive ranking.
Dayanak: Schulze 2011, p.275 Theorem 1