Re: Nov 16 draft of voting mechanics
On Sun, Nov 17, 2002 at 10:42:40PM +1000, Anthony Towns wrote:
> ] Definition: A proposition is a pair of options, J and K, from
> ] the Schwartz set, such that J defeats K.
> On Sun, Nov 17, 2002 at 09:47:27AM -0500, Raul Miller wrote:
> > Simpler doesn't count here, because you fail to handle pairwise ties.
On Mon, Nov 18, 2002 at 03:26:46AM +1000, Anthony Towns wrote:
> Sure I do: they're not propositions (since in a pairwise tie between
> X and Y, X doesnt defeat Y and Y doesn't defeat X). There's no point
> worrying about pairwise ties at all, afaics.
Hmm.. but this allows a Schwartz set with no propositions. This would
mean that, for example, the rule for detecting ties would have to be
That wouldn't necessarily be a bad thing, but it's worth an explicit
mention in a context where we're contrasting draft versions.
> Give me tautological definitions any day.
I'll think about this.
> "NV" for number of votes/voters?
Hmm... maybe. Or maybe N for number... hmm...