Hello,
On Thu, Feb 06, 2003 at 02:48:40PM +1000, Anthony Towns wrote:
> ie, the steps I'm suggesting are:
>
> 1. If there's a default option, satisfy quorum and supermajority
> [this leaves us with the default option, and those other
> options that satisify q & sm; or else it leaves all the
> options]
>
> 2. Apply cloneproof-SSD
> [this does nothing but eliminate defeats / break ties, so
> while it reduces the size of the Schwartz set, never
> empties it; if we've got a default option, it's either
> the only option, or its not in the Schwartz set ever]
>
> 3. Choose a winner from the Schwartz set
>
> Does that make sense yet?
For me it makes sense. It limits our modifications to implement
quorum and supermajority to one well defined step, and in the absence
of q & sm it is trivial to verify that we really do cloneproof-SSD.
I would like this solution.
Jochen
--
Omm
(0)-(0)
http://www.mathematik.uni-kl.de/~wwwstoch/voss/index.html
Attachment:
pgpDMdX4GSm3Q.pgp
Description: PGP signature