[EM] Re: Automatic Criterion Checking

[Rob LeGrand]

Jobst Heitzig wrote:
> Condorcet, Smith:
> Run all (c(c-1)/2)! DPOs before turning to the next of the
> 2^((c-2)(c-1)/2) combinations of defeat directions. Then you need
> to determine the Smith set only once. In this way you can also
> test whether the winner is in any other kind of interesting set
> like the Uncovered Set, Banks Set, Minimal Covering Set,
> Tournament Equilibrium Set, Markov Set etc.

Jobst, could you post mathematical definitions and intuitive
explanations for each of these sets?

=====
Rob LeGrand, psephologist
rob at approvalvoting.com
Citizens for Approval Voting
http://www.approvalvoting.org/


		
__________________________________ 
Do you Yahoo!? 
Meet the all-new My Yahoo! - Try it today! 
http://my.yahoo.com