欧几里得空间中最短向量问题的NP难度

van Emde Boas（1981）猜想，计算欧几里得空间中格的最短非零向量是NP难的。在本文中，我们证明了这个猜想是正确的，从而去随机化了Ajtai（1998）的经典随机性结果。我们的证明建立在Bennet-Peifert（2023）通过Reed-Solomon码构造局部稠密格的工作之上，并关键地依赖于Deligne关于有限域上高维簇的Weil猜想的工作。