算法中的漸進符號 (符號總結說明)


 

在看有些算法書或資料的時候,經常看到時間復雜度,空間復雜度的符號描述。參考算法導論,在這里做個小總結,和大家分享。

1.clip_image002記號:(漸進確界):

clip_image004:

表示clip_image006={ f(n):存在常數c1,c2,clip_image008,對所有的clip_image010,有:clip_image012}

 

 

2.O記號:(漸進上界)

clip_image002[1]記號漸進給出一個函數的上下界,當只有漸近上界時,使用“O”記號。

clip_image014={ f(n): 存在常數c,clip_image008[1],對所有的clip_image010[1],有:clip_image016}

clip_image018,因為clip_image002[2]記號強於O記號。

例子:任意一個線性函數clip_image021也在clip_image023中。

注:該記號在有些文獻中會代替符號1

 

 

3.clip_image025記號:(漸進下界)

clip_image027={ f(n):存在正常數clip_image029,使得對所有的clip_image010[2],有clip_image032}

請看圖示說明:

clip_image034

 

 

 

4.o記號(非漸進緊確上界):

clip_image036={ f(n),對任意正常數c,存在常數clip_image038,使得對所有clip_image010[3],有clip_image016[1]}

O記號所提供的漸進上界可能不是漸進緊確的界。我們使用“o”,來表示非漸進緊確的上界。例如clip_image042,但是clip_image044.

 

 

5.w記號(非漸進緊確下界):

W記號與clip_image025[1]記號的關系相當於,O與o一樣。

clip_image046={ f(n),對任意正常數c,存在常數clip_image038[1],使得對所有clip_image010[4],有clip_image032[1]}

例:clip_image049

 

 

 

它們之間的性質如下圖:

 

clip_image051

clip_image053

 

 

本人水平有限,懷着分享學習的態度發表此文,歡迎大家批評,交流。感謝您的閱讀。
歡迎轉載本文,轉載時請附上本文地址:http://www.cnblogs.com/Dzhouqi/p/3388484.html                       
另外:歡迎訪問我的博客 http://www.cnblogs.com/Dzhouqi/


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM