Binary Search In Detail

I hope we all have some idea about what binary search is and does. But I’m not going to explain the algorithm step by step, rather I’m going to give an insight into how binary search works and can be used. Check out: if you’re unaware of Binary Search. geeksforgeeks.org/binary-search Given a sorted array, we find the middle-most element and check the element with the key. If the middle-most element is equal to key, we’ve found the key. If the middle-most element is greater than the key, we search on the left half of the middle-most element, else we search on the right half. Here’s an iterative code for Binary Search in Java Notice that in line 6, we use int mid = (low + high) / 2; But calculating mid this way is ineffective. Why? Let’s take an example.Let us take integers from an integer low to an integer high (both included). Notice the mids computed by formulae in 3rd and 4th columns. for low = 3 and high = 11, the number of elements (#elements) = 9So there is only 1 mid, i.e., 7* Both formulae have computed the mid correctly for low = 3 and high = 10, #elements = 8So there are 2 mids, 6 (lower mid) and 7 (higher mid)* Both formulae have computed the lower mid correctly for low = -11 and high = -3, #elements = 9So there is only 1 mid, i.e., -7* Both formulae have computed the mid correctly for low = -10 and high = -3, #elements = 8So there are 2 mids, -7 (lower mid) and -8 (higher mid)* The formula has failed to compute the lower mid correctly but the other formula has computed it correctly. (low + high) / 2 So, we should always use the below formula to compute lower mid as it is much more reliable: int mid = low + ((high - low)/2); When #elements = odd, we have only 1 mid. So we can use the above formula to compute mid.When #elements = even, the above formula only gives the lower mid. The higher mid can be computed by the below formula: int mid2 = low + ((high - low + 1) / 2); Now, the interesting part… Let’s go back to the iterative code for Binary Search. Notice three things.1. How we are moving low and high2. How we are computing mid3. The condition in while loop The beauty of Binary Search lies in these three things alone. Let us explore this further. For a simple binary search where we just have to find the element in the array,we use the following:1. for moving 2. for moving 3. (why? discussed above)4. in the while loop low = mid - 1 low high = mid + 1 high mid = low + ((high - low) / 2) low <= high Is it always the case that we use the same conditions for binary search?It depends…on our problem statement. Example #1: Given an integer x, find the maximum element y in an array of size N that satisfies the condition y <= x Solution: We know that x might not be in the array. So the simple binary search for x in the given array won’t work. But for binary search, all we know is x, the key. We need to find the element in the array that’s the closest to x and less than or equal to x (if it exists). Three things should always come to your mind when using binary search:1. How should we move low and high?2. How should we compute mid?3. What would be the condition in while loop? We always start with ‘How to move low and high?’ and then find out how to compute mid and what might be the while condition. NOT the other way round. When , there is a possibility that the current element might be the answer (since y can be less than x).So, we shouldn’t discard mid while moving low.Hence, low becomes , not High remains the same as it is irrelevant to our problem statement. How to move low and high? array[mid] x) low = mid mid = low + ((high - low + 1) / 2) _What would be the condition in while loop?_Since we are storing the maximum element that is less than or equal to x in low, we should stop when low = high and return or . Hence, the condition in while loop is . array[low] array[high] low = x Solution: Using a similar analytical approach we used in example 1 (try it out yourself), we can say that for moving low low = mid + 1 for moving high high = mid for calculating mid mid = low + ((high - low) / 2) for the condition in while loop low < high Hence we can tabulate different scenarios of using Binary Search as follows: Feel free to experiment with these conditions and I hope you have gotten some insight into how to use binary search. Namaste!