大o符號是由德國數論學家保羅·巴赫曼(paul bachmann)在其1892年的著作《解析數論》引入。
保羅·巴赫曼在計算工程問題的時候,找到了一個公式,然後對這些公式產生了疑惑。
然後找到了一個無窮大漸進和無窮小漸進的一個表示,認為這個表示有一定的重要性了。
保羅·巴赫曼找到了埃德蒙·朗道開始討論這個問題。
巴赫曼說:“解決一個規模為 n 的問題所花費的時間,也就是所需步驟的數目,可以被求得。”
巴赫曼寫出了公式t(n)= 4n^2 - 2n + 2,給朗道看。
巴赫曼繼續說:“當 n 增大時,n^2;項將開始占主導地位,而其他各項可以被忽略——舉例說明:當 n = 500,4n^2;項是 2n 項的1000倍大,因此在大多數場合下,省略後者對表達式的值的影響將是可以忽略不計的。”
朗道說:“然後,是不是尾巴拖著難受?”
巴赫曼說:“進一步看,如果我們與任一其他級的表達式比較,n^2;項的係數也是無關緊要的。例如一個包含 n^3;或 n^2項的表達式,即使 t(n)= 1,000,000n^2;,假定 u(n)= n^3;,一旦 n 增長到大於1,000,000,後者就會一直超越前者(t(1,000,000)= 1,000,000^3;= u(1,000,000))。”
朗道說:“沒錯,當年的2次方是最重要的,但3次方擠進來,居然就叫不重要了。讓人頭疼。”
巴赫曼說:“誰說不是呢!肯定得需要想個辦法才對啊。”
朗道說:“我們需要對剩下的尾巴打包處理才行。”
巴赫曼說:“我們對這個量定義階這樣的概念吧,就是order of 中開頭o這個部分,當然來源於希臘語omicrond開頭,我們叫他大o。”
朗道說:“是的,可以表示無窮大或無窮小的漸近。”
保羅·巴赫曼在計算工程問題的時候,找到了一個公式,然後對這些公式產生了疑惑。
然後找到了一個無窮大漸進和無窮小漸進的一個表示,認為這個表示有一定的重要性了。
保羅·巴赫曼找到了埃德蒙·朗道開始討論這個問題。
巴赫曼說:“解決一個規模為 n 的問題所花費的時間,也就是所需步驟的數目,可以被求得。”
巴赫曼寫出了公式t(n)= 4n^2 - 2n + 2,給朗道看。
巴赫曼繼續說:“當 n 增大時,n^2;項將開始占主導地位,而其他各項可以被忽略——舉例說明:當 n = 500,4n^2;項是 2n 項的1000倍大,因此在大多數場合下,省略後者對表達式的值的影響將是可以忽略不計的。”
朗道說:“然後,是不是尾巴拖著難受?”
巴赫曼說:“進一步看,如果我們與任一其他級的表達式比較,n^2;項的係數也是無關緊要的。例如一個包含 n^3;或 n^2項的表達式,即使 t(n)= 1,000,000n^2;,假定 u(n)= n^3;,一旦 n 增長到大於1,000,000,後者就會一直超越前者(t(1,000,000)= 1,000,000^3;= u(1,000,000))。”
朗道說:“沒錯,當年的2次方是最重要的,但3次方擠進來,居然就叫不重要了。讓人頭疼。”
巴赫曼說:“誰說不是呢!肯定得需要想個辦法才對啊。”
朗道說:“我們需要對剩下的尾巴打包處理才行。”
巴赫曼說:“我們對這個量定義階這樣的概念吧,就是order of 中開頭o這個部分,當然來源於希臘語omicrond開頭,我們叫他大o。”
朗道說:“是的,可以表示無窮大或無窮小的漸近。”