Last True Binary Search
Find the last position where a monotone predicate remains true.
5 notes
Find the last position where a monotone predicate remains true.
Find the boundary where a Boolean predicate changes value over an ordered domain.
Search for a boundary by trying decreasing jumps whose lengths are powers of two.
Find an optimal value by binary searching a monotone feasibility condition.
Find the first position where a monotone predicate becomes true.