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