如何從n個數里找到***值?

很容易想到，用一個循環就能搞定。

int find_max(int arr[n]){ 
    int max = -infinite; 
    for(int i=0; i<n; i++) 
        if(arr[i]>max) 
            max=arr[i]; 
    return max; 
} 
  

這里，需要執行n-1次比較。

[[255078]]

如何從n個數里找到***值與最小值?

很容易想到，用一個循環找到***值和最小值，就能搞定。

(int, int) find_max_min(int arr[n]){ 
    int max = -infinite; 
    int min = infinite; 
  
    for(int i=0; i<n; i++){ 
        if(arr[i]>max) 
            max=arr[i]; 
        if(arr[i]<min) 
            min=arr[i]; 
    } 
  
    return (max, min); 
} 

這里，需要執行2*(n-1)=2n-2次比較。

還有沒有更快的方法呢?

分治法或許可以派上用場，分治法的思路是：

• 把大規模拆分成小規模;
• 小規模分別求解;
• 小規模求解之后，再綜合求解大規模;

看能不能往這個例子里套用：

• 將arr[0,n]分為arr[0,n/2]和arr[n/2,n];
• 每個子數組分別求解***值和最小值;
• 兩個子數組的***值里再取***值，兩個子數組的最小值里再取最小值，就是最終解;

偽代碼大概是這樣：

(int, int) find_max_min(int arr[0,n]){ 
    // 遞歸左半區 
    (max1, min1) = find_max_min(arr[0, n/2]); 
    // 遞歸右半區 
    (max2, min2) = find_max_min(arr[n/2, n]); 
  
    // 再計算兩次 
    max = max1>max2?max1:max2; 
    min = min1<min2?min1:min2; 
  
    return (max, min); 
} 

畫外音，實際的遞歸代碼要注意：

• 入參不是0和n，而是數組的下限和上限;
• 遞歸要收斂，當數組的上下限相差1時，只比較一次，直接返回max和min，而不用再次遞歸;

分治法之后，時間復雜度是多少呢?

如果你是“架構師之路”的老讀者，《搞定所有時間復雜度計算》一文，能夠輕松求解分治法的時間復雜度分析：

(1)當只有2個元素時，只需要1次計算就能知道***，最小值

(2)當有n個元素時，

• 遞歸左半區;
• 遞歸右半區;
• 再進行兩次計算;

f(2)=1;【式子A】 
f(n)=2*f(n/2)+2;【式子B】 

求解遞歸式子，得到：

f(n)=1.5n-2; 

畫外音，證明過程如下：

【式子B】不斷展開能得到：

f(n)=2*f(n/2)+2;【式子1】 
f(n/2)=2*f(n/4)+2;【式子2】 
f(n/4)=2*f(n/8)+2;【式子3】 
... 
f(n/2^(m-1))=2*f(2^m)+2;【式子m】 

通過這m個式子的不斷代入，得到：

f(n)=(2^m)*f(n/2^m)+2^(m+1)-2;【式子C】 
  
由于f(2)=1【式子A】; 
即【式子C】中n/2^m=2時，f(n/2^m)=f(2)=1; 
此時n=2^(m+1)，代入【式子C】 
即f(n)=n/2 + n -2 = 1.5n-2; 

證明過程很嚴謹，但我知道你沒看懂。

建議再看看《搞定所有時間復雜度計算》。

總結，n個數：

• 求***值，遍歷，需要n-1次計算
• 求***最小值，遍歷，需要2n-2次計算
• 求***最小值，分治，時間復雜度1.5n-2

思路比結論重要，希望大家有收獲。

【本文為51CTO專欄作者“58沈劍”原創稿件，轉載請聯系原作者】

戳這里，看該作者更多好文