Runtime Analysis of Binary Search Halving