Meine Frage bezieht sich auf die Sätze 4.1 und 4.2 in "Geometric Complexity Theory V" .
Der erste Satz besagt, dass es einen EXPSPACE- Algorithmus zum Konstruieren von hsop für (siehe Definitionen in der Arbeit) auf (tatsächlich auf einem beliebigen algebraisch geschlossenen Feld des Merkmals Null) ).
Der zweite liefert einen probabilistischen mehrzeitigen Monte-Carlo-Algorithmus für dasselbe Problem.
Können diese Ergebnisse auf einen algebraischen Abschluss eines endlichen Feldes ausgedehnt werden?
Soweit ich weiß, ist dies möglich, da Hilberts Nullstellensatz-Problem auch in diesem Fall zu PSPACE gehört . Der Satz von Heintz und Schnorr gilt auch für Felder beliebiger Eigenschaften ...