[EM] FBC (Favorite Betrayal Criterion) Definition
Forest Simmons
fsimmons at pcc.edu
Wed Sep 5 18:13:02 PDT 2001
My try at formalizing the definition of FBC didn't quite capture the
concept.
Here's a corrected version:
As before W(C,S,M) is True if and only if candidate C wins when the set S
of ballots is processed by method M.
R(C,A,B) is True if and only if candidate C is ranked or rated higher than
candidate A on ballot B.
mfcs(A,B) is True iff for each candidate C, R(C,A,B) is False.
The FBC is satisfied by method M iff
for each pair of ballots B and B'
and each candidate A
there exists a ballot B'' such that
mfcs(A,B'') is True, and ...
for each set S of ballots
and each candidate C
whenever W(C,S+{B'},M) is True
there exists a candidate C' such that
W(C',S+{B''},M) is True and
R(C,C',B) is False.
That's it.
Think of B as your sincere ballot.
B' is the one you are tempted to cast so as to help your compromise C win.
But the FBC says you can safely vote some ballot B'' which gives most
favored status to your favorite candidate A.
If B' would have made C win, then B'' would make some candidate C' which
is no worse than C (according to sincere ballot B) win.
C' could be C or A or some candidate in between.
I think that's more like what Mike had in mind.
A method satisfies a stronger version of FBC if the sincere ballot B will
always serve as B'' .
Full blown Dyadic Approval satisfies the stronger version of FBC.
Forest
More information about the Election-Methods
mailing list