https://bugzilla.wikimedia.org/show_bug.cgi?id=164

--- Comment #223 from Philippe Verdy <[email protected]> 2011-07-20 13:35:21 
UTC ---
> The function is not a classical binary search, which only determines equality,
instead it finds the lower bound of a range. When the test item sorts below the
target ($comparison < 0), it can't be ruled out as a prospective lower bound.

And here you're completely wrong : in that case the comparison says that the
mid idem is certainly not the lower bound. Don't forget that the item at max
(and below) will also be tested: max will decrease as well, up to the point
that it will either find an exact match, or will fall 1 position below min.

> That's why you need $min = $mid, not $min = $mid + 1. 

That's why you don't need that !

-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to