Pertanyaan saya adalah tentang teorema 4.1 dan 4.2 dalam "Teori Kompleksitas Geometris V" .
Teorema pertama menyatakan bahwa ada algoritma EXPSPACE untuk membangun hsop untuk (lihat definisi dalam makalah) pada (pada bidang aljabar tertutup yang tertutup dari karakteristik nol ).
Yang kedua menyediakan algoritma Monte-Carlo poli-waktu probabilistik untuk masalah yang sama.
Dapatkah hasil tesis ini diperluas menjadi penutupan aljabar bidang terbatas?
Seperti yang saya pahami, itu mungkin karena masalah Nullstellensatz Hilbert milik PSPACE dalam kasus ini juga. Teorema Heintz dan Schnorr juga berlaku untuk bidang karakteristik arbitrer ...