Hello, While this may be obvious to some, I don't think it was ever shown, that the CDTT is monotonic.
So: Raising A, when A is a CDTT set member, can't cause any other candidate to enter the CDTT. Let "A>B" mean "A has a majority-strength win over B," and let "A->B" mean "A has a majority-strength beatpath to B." Raising a candidate can only make a difference if it creates a majority-strength defeat. So suppose that A obtains such a defeat over B, so that A>B. A candidate X is in the CDTT, unless there is some other candidate Y such that Y->X, but not X->Y. If some other candidate C will move into the CDTT, then it must be the case that some candidate D->C, and C>A, so that when A>B is added, C->D, so that D doesn't disqualify C. But if D->C and C>A, then D->A. If A was already in the CDTT, then it must be that A->D, since A isn't disqualified. But if C>A and A->D, then also it must be that C->D, so that D couldn't disqualify C. Kevin Venzke _____________________________________________________________________________ Découvrez le nouveau Yahoo! Mail : 1 Go d'espace de stockage pour vos mails, photos et vidéos ! Créez votre Yahoo! Mail sur http://fr.mail.yahoo.com ---- Election-methods mailing list - see http://electorama.com/em for list info