Accession Number : ADA131702

Title :   MJRTY - A Fast Majority Vote Algorithm.

Descriptive Note : Technical rept.,

Corporate Author : TEXAS UNIV AT AUSTIN INST FOR COMPUTING SCIENCE AND COMPUTER APPLICATIONS

Personal Author(s) : Boyer,Robert S ; Moore,J Strother

PDF Url : ADA131702

Report Date : Feb 1981

Pagination or Media Count : 22

Abstract : A 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 algorithms is exhibited. The FORTRAN code has been proved correct by a mechanical verification system for FORTRAN. The system and the proof are discussed. (Author)

Descriptors :   *Algorithms, *Tabulation processes, *Computer program verification, Comparison, Computations, Magnetic tape, Fortran, Redundancy, Specifications, Fault tolerant computing

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE