一个有效的Bézieri-Vaaler引理
An Efficient Version of the Bombieri-Vaaler Lemma
摘要：
在他们著名的论文“论西格尔引理”，Bengeri和Vaaler发现了一个上界的高度整数解的系统的线性丢番图方程。然而，直接计算边界需要指数时间。在本文中，我们提出了一个不同的形式，可以在多项式时间内计算的界限。我们也给一个基本的（可以说是更简单的）证明的界限。
英文摘要：
In their celebrated paper "On Siegel's Lemma", Bombieri and Vaaler found an upper bound on the height of integer solutions of systems of linear Diophantine equations. Calculating the bound directly, however, requires exponential time. In this paper, we present the bound in a different form that can be computed in polynomial time. We also give an elementary (and arguably simpler) proof for the bound.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
