Anonymous user
User:DCary/WIP/Beatpath: Difference between revisions
m
→Alternative formulation: Change emphasis for first use of Beat
imported>DCary m (Give links to both the draft and current pages for Schwartz set) |
imported>DCary m (→Alternative formulation: Change emphasis for first use of Beat) |
||
Line 84:
===Alternative formulation===
Given the [http://en.wikipedia.org/wiki/Binary_relation binary relation]
:(X,Y) is in ''Beat'' if and only if candidate X pair-wise beats candidate Y
then the [http://en.wikipedia.org/wiki/Binary_relation#Operations_on_binary_relations transitive-reflexive closure] of ''Beat'' is a [http://en.wikipedia.org/wiki/Preorder preorder] on the set of candidates, and the [http://en.wikipedia.org/wiki/Preorder#Formal_definition natural partial order generated from that preorder] is the beatpath order defined above.
| |||