[EM] 4W1CD problem: correction

[Craig Carey]

This equation I sent in is wrong. It fails P1 which I proved.
The term "(b+c<a+d)" in a B-wins formula would cause that.
Inside a D-must lose region, (c+ac<b+ab). Outside of that region, B had
more support but it lost since (c+ac<b+ab<d+ad).


At 13:39 03.10.00 +1300 Tuesday, Craig Carey wrote:

...
One winner 4 candidate formula [wrong]:

>  |  bWCD = (a<b) . (a+c<b+d or a+c<2*b) . (a+d<b+c or a+d<2*b) .
>  |            (Tacb or (2c<a+b or 2c<a+d)(c+d<a+b or b+c<a+d)) .
>  |            (Tadb or (c+d<a+b or b+d<a+c)(2d<a+b or 2d<a+c))
>  |

Politicians-and-polytopes:
http://www.egroups.nz/messages/politicians-and-polytopes
http://www.ijs.co.nz/ifpp.htm




------------------------------------------------------------------------

At 13:32 05.10.00 +1000 Thursday, David Catchpole wrote:
...
 >
 >
 >> Craig Carey criticised this exclusion scheme because it was
 >> "untested." That's bullshit. Applied to an "anti-STV" example he's been
I didn't criticize the method. I currently can't see how to get an STV
method that uses on subproblems, defined well.

...
 >> On Thu, 5 Oct 2000, LAYTON Craig wrote:
 >>
 >> > Yes, I am.  The exclusion of those with the least votes (transfered or
...
 >> > ranked (courtesy of Markus Schulze) or eliminating the bottom candidates
 >> > using a quota, and redistribute their votes at a reduced transfer value 
(if
 >> > I understand Craig Carey correctly).
...
(no). Fully transferring papers on eliminating would remain, I suppose.