You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
18 lines
372 B
Python
18 lines
372 B
Python
def binary_search_first_true(predicate, from_inclusive, to_inclusive):
|
|
lo = from_inclusive - 1
|
|
hi = to_inclusive + 1
|
|
while hi - lo > 1:
|
|
mid = (lo + hi) // 2
|
|
if not predicate(mid):
|
|
lo = mid
|
|
else:
|
|
hi = mid
|
|
return hi
|
|
|
|
|
|
def test():
|
|
assert 4 == binary_search_first_true(lambda x: x * x >= 10, 0, 10)
|
|
|
|
|
|
test()
|