Hilbert 带状多面体与通用 Grobner 基的多项式时间算法
组合数学
2007-05-23 v1 符号计算
代数几何
摘要
我们给出一种多项式时间算法，用于计算任意在固定变量个数下具有有限公共零点集的多项式理想的通用 Gröbner 基。我们算法的一个要素是有效地构造 Hilbert 概型 Hilb^d_n 上任意 n 长 d 变元理想的态多面体的构造，这通过引入 Hilbert 带状多面体 H^d_n 并证明其同时加细 Hilb^d_n 上所有理想的态多面体而实现。
引用
@article{arxiv.math/0207135,
title = {The Hilbert Zonotope and a Polynomial Time Algorithm for Universal Grobner Bases},
author = {Eric Babson and Shmuel Onn and Rekha Thomas},
journal= {arXiv preprint arXiv:math/0207135},
year = {2007}
}