--- Lars Henrik Mathiesen <[EMAIL PROTECTED]> wrote: > > because > > a b > > b a > > is satisfied by > > a > > b > > and > > b > > a > > in every model. > > > > i.e. It is explicitly _not_ the case that "no possible order of > nodes > > [...] will satisfy the input line requirements". > > Now you're being clever. It's true that if the input is a partial > order, you can conclude that a=b; but why do you output the element > twice, then?
There's a difference between an element and its value. Consider { 1, -1, i, -i } with partial orderings real components. There are 4 elements, but only three values being compared. [SNIP graph theory] > Doing it like that won't win the tournament, of course. Tell me about it - dead ended at 151 :-| Phil ===== -- "One cannot delete the Web browser from KDE without losing the ability to manage files on the user's own hard disk." - Prof. Stuart E Madnick, MIT. So called "expert" witness for Microsoft. 2002/05/02 __________________________________________________ Do You Yahoo!? Sign up for SBC Yahoo! Dial - First Month Free http://sbc.yahoo.com