怎樣計算 證明 目測 出解決乙個問題的最低時間複雜度?

時間 2021-06-08 07:27:16

1樓:

演算法導論上似乎有介紹這個問題

首先要明確的概念是,只要可以證明不存在比這條界線更優的演算法,那麼它就是乙個下界,解決任何問題的時間複雜度都有無數多的下界。比如0就可以是任何問題的下界,因為不會有演算法需要花比0更少的時間了。

要證明「正確」的那個下界,也就是所有下界中最高的那個,一般來說有兩步,首先證明它是乙個下界,然後找到乙個上界與它相等的演算法。

至於怎麼找,通用的辦法肯定是不可能存在的,因為,像上面某個答案說的,P和NP是不是相等人類都還不知道呢。

一種辦法是,如果是基於比較的問題,可以用資訊理論加決策樹來找到乙個(未必是最優的)下界,基本思路就是先找出為了得到最終答案需要的資訊,然後把這些資訊的所有可能狀態算出乙個排列數,最後用決策樹一次比較可以排除一半,所以對排列數取乙個對數就得到乙個下界了。

另一種辦法叫potential function,基本思路就是你找到乙個隨著計算過程單調減的變數(一般是某種你需要知道的資訊的數量),並且這個變數歸零的時候你就能得到答案,算出它的初始值,然後算出每步計算可以減小這個變數的值的上界,兩者相除,就得到時間複雜度下界了(同樣未必是最優的)。

2樓:

如果你知道了這麼乙個方法...

別忘了告訴我:

資訊理論能給出一些簡單問題的下界:

比較排序:

非比較排序:

還有各類資料結構:

頂多有些圖論問題也有最優複雜度的證明吧,也就僅此而已了我記得最近計算幾何裡有個最優演算法突然被抽出來證明是錯的來著...

更複雜的問題我認為是難以判定的

搞不好甚至是不可判定問題

考慮到更多的問題是不可計算問題

複雜果然是世界的本質啊》逃

乙個很值得解決的問題?

小漫 身高從來不是單位挑人的硬指標 模特等特殊行業除外 所以你首先需要解除自己上的這把枷鎖,然後做系統的職業生涯規劃,腳踏實地的幹起來 蘿莉身材呀有沒有考慮做B站的女主播?2333333我以前工作的時候有很多個子小的南方妹子啊我也沒覺得她們會嫌棄自己我也不會嫌棄啊你不覺得身高差很萌嗎?色情一點說嘿嘿...

如何將乙個實際問題抽象成計算機可以解決的問題模型?

這是我看過對抽象和計算解釋最清晰的一篇文章。 1建立輸入與輸出邏輯關係 2確定 輸入 的範圍 最好是有限個,個數假設為a 3確定 輸出 的範圍 最好也是有限個,個數假設為b 4用一堆if else語句把a個 輸入 一一對應b個 輸出 這是最基本最簡單的方法 5對整體程式進行優化 就是if else那...

如何解決乙個問題 煩惱 事?

Lance W 嗯。若是雞湯 我就喜歡做雞湯 當是要努力提高自己,豐富經歷 拓寬眼界,層次高了,一些煩惱就顯得微不足道了。正所謂 會當凌絕頂,一覽眾山小 若是毒奶。當不去理會那些問題 煩惱之類,所有情緒都是幻覺,你現在的煩惱對於未來的自己不值一提 想一想小時候的煩惱就知道了 所以不作為的等待就好,況...