布盧姆公理 布魯姆公理英語Blum Axioms或稱布魯姆複雜度公理英語Blum Complexity Axioms是計算複雜性理論中定義可計算函數的複雜度時應滿足的條件這些公理最先由曼紐爾布魯姆於年提出 重要的是只要複雜度衡量滿足這些公理布盧姆加速定理和間隙定理就成立滿足這些公理的複雜度衡量裡最有名的是有關時間見時間複雜度和空間見空間複雜度的複雜度