關於希爾伯特零點定理的一個參數化版本

在廣義黎曼假設下，判斷一組係數為有理函數的多元多項式系統是否在其代數閉包中存在共同零點的問題（HNP）屬於複雜度類 AM。