My cycle definitionof Schwartz set is incorrect.
- To: debian-vote@lists.debian.org
- Subject: My cycle definitionof Schwartz set is incorrect.
- From: Michael Ossipoff <email9648742@gmail.com>
- Date: Tue, 14 May 2013 16:17:10 -0400
- Message-id: <CAOKDY5DfyXo0-Pfj6qmgR51H=_TyYNk2x4+ff0a73cUPO7Yu4g@mail.gmail.com>
Sorry to bother you again, but I want to correct an error that I made,
in a definition that I posted:
I wanted to express the beatpath definition of the Schwartz set in a
simpler and more compelling or appealing way, and the cycle definition
(that I've posted here) seemed such a simplification.
But the cycle definition doesn't define the Schwartz set. A candidate
that doesn't have a defeat that isn't in a cycle isn't necessarily in
the Scwhartz set (as defined by the unbeaten set definition and the
beatpath definition].
Of the two definitions (unbeaten set and beatpath), the beatpath
definition desn't have much compellingness. For compellingness, I much
prefer the unbeaten set definition.
Let me state both definitions here:
Unbeaten set definition of the Schwartz set::
1. An unbeaten sets is a set of alternatives none of which are beaten
by anything outside the set.
2. An innermost unbeaten set is an unbeaten set that doesn't contain a
smaller unbeaten set.
3.The Schwartz set is the set of alternatives that are in innermost
unbeaten sets.
[end of unbeaten set definition of Schwartz set]
---------------------------------------
Beatpath definition of Schwartz set:
There is a beatpath from X to Y if X beats Y, or if X beats A and
there is a beatpath from A to Y.
If there is a beatpath from Y to X, but not from X to Y, then X is not
in the Schwartz set.
Otherwise X is in the Schwartz set.
[end of beatpath definition of the Schwartz set]
Michael Ossipoff
Reply to: