Symmetrical ICT: Difference between revisions

Do some initial cleanup of a page that needs a lot of cleanup.
m (Move to ranked voting methods category as this isn't a Condorcet method)
(Do some initial cleanup of a page that needs a lot of cleanup.)
Line 1:
{{cleanup|reason=This article is written like a personal reflection, personal essay, or argumentative essay that states an editor's personal feelings or presents an original argument about a topic.}}
(Note: This is not actually a [[Condorcet method]]. It is a Condorcet method only when using a modified definition of what a Condorcet method is.)
 
'''Symmetrical ICT''' is a voting method designed by Michael Ossipoff. <!-- when? link to EM? --> It is based on Kevin Venzke's concept of "Improved Condorcet", which is a modification of pairwise comparison logic that enables methods to pass the [[favorite betrayal criterion]] at the cost of sometimes failing the [[Condorcet criterion]].
After this description and definition of Symmetrical ICT, I'll say a few words of what it implies for the compatibility of FBC and Condorcet's Criterion.
 
==Definition==
ICT stands for "Improved-Condorcet-Top". The idea for Improved Condorcet is from Kevin Venzke. Improved Condorcet meets FBC. Then, later, Chris Benham proposed completion by top-count, to achieve "defection-resistance", avoidance of the [[chicken dilemma]]. Chris had a long name for his method, but I called it "Improved-Condorcet-Top", in keeping with Kevin's naming.
 
(Note: This is not actually a [[Condorcet method]]. It is a Condorcet method only when using a modified definition of what a Condorcet method is.)
I later proposed that the Improved Condorcet improvement be done at bottom-end as well, to almost achieve compliance with Later-No-Help, which would achieve additional easing and simplification of strategy need.
 
(X>Y) means the number of ballots ranking X over Y.
But the big improvements were those of Kevin and Chris.
 
(Y>X) means the number of ballots ranking Y over X.
I call my version Symmetrical ICT.
 
(X=Y)T means the number of ballots ranking X and Y in 1st place.
 
(X=Y)B means the number of ballots ranking X and Y at bottom, i.e. not ranking either X or Y above anyone else.
----
 
XLet beatsthe partial beat relation b(X, Y) be true iffif (X>Y) + (X=Y)B > (Y>X) + (X=Y)T.
Then X beats Y if:
* p(X,Y) and not p(Y, X), or
* p(X,Y) and p(Y, X) and (X>Y) > (Y>X).
 
The winner is chosen as follows:
== Definition of Symmetrical ICT ==
 
1.# If only one candidate is unbeaten, then s/he wins.
2.# If everyone or no one is unbeaten, then the winner is the candidate ranked in 1st place on the most ballots.
3.# If some, but not all, candidates are unbeaten, then the winner is the unbeaten candidate ranked in 1st place on the most ballots.
 
== Improved Condorcet ==
(X>Y) means the number of ballots ranking X over Y.
 
Condorcet methods usually have a low but nonzero rate of [[favorite betrayal]] failures. <!-- ref EM post --> '''Improved Condorcet''' is a modification of pairwise comparisons in an otherwise Condorcet-compliant method to turn absolute Conrocet compliance and a low rate of [[FBC]] failure into absolute FBC compliance and a low rate of [[Condorcet criterion]] failures.
(Y>X) means the number of ballots ranking Y over X.
 
==History==
(X=Y)T means the number of ballots ranking X and Y in 1st place.
 
ICT stands for "Improved-Condorcet-Top". The idea for Improved Condorcet is from Kevin Venzke. Improved Condorcet meets FBC. Then, later, Chris Benham proposed completion by top-count, to achieve "defection-resistance", avoidance of the [[chicken dilemma]]. Chris had a long name for his method, but I called it "Improved-Condorcet-Top", in keeping with Kevin's naming.
(X=Y)B means the number of ballots ranking X and Y at bottom.
....(not ranking X or Y over anything)
 
I later proposed that the Improved Condorcet improvement be done at bottom-end as well, to almost achieve compliance with Later-No-Help, which would achieve additional easing and simplification of strategy need.
iff means "if and only if".
 
But the big improvements were those of Kevin and Chris.
X beats Y iff (X>Y) + (X=Y)B > (Y>X) + (X=Y)T
 
I call my version Symmetrical ICT.
...except that two candidates can't beat eachother. If the above beat condition statement says that two candidates beat each other, then only one of them beats the other. The one that beats the other is the one that is ranked over the other on more ballots than vice-versa.
 
----
<!-- Start of Michael's original article/essay -->
 
After thisthe description and definition of Symmetrical ICT, I'll say a few words of what it implies for the compatibility of FBC and Condorcet's Criterion.
1. If only one candidate is unbeaten, then s/he wins.
 
2. If everyone or no one is unbeaten, then the winner is the candidate
ranked in 1st place on the most ballots.
 
3. If some, but not all, candidates are unbeaten, then the winner is
the unbeaten candidate ranked in 1st place on the most ballots.
 
[end of definition of Symmetrical ICT]
 
 
----
1,196

edits