MJRTY—A Fast Majority Vote Algorithm
1991; Springer Nature (Netherlands); Linguagem: Inglês
10.1007/978-94-011-3488-0_5
ISSN0927-1023
AutoresRobert S. Boyer, J. Strother Moore,
Tópico(s)Internet Traffic Analysis and Secure E-voting
ResumoA new algorithm is presented for determining which, if any, of an arbitrary number of candidates has received a majority of the votes cast in an election. The number of comparisons required is at most twice the number of votes. Furthermore, the algorithm uses storage in a way that permits an efficient use of magnetic tape. A Fortran version of the algorithm is exhibited. The Fortran code has been proved correct by a mechanical verification system for Fortran. The system and the proof are discussed.
Referência(s)