La mia domanda riguarda i teoremi 4.1 e 4.2 in "Teoria della complessità geometrica V" .
Il primo teorema afferma che esiste un algoritmo EXPSPACE per la costruzione di hsop per (vedi definizioni nel documento) su C (in effetti su un campo arbitrariamente chiuso algebricamente di zero caratteristico).
Il secondo fornisce un algoritmo Monte-Carlo probabilistico per lo stesso problema.
È possibile estendere questi risultati a una chiusura algebrica di un campo finito?
A quanto ho capito, è possibile perché anche in questo caso il problema Nullstellensatz di Hilbert appartiene a PSPACE . Il teorema di Heintz e Schnorr vale anche per campi di caratteristiche arbitrarie ...