计算数域整数环上模的 Hermite 标准型的多项式时间算法
符号计算
2012-04-06 v1 计算复杂性
数论
摘要
我们提出了一种用于计算 -模的 Hermite 标准型（Hermite Normal Form）的模算法变体，该算法由 Cohen 提出，其中 是数域 K 的整数环。Cohen 曾猜想该模策略在多项式时间内运行，但迄今为止，文献中尚无此类证明。在本文中，我们提供了一种防止系数爆炸的新方法，并严格评估了其相对于输入规模和域 K 不变量的复杂度。
引用
@article{arxiv.1204.1298,
title = {A polynomial time algorithm for computing the HNF of a module over the integers of a number field},
author = {Jean-François Biasse and Claus Fieker},
journal= {arXiv preprint arXiv:1204.1298},
year = {2012}
}
备注
11 pages