公理複雜性

公理複雜性是2018年公布的計算機科學技術名詞 。

基本介紹

• 中文名：公理複雜性
• 外文名： axiomatic complexity
• 所屬學科：計算機科學技術_理論計算機科學_可計算性與計算複雜性  
• 公布年度： 2018年

定義

時間和空間只是計算的“複雜性測度”的兩個例子，一般可定義複雜性測度為滿足一定公理的函式（可以是部分函式），這樣的複雜性稱為公理複雜性。

出處

《計算機科學技術名詞 》。