Top

Fairness-criteria

Find-condorcet-loser

Returns a condorcet loser in xs, if any

Signature
(find-condorcet-loser xs) → *
Arguments: xs — Guard (irv-ballot-p xs).

Definitions and Theorems

Function: find-condorcet-loser

(defun find-condorcet-loser (xs)
  (declare (xargs :guard (irv-ballot-p xs)))
  (let ((__function__ 'find-condorcet-loser))
    (declare (ignorable __function__))
    (find-condorcet-loser-aux (candidate-ids xs)
                              (candidate-ids xs)
                              xs)))

Subtopics

Find-condorcet-loser-aux