Re: Hybrid Theory

[Raul Miller <moth@debian.org>]

On Thu, Dec 12, 2002 at 04:15:55AM +1000, Anthony Towns wrote:
> I'm sorry, I didn't follow the special casing you do for "superdefeats".
> Here's the corrected example:
> 
>  	40 A B C F  (A requires 3:1 supermajority, F is the default option)
>  	10 C B F A
>  	10 F C A B
> 
> 	F defeats A (60:40) (scaled 3:1 from 20:40)
> 	C defeats F (50:10)
> 	B defeats F (50:10)
> 	A defeats B (50:10) <--- every defeat below this one must be dropped
> 	B defeats C (40:20)
> 	A defeats C (40:20)
> 
> AdC gets dropped since it's weakest and involves A;

False: once again you're eliminating a defeat of an option involved
in a superdefeat, but the proposal requires that the superdefeated
option be eliminated instead.  Thus:

F superdefeats A 60:40
A defeats B 50:10
B defeats F 50:10
C defeats F 50:10
A defeats C 40:20
B defeats C 40:20

eliminate A

B defeats F 50:10
C defeats F 50:10
B defeats C 40:20

B wins

-- 
Raul