我已經在Java中創建下列簡單的算法,計算以遞歸的方式帕斯卡三角,在INTS的二維列表的形式:多遞歸Pascal三角算法的時間複雜性解決方案?
public class PascalTriangleRec{
private final int[][] points;
public PascalTriangleRec(int size){
points = new int[size][];
for (int i =0;i<size;i++){
int[] row = new int[i+1];
for (int j = 0;j<=i;j++){
row[j]=getValueAtPoint(i,j);
}
points[i]=row;
}
}
public static int getValueAtPoint(int row, int col){
if (col == 0 || col == row) return 1;
else return getValueAtPoint(row-1,col-1) + getValueAtPoint(row-1,col);
}
}
我需要知道該算法的時間複雜度。我在StackOverflow上發現了another question,它將getValueAtPoint函數的時間複雜度設置爲O(2^n/sqrt(n))。我認爲,由於這個函數嵌入到兩個嵌套for循環中,整個Pascal三角形的時間複雜度爲O(sqrt(n^3)* 2^n)。我很確定這個推理是正確的。
在另一方面,我設計了一個完全不同的方式來思考這個問題,去如下:
有一個稱爲帕斯卡的推論8.此屬性帕斯卡三角形的某個屬性規定,所有的總和在給定的行r的係數爲2^R,其中R從0開始。
我們也可以注意到,從我的代碼示例getValueAtPoint功能將繼續遞歸調用本身,直到它在某個時候返回1 。這意味着帕斯卡三角形中的所有係數都是通過將該係數的值加1的倍數形成的。
由於加1需要一個恆定的時間,因此可以說計算三角形中給定行所需的時間等於某個常數時間乘以該行中所有係數的組合值。這意味着三角形中給定行r的時間複雜度必須是2^r。
計算整個三角形所需的時間等於計算三角形中所有行所需的時間總和。這產生了幾何級數,它計算r從0到n-1的所有2^r的和。
使用幾何系列的求和屬性,可以在以下form中重寫該系列。
這意味着根據這個最後的推導的算法的時間複雜度是O(2^n)。
這兩種方法產生不同的結果,即使它們對我而言都是合乎邏輯和正確的。如果這兩種方法都是正確的,並且如果兩者都可以同時被看作正確的話,那麼我的問題首先在於?我認爲它們都是正確的,但第二個更準確,因爲對於第一個最糟糕的情況是採用了getValueAtPoint函數,並且應用於所有的係數,這顯然不是現實中的情況。這是否意味着第一個變得不正確,即使它背後的邏輯是正確的,僅僅是因爲存在更好的方法?
我認爲,如果我理解正確,你的意思是第二種方法不考慮所有遞歸調用getValueAtPoint,因爲對於i = n,有很多調用不會直接返回1,但仍然需要考慮? 你的意思是我應該考慮嵌套for循環像第一個派生的總和?問題在於,由於第一個解決方案中的Sqrt(n),我無法找到一種方法來以數學方式簡化所得到的系列。 因此,如果我沒有弄錯,第一種方法是唯一完全正確的方法嗎? – user3423641
是的,那是我的意圖。然而,我的「小問題」點是應用中的一個主要問題,現在我再看一遍:斯特林的工作推導出sqrt(n)作爲近似的一部分;這不*是一個直接的形式。要做到這一點,你必須重新回到他的錯誤條件。包括那些*應該*扭轉sqrt的醜陋。 就個人而言,我會寫一個小程序來計算近似值,進行求和,並看看它接近2^n的數值有多接近。 – Prune
你不得不原諒我,但我沒有一個非常理論的背景。我不太瞭解斯特林近似,只是假設我提到的另一篇文章的推導得到O(2^n/Sqrt(n))是正確的。另一方面,我可以爲你提供我收集到的測試數據。我用兩個近似公式繪製了結果。結果可以在這裏找到:http://imgur.com/a/HhXCV。正如你所看到的2^n方法似乎最好的工作。這是否意味着我的第二種方法畢竟更好,而我忘記的額外遞歸調用可以忽略不計? – user3423641