代碼詳解

• binary_search 函數的第一個參數是待搜索的數組 arr ，第二個參數是數組的長度 n ，第三個參數是目標元素 target 。
• 函數首先初始化搜索范圍的左邊界 left 為 0，右邊界 right 為 n-1 。
• 在 while 循環中，函數計算數組的中間下標 middle ，并將中間元素與目標元素進行比較。
• 如果中間元素等于目標元素，函數返回 middle ，表示找到目標元素的位置。
• 如果中間元素小于目標元素，則目標元素一定在數組的右半部分，因此將左邊界更新為 middle+1 。
• 如果中間元素大于目標元素，則目標元素一定在數組的左半部分，因此將右邊界更新為 middle-1 。
• 循環重復上述過程，直到找到目標元素或搜索范圍為空。
• 如果搜索范圍為空，則表示未找到目標元素，函數返回 -1 。

二分法的復雜度分析

二分法的復雜度可以表示為 O(log n)，其中 n 是數組或列表的長度。這是因為在每一步中，搜索范圍都會減半，因此算法最多需要 log n 步才能找到目標元素或確定目標元素不存在。

總結

二分法是一種高效的算法，用于在有序數組或列表中查找特定元素。在 C 語言中，我們可以通過分而治之的思想實現二分法，從而快速準確地定位目標元素。通過理解本文中的原理和代碼示例，讀者可以學習如何在自己的 C 語言程序中應用二分法。