Metoda Schulzego

Metoda Schulzego (ang.: Schulze method, Schwartz Sequential Dropping (SSD), Cloneproof Schwartz Sequential Dropping (CSSD), Beatpath Method, Beatpath Winner, Path Voting, Path Winner) – metoda wyborcza, czyli oddawania i liczenia głosów, stworzona w 1997 przez w celu wybierania jednego zwycięzcy w głosowaniu preferencyjnym. Głosowanie odbywa się przez wpisanie liczby przy każdym kandydacie. Wyborca oddaje głos, oznaczając wybranych kandydatów numerami: zaznaczając '1' obok najbardziej preferowanego kandydata, '2' obok następnego w kolejności preferencji itd. Metoda ta może zostać użyta także w celu wyłonienia listy zwycięzców. Jeżeli w zestawieniach kandydatów parami, w wyniku tych zestawień jeden z nich jest preferowany, metoda Schulzego gwarantuje, że ten kandydat wygra wybory. Dzięki tej właściwości metoda Schulzego z racji definicji jest metodą Condorceta. Jako pierwszy metody wyłaniania zwycięzcy wyborczego na zasadzie oddawania głosu jako uszeregowanych preferencji opracował już w XVIII wieku francuski matematyk Jean Condorcet. Rajmund Lullus, średniowieczny filozof z Majorki, zaproponował podobne metody już w XIII wieku, przy czym swoje obliczenia wykonywał iteratywnie (parami, po kolei), budując przy tym maszyny logiczne. Z kolei ok. r. 1670 niemiecki matematyk Gottfried Leibniz zastosował metody Lullusa do liczenia, nadając im nazwę ars combinatorica, tworząc przy okazji rodzaj kodu binarnego. Z tego powodu Lull jest dziś uważany za ojca informatyki, a w jego metodach ustalono zapożyczenia z matematyki afrykańskiej. Metoda Schulzego stała się najbardziej rozpowszechnioną metodą Condorceta. Obecnie jest ona używana przez szereg organizacji, w tym: Wikimedia, Debian, Gentoo i Software in the Public Interest. Szereg rozmaitych strategii heurystycznych zostało zaproponowanych przez informatyków w celu sprawnego obliczenia wyniku wyborów zgodnie z metodą Schulzego. Najważniejsze z nich to tzw. ścieżkowa (ang. path heuristic) i (ang. Schwartz set heuristic), opisane poniżej. Wszystkie strategie stosujące heurystykę obliczają tego samego zwycięzcę i różnią się od siebie tylko detalami algorytmu.