
This paper investigates the computational complexity of Radical Identity Testing (RIT), specifically focusing on determining the zeroness of polynomial expressions evaluated at real radicals.


coremsg

identity-testing-for-algebraic-expressions-with-real-radicals-a-complexity-theory-perspective


Identity Testing for Algebraic Expressions with Real Radicals: A Complexity Theory Perspective


title_rewrite


実数根を入力とする代数式の同一性判定問題（RIT）は、一般化リーマン予想（GRH）の下でcoNPに属し、特に平方根を入力とする場合はcoRPに属することを示した。


実数根を入力とする代数式の同一性判定問題


本文提出一個基於代數數論和計算複雜性理論，判定實數根式表達式是否為零的算法，並證明其在廣義黎曼猜想下屬於 coNP 複雜度類別。


基於代數數論的實數根式恆等式判定問題算法