如果不考慮常數 倍數級效率 空間差別,程式的什麼抽象可以去掉?

時間 2021-06-01 07:13:47

1樓:

雙紙帶圖靈機了解一下。

有乙個理論是說任意條紙帶(但是不能是無限條)的圖靈機如果能在O(f(n))的時間複雜度內解決乙個問題,那麼雙紙帶圖靈機就能夠在O(f(n)log(f(n)))的時間複雜度內解決。

一條紙帶是不行的,一條紙帶需要O(f(n)^2)的時間。

用多紙帶圖靈機模擬現代計算機應該是一件trivial的事情(包括行為和時間空間複雜度),所以超出雙紙帶圖靈機的抽象某種意義上來說都是leaky abstraction…………

2樓:依雲

很多資訊編譯期是不知道的(所以 JIT 才在一些情況下更快)。所以有了 pgo(profile-guided optimization),可以用真實執行時的資料來告訴優化器,其實大部分資料都是這個樣子的,大部分情況走的分支是這個,等等。即使如此,優化器也不能做演算法層級上的優化。

本來呢,因為提供了更多的保證,Rust 能夠優化得很好的。可惜 LLVM 最近才開始支援一些只有 Rust 才有的特性,導致優化並不徹底。然後,LLVM 6 還帶來了一些效能方面的 bug,搞得火狐試著公升級了一下又立馬回退了……

不定積分是唯一的麼 不考慮常數C ?

h何可依 三角函式帶平方的一般不是唯一的。因為會有c也就是常數相加減,一般是唯一的,在高數書上有講過貌似,圖形加c的縱座標向上平移。不考慮常數c意思就是說不考慮縱座標的變化。是唯一的,剛剛開始學,如果有什麼講錯的希望大神幫忙指出。 pioneer 不請自來。我沒想嚴格證明,我只是這麼來理解記憶。從影...

如果不考慮經濟壓力,你會考慮生幾個小孩?

黑妞 真的實現財產自由的時候,三孩很不錯,兩女1男,2男1女,或者3男,3女,都可以,但是,孩子,要教育好,教育好了,乙個頂3,乙個照樣有用,教育不好,3個還是10個,都是多餘的 其實如果真的不考慮經濟壓力,作為女性來講不生其實也比較好,畢竟生不生主要是要看自己,如果要生的話,乙個就挺好的,畢竟培養...

如果不考慮成本,只考慮技術,現階段科技水平下能把乙個智慧型家居建設到什麼程度?

智慧型家居是我們這種請不起管家和保姆的人才需要的東西,都不計成本了,請一群人來服務不香嗎?別提比爾蓋茨,你先想想他是做什麼生意的。 靠右行 受控裝置的自控和自動化應該沒問題了。控制輸出這些,聯網也ok。手動指令 進入離開 定時這些也就不用說了。可能就是語音拾取識別方面有限,還有就是手勢感應這些存在困...