布盧姆加速定理 在計算複雜性理論布盧姆加速定理英語Blums speedup theorem為關於可计算函数複雜度的基本定理最早由曼纽尔布卢姆在年提出 選定一種編程語言後每個可計算函數仍由無窮多個程式實現該些程式可能各有優劣給定某個可計算函數和複雜度衡量時算法理論經常尋找計算該函數最不複雜的算法稱為最優例如當複雜度用時間衡量時便是最快布魯姆加速定理斷言任何複雜度衡量下都存在某個没有最優算法的可計算函數亦即任何該函數的程式實現都會比另一個實現複雜此結論同時說明無法同時定義全部可計算函數的複雜度函數的複雜度是其最優程式的複雜度當然不排除能找到特定函數的最優程式並計算其複雜度