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 複雜度類別。