有效代数几何中消元问题的内在复杂性
计算复杂性
2012-04-26 v2
摘要
通过算术电路对多项式进行求值表示是一种替代数据结构，它在过去十五年中推动了多项式方程求解的显著进展。我们提出了一种基于电路的计算模型，该模型涵盖了有效代数几何中所有已知的符号消元算法，并证明了在此复杂度模型下消元具有内在的指数级复杂性特征。
引用
@article{arxiv.1201.4344,
title = {On the intrinsic complexity of elimination problems in effective Algebraic Geometry},
author = {Joos Heintz and Bart Kuijpers and Andres Rojas Paredes},
journal= {arXiv preprint arXiv:1201.4344},
year = {2012}
}
备注
37 pages. arXiv admin note: substantial text overlap with arXiv:1110.3030