== Definition ==
Below are two definitions of the Chicken Dilemma criterion; "CD" and "CD2".
=== CD ===
The A voters are the voters who vote A over everyone else. The B voters are the voters who vote B over everyone else. The C voters are the voters who vote C over everyone else.
====Premise====
# There are 3 candidates: A, B, and C.
# None of the C voters vote A or B over the other.
==== Requirement ====
B doesn't win.
=== CD2 ===
CD is sufficient, as-is, but here is a non-numerical definition:
The A voters are the voters who vote A over everyone else. The B voters are the voters who vote B over everyone else. The C voters are the voters who vote C over everyone else.
'''Premise:'''
1. There are 3 candidate: A, B, and C.
2. If the A voters and B voters all voted both A and B over C, then C
couldn't win.
3. The ballot set is such that if C withdrew from the election and the
count, A would win.
4. The A voters vote B over C.
5. The B voters don't vote A over anyone.
'''Requirement:'''
B doesn't win.
|