--- 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

Reply via email to