登入
洞見 - Radical Identity Testing
Identity Testing for Algebraic Expressions with Real Radicals: A Complexity Theory Perspective
This paper investigates the computational complexity of Radical Identity Testing (RIT), specifically focusing on determining the zeroness of polynomial expressions evaluated at real radicals.
実数根を入力とする代数式の同一性判定問題
実数根を入力とする代数式の同一性判定問題（RIT）は、一般化リーマン予想（GRH）の下でcoNPに属し、特に平方根を入力とする場合はcoRPに属することを示した。
基於代數數論的實數根式恆等式判定問題算法
本文提出一個基於代數數論和計算複雜性理論，判定實數根式表達式是否為零的算法，並證明其在廣義黎曼猜想下屬於 coNP 複雜度類別。
