On Mon, Dec 16, 2002 at 01:50:27AM -0500, Raul Miller wrote:
> > > 6. If there are no defeats within the Schwartz set, then the winner
> > > is chosen from the options in the Schwartz set. If there is
> > > only one such option, it is the winner. If there are multiple
> > > options, the elector with a casting vote chooses which of those
> > > options wins. If there are no options in the Schwartz set,
> > > the default option wins.
> > Is it possible for the default option to be a member of the Schwartz
> > set? If so, should it win in that case?
> No, it's not possible -- the default option should always be eliminated
> at A.6.3. The Schwartz set is composed of options which defeat the
> default option. If no options defeat the default option the default
> option wins.
> Is this ambiguous? Perhaps I should add to A.6.3:
> The default option never defeats itself.
*gack* Why don't you just say "The default option is dropped", rather than
talking around the issue instead? The straightforward way of dealing with
this is:
* Drop options that don't make quorum
* Drop options that don't make supermajority
* If the default option is the only option remaining, it wins.
* Drop the default option.
* Work out the winner from the remaining options using CpSSD
Alternatively:
* Drop options that don't make quorum
* Drop options that don't have the appropriate majority over the
default option
* Work out the winner from the remaining options (including
default) using CpSSD -- default will win if and only if it's
the only option remaining; since all other remaining options
defeat the default option
(which is how I interpreted your original post)
> In principle, this should be obvious from the definition of defeat,
> but a little redundancy sometimes helps alleviate confusion.
A.6.2 and A.6.3 are about eliminating due to quorum and supermajority,
neither of which apply to the default option. Trying to apply them to
the default option is what's confusing. (eg, presumably there aren't
Q votes that rank the default option above the default option, so it
should already have been dropped before A.6.3 comes into play...)
Cheers,
aj
--
Anthony Towns <aj@humbug.org.au> <http://azure.humbug.org.au/~aj/>
I don't speak for anyone save myself. GPG signed mail preferred.
``Australian Linux Lovefest Heads West''
-- linux.conf.au, Perth W.A., 22nd-25th January 2003
Attachment:
pgpMxwEo9kXfl.pgp
Description: PGP signature