代數複雜性(algebraic complexity)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:代數複雜性
- 外文名:algebraic complexity
- 所屬學科:計算機科學技術
- 公布時間:2018年
代數複雜性(algebraic complexity)是2018年公布的計算機科學技術名詞。
代數複雜性(algebraic complexity)是2018年公布的計算機科學技術名詞。定義在數值計算或代數計算模型中,用所使用的代數運算的次數來定義的複雜性。出處《計算機科學技術名詞 》第三版。1...
《代數複雜性理論》是2007年科學出版社出版的圖書,作者是比爾吉斯爾。內容簡介 《國外數學名著系列(影印版)25:代數複雜性理論》全面系統地講述了代數複雜性理論的知識,書中包含了近400個習題和超過500個參考文獻,對初學者和科研人員都...
代數複雜性 相似性原理所涉及的模型主要研究計算中按位運算的總量時間,按位計的中間結果存儲量空間和計算的深度(並行時間)等等,所以可稱為按位的複雜性。代數的複雜性理論則研究在一個代數系統中(例如實數域中)從給定變數出發去...
《代數方程組和計算複雜性理論》是1989年5月1日科學出版社出版的圖書,作者是徐森 林、王則柯。內容簡介 本書系統地論述了代數方程的Kuhn算法和增量算法(以Newton算法為其特例)、代數方程組和同倫算法以及同倫單純輪迥算法。這些算法及其...
代數計算樹複雜性是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 令, W 的代數計算樹複雜性為一切計算 W 的代數計算樹的最小深度,這裡R為實數域。公布時間 2018年,經全國...
《代數計算及定理機器證明的理論研究與軟體開發》是依託蘭州大學,由李廉擔任項目負責人的面上項目。項目摘要 本課題研究多元多項式環,模等代數系統的機器符號計算與機器定理證明的可行性與複雜性理論,並開發相應的套用軟體,它的直接目的是...
具體地,主要討論SLQP的表達形式(包括等價問題中具有非負常數係數,非負多項式係數、SOS多項式係數等)、成立的充分和必要條件,分析SLQP的代數複雜性(包括非負多項式係數和SOS多項式係數的次數的有界性以及上下界的計算,算法的複雜性等...
他認為解方程之前,應首先證明其解的存在性,這樣可使整個過程避免“計算的複雜性”.在代數方程可解性理論研究中,他還提出了一個研究綱領,就是在他的工作中需要解決兩類問題:一是構造任意次數的代數可解的方程;二是判定已知方程...