Re: Request for comments [voting amendment]

2002-11-16 Thread Anthony Towns
On Sat, Nov 16, 2002 at 05:54:59AM +0100, Matthias Urlichs wrote: > > > Another alternative might have been to have the default option win if > > > it's _ever_ a member of the Scwartz set, rather than if it's a member > > > of the Schwartz set after the sequential dropping phases are complete. > Th

Re: voting mechanics draft update

2002-11-16 Thread Anthony Towns
On Sat, Nov 16, 2002 at 05:23:13AM +0100, Matthias Urlichs wrote: > >v. If this new Schwartz set contains only one option, that > > option wins. > > > As per the definition, there is no such thing as a one-option Schwartz > set, so actually you'll have to restart with step 5. You

Re: Request for comments [voting amendment]

2002-11-16 Thread Matthias Urlichs
Hi, Anthony Towns: > > I'd rather run the algorithm with the full set of votes first, and _then_, > > if the default option wins, have a separate rule on what to do next. > > Nope: see the first vote listed above. You _don't_ want to declare a > result when the majority of developers would prefer

Re: voting mechanics draft update

2002-11-16 Thread Jochen Voss
Hello, On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > Definition: An option F transitively defeats an option G if G > defeats F or if there is some other option H where H defeats > G AND F transitively defeats H. There is a mistake: "... if G defeats

Re: voting mechanics draft update

2002-11-16 Thread Jochen Voss
Hello On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: >Definition: A proposition is a defeat, or a pair of options >where both have received votes explicitly comparing the two >options but neither option is able to defeat the other. Sorry, but I do

Re: voting mechanics draft update

2002-11-16 Thread Jochen Voss
Hello, even more confusion on my side :-( On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > 1. Each ballot orders the options being voted on in the order >specified by the voter. If the voter does not rank some options, >this means that the voter prefers all rank

Attempt at logical english definition for CSSD (using beatpath winner).

2002-11-16 Thread Clinton
Heres an attempt to describe the winner of a CSSD election logically, using the beatpath winner implimentation. I've tryed to structure it so that removing the parenthesis gives a plain english definition. Any comments would be appresiated. --- In the following definition all occurances of A

Re: Another draft of A.6

2002-11-16 Thread Raul Miller
On Fri, Nov 15, 2002 at 09:48:55PM -0500, Branden Robinson wrote: > I am sorry if this tries your patience, but I do not understand this > statement. Can you give an example with numbers? Specifically, I don't > understand what would distinguish a "weak" pairwise tie from a non-weak > one. Well.

Re: voting mechanics draft update

2002-11-16 Thread Raul Miller
Raul Miller: > >iv. If eliminating the weakest propositions would not eliminate > >all votes, a new Schwartz set is found based on the newly > >revised set of propositions. On Sat, Nov 16, 2002 at 05:23:13AM +0100, Matthias Urlichs wrote: > Note that ALL proposition

Re: voting mechanics draft update

2002-11-16 Thread Raul Miller
On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > > Definition: An option F transitively defeats an option G if G > > defeats F or if there is some other option H where H defeats > > G AND F transitively defeats H. > On Sat, Nov 16, 2002 at 09:04:42AM +01

Re: Attempt at logical english definition for CSSD (using beatpath winner).

2002-11-16 Thread Raul Miller
On Sun, Nov 17, 2002 at 03:47:01AM +1100, Clinton wrote: > Heres an attempt to describe the winner of a CSSD election logically, > using the beatpath winner implimentation. I've tryed to structure it so > that removing the parenthesis gives a plain english definition. Any > comments would be app

Re: voting mechanics draft update

2002-11-16 Thread Matthias Urlichs
Hi, Raul Miller: > On Sat, Nov 16, 2002 at 05:23:13AM +0100, Matthias Urlichs wrote: > > Note that ALL propositions are considered here, not just those > > participating in the Schwartz set. > > Hmm.. that's not what I was trying to say. Thanks. > The reason for this to be a problem is that the

Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
More silliness fixed: The word "tie" is now only used in one context. The definition of "transitive defeats" is fixed. The language defining propositions has been cleaned up. If anyone feels that draft is too hard to understand, please write me a letter indicating the first part that you have tr

Re: voting mechanics draft update

2002-11-16 Thread Matthias Urlichs
Hi, Anthony Towns: > > >v. If this new Schwartz set contains only one option, that > > > option wins. > > > > > As per the definition, there is no such thing as a one-option Schwartz > > set > Uh, if C is the Condorcet winner, or becomes the Condorcet winner after > ignoring so

Re: voting mechanics draft update

2002-11-16 Thread Raul Miller
On Sat, Nov 16, 2002 at 06:56:37PM +0100, Matthias Urlichs wrote: > The reason for this to be a problem is that the dropping step only considers > the _innermost_ Schwartz set. There may be more than one, though off-hand > I couldn't invent a suitable example -- I'm sure one exists in the > literat

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello, On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > 1. [...] Any options unranked by the voter are treated >as being equal to all other unranked options. I still do not understand the "other unranked options". Could we simply write "Any options unranked by the voter a

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
Hello, > On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > > 1. [...] Any options unranked by the voter are treated > >as being equal to all other unranked options. On Sat, Nov 16, 2002 at 07:47:39PM +0100, Jochen Voss wrote: > I still do not understand the "other unranked

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > 2. Options which do not defeat the default option are eliminated. > >Definition: Option A defeats option B if more voters prefer A >over B than prefer B over A. Is the default option supposed to be in the li

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello again! Another one: On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > 3. If an option has a quorum requirement, that option must defeat >the default option by the number of votes specified in the quorum >requirement, or the option is eliminated. We did not

Re: voting mechanics draft update

2002-11-16 Thread Matthias Urlichs
Hi, Raul Miller: > The Schwartz set is the set of innermost unbeatened sets. There cannot > be more than one Schwartz set at any one time for any one set of votes. > > See http://www.barnsdle.demon.co.uk/vote/condor2.html for a more extensive > discussion of this subject. > Thanks for the link.

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Matthias Urlichs
Hi, Raul Miller: >Definition: The dominant strength of a proposition is the >count of votes in a proposition which is not smaller than >the other vote count in that proposition. > Please replace "not smaller" with "larger or equal to", and vice versa, throughou

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sat, Nov 16, 2002 at 09:31:08PM +0100, Jochen Voss wrote: > Is the default option supposed to be in the list of options for which > we do "Cloneproof Schwartz Sequential Dropping" below? Maybe we > should replace "Options" by "Non-default options" in this paragraph? For an option to be in the

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sat, Nov 16, 2002 at 10:47:43PM +0100, Matthias Urlichs wrote: > Please replace "not smaller" with "larger or equal to", and vice versa, > throughout the text. Those negatives make thinking about whatever it is > that the text actually means ;-) more difficult. Actually, based on a suggestion b

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello Raul, trying to actually implement the algorithm from the draft turns out to be a good test :-) On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: >ii. Unless this would eliminate all options in the Schwartz set, >the weakest propositions are eliminated. >

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello Raul, On Sat, Nov 16, 2002 at 05:44:40PM -0500, Raul Miller wrote: > On Sat, Nov 16, 2002 at 09:31:08PM +0100, Jochen Voss wrote: > > Is the default option supposed to be in the list of options for which > > we do "Cloneproof Schwartz Sequential Dropping" below? Maybe we > > should replace

example implementation of the new voting machinery draft

2002-11-16 Thread Jochen Voss
Hello, I spent some time implementing the voting mechanism as described in Rauls draft. Maybe this is useful for somebody who wants to play with the new voting system. I append a preliminary version of the program here. The second attachment is an example input file. The program is modelled cl

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sun, Nov 17, 2002 at 12:12:53AM +0100, Jochen Voss wrote: > trying to actually implement the algorithm from the draft turns out to > be a good test :-) Ok. Note that I've not sat down and read your implementation, yet. > On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > >

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sun, Nov 17, 2002 at 12:23:11AM +0100, Jochen Voss wrote: > Do we intend that the default option actually can win the vote? > Am I correct that this only could happen via step 5? You're right, I should it so that the default option doesn't need to defeat the default option. The interpretation

Re: voting mechanics draft update

2002-11-16 Thread Jochen Voss
Hello, On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > Definition: An option F transitively defeats an option G if G > defeats F or if there is some other option H where H defeats > G AND F transitively defeats H. There is a mistake: "... if G defeats

Re: voting mechanics draft update

2002-11-16 Thread Jochen Voss
Hello On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: >Definition: A proposition is a defeat, or a pair of options >where both have received votes explicitly comparing the two >options but neither option is able to defeat the other. Sorry, but I do

Re: voting mechanics draft update

2002-11-16 Thread Jochen Voss
Hello, even more confusion on my side :-( On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > 1. Each ballot orders the options being voted on in the order >specified by the voter. If the voter does not rank some options, >this means that the voter prefers all rank

Attempt at logical english definition for CSSD (using beatpath winner).

2002-11-16 Thread Clinton
Heres an attempt to describe the winner of a CSSD election logically, using the beatpath winner implimentation. I've tryed to structure it so that removing the parenthesis gives a plain english definition. Any comments would be appresiated. --- In the following definition all occurances of A a

Re: Another draft of A.6

2002-11-16 Thread Raul Miller
On Fri, Nov 15, 2002 at 09:48:55PM -0500, Branden Robinson wrote: > I am sorry if this tries your patience, but I do not understand this > statement. Can you give an example with numbers? Specifically, I don't > understand what would distinguish a "weak" pairwise tie from a non-weak > one. Well.

Re: voting mechanics draft update

2002-11-16 Thread Raul Miller
Raul Miller: > >iv. If eliminating the weakest propositions would not eliminate > >all votes, a new Schwartz set is found based on the newly > >revised set of propositions. On Sat, Nov 16, 2002 at 05:23:13AM +0100, Matthias Urlichs wrote: > Note that ALL proposition

Re: voting mechanics draft update

2002-11-16 Thread Raul Miller
On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > > Definition: An option F transitively defeats an option G if G > > defeats F or if there is some other option H where H defeats > > G AND F transitively defeats H. > On Sat, Nov 16, 2002 at 09:04:42AM +01

Re: Attempt at logical english definition for CSSD (using beatpath winner).

2002-11-16 Thread Raul Miller
On Sun, Nov 17, 2002 at 03:47:01AM +1100, Clinton wrote: > Heres an attempt to describe the winner of a CSSD election logically, > using the beatpath winner implimentation. I've tryed to structure it so > that removing the parenthesis gives a plain english definition. Any > comments would be app

Re: voting mechanics draft update

2002-11-16 Thread Matthias Urlichs
Hi, Raul Miller: > On Sat, Nov 16, 2002 at 05:23:13AM +0100, Matthias Urlichs wrote: > > Note that ALL propositions are considered here, not just those > > participating in the Schwartz set. > > Hmm.. that's not what I was trying to say. Thanks. > The reason for this to be a problem is that the

Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
More silliness fixed: The word "tie" is now only used in one context. The definition of "transitive defeats" is fixed. The language defining propositions has been cleaned up. If anyone feels that draft is too hard to understand, please write me a letter indicating the first part that you have tr

Re: voting mechanics draft update

2002-11-16 Thread Raul Miller
On Sat, Nov 16, 2002 at 06:56:37PM +0100, Matthias Urlichs wrote: > The reason for this to be a problem is that the dropping step only considers > the _innermost_ Schwartz set. There may be more than one, though off-hand > I couldn't invent a suitable example -- I'm sure one exists in the > literat

Re: voting mechanics draft update

2002-11-16 Thread Matthias Urlichs
Hi, Anthony Towns: > > >v. If this new Schwartz set contains only one option, that > > > option wins. > > > > > As per the definition, there is no such thing as a one-option Schwartz > > set > Uh, if C is the Condorcet winner, or becomes the Condorcet winner after > ignoring so

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello, On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > 1. [...] Any options unranked by the voter are treated >as being equal to all other unranked options. I still do not understand the "other unranked options". Could we simply write "Any options unranked by the voter a

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
Hello, > On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > > 1. [...] Any options unranked by the voter are treated > >as being equal to all other unranked options. On Sat, Nov 16, 2002 at 07:47:39PM +0100, Jochen Voss wrote: > I still do not understand the "other unranked

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > 2. Options which do not defeat the default option are eliminated. > >Definition: Option A defeats option B if more voters prefer A >over B than prefer B over A. Is the default option supposed to be in the li

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello again! Another one: On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > 3. If an option has a quorum requirement, that option must defeat >the default option by the number of votes specified in the quorum >requirement, or the option is eliminated. We did not

Re: voting mechanics draft update

2002-11-16 Thread Matthias Urlichs
Hi, Raul Miller: > The Schwartz set is the set of innermost unbeatened sets. There cannot > be more than one Schwartz set at any one time for any one set of votes. > > See http://www.barnsdle.demon.co.uk/vote/condor2.html for a more extensive > discussion of this subject. > Thanks for the link.

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Matthias Urlichs
Hi, Raul Miller: >Definition: The dominant strength of a proposition is the >count of votes in a proposition which is not smaller than >the other vote count in that proposition. > Please replace "not smaller" with "larger or equal to", and vice versa, throughou

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sat, Nov 16, 2002 at 09:31:08PM +0100, Jochen Voss wrote: > Is the default option supposed to be in the list of options for which > we do "Cloneproof Schwartz Sequential Dropping" below? Maybe we > should replace "Options" by "Non-default options" in this paragraph? For an option to be in the

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sat, Nov 16, 2002 at 10:47:43PM +0100, Matthias Urlichs wrote: > Please replace "not smaller" with "larger or equal to", and vice versa, > throughout the text. Those negatives make thinking about whatever it is > that the text actually means ;-) more difficult. Actually, based on a suggestion b

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello Raul, trying to actually implement the algorithm from the draft turns out to be a good test :-) On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: >ii. Unless this would eliminate all options in the Schwartz set, >the weakest propositions are eliminated. >

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Jochen Voss
Hello Raul, On Sat, Nov 16, 2002 at 05:44:40PM -0500, Raul Miller wrote: > On Sat, Nov 16, 2002 at 09:31:08PM +0100, Jochen Voss wrote: > > Is the default option supposed to be in the list of options for which > > we do "Cloneproof Schwartz Sequential Dropping" below? Maybe we > > should replace

example implementation of the new voting machinery draft

2002-11-16 Thread Jochen Voss
Hello, I spent some time implementing the voting mechanism as described in Rauls draft. Maybe this is useful for somebody who wants to play with the new voting system. I append a preliminary version of the program here. The second attachment is an example input file. The program is modelled cl

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sun, Nov 17, 2002 at 12:12:53AM +0100, Jochen Voss wrote: > trying to actually implement the algorithm from the draft turns out to > be a good test :-) Ok. Note that I've not sat down and read your implementation, yet. > On Sat, Nov 16, 2002 at 12:48:07PM -0500, Raul Miller wrote: > >

Re: Nov 16 draft of voting mechanics

2002-11-16 Thread Raul Miller
On Sun, Nov 17, 2002 at 12:23:11AM +0100, Jochen Voss wrote: > Do we intend that the default option actually can win the vote? > Am I correct that this only could happen via step 5? You're right, I should it so that the default option doesn't need to defeat the default option. The interpretation