Re: [Monotone-devel] Re: Bug in monotone lca

[Nathaniel Smith]

On Fri, May 20, 2005 at 09:19:19PM +0200, Florian Weimer wrote:
> * Wim Oudshoorn:
> 
> > However in that case lcad has a bug :-)
> >
> > Consider the following graph:
> >
> >                   A
> >                  / \
> >                 B   C
> >                 |  /|
> >                 | / E
> >                 D   |\
> >                 |   F \
> >                 |   |  G
> >                 |   H  |
> >                 |   |  I
> >                 \   J  |
> >                  \ /   K
> >                   L
> >
> > monotone lcad L K             // version 0.19
> > will return C, not E.
> 
> But E doesn't dominate L, so it would be an incorrect choice.  C seems
> to be correct for "lcad", and "lca" should give E.

E does dominate K, and the rule is that you only have to dominate one
side or the other.

(C doesn't dominate L either.)

-- Nathaniel

-- 
Eternity is very long, especially towards the end.
  -- Woody Allen