Die Arbeit untersucht die Lösungsgrade und das Verhalten der Berechnung von Gröbner-Basen für affine semi-reguläre und affine kryptographisch semi-reguläre Polynomfolgen.
Zunächst wird das Hilbert-Funktional und die Hilbert-Poincaré-Reihe der Homogenisierung F^h charakterisiert. Dies ist nützlich für die Analyse der Gröbner-Basis-Berechnung sowohl für F als auch für F^h.
Es werden obere Schranken für den Lösungsgrad von F^h hergeleitet. Außerdem werden detaillierte Ergebnisse zur Berechnung reduzierter Gröbner-Basen von ⟨F⟩, ⟨F^h⟩ und ⟨F^top⟩ präsentiert, insbesondere für Graddegree kleiner als den Grad der Regularität.
Schließlich wird gezeigt, dass es einen Buchberger-ähnlichen Algorithmus A gibt, dessen Lösungsgrad sdA_≺(F) durch 2D-1 nach oben beschränkt ist, wobei D den Grad der Regularität von ⟨F^top⟩ bezeichnet.
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問