私はラティス問題の専門家ではありませんが、厳密な問題である最短ベクトル問題(SVP)がNP困難であることは知っています。この論文では、Schnorrは整数因数分解をある形式のClosest Vector Problem( -CVP)の近似バージョンに削減しているように見えます。ここで、CVPはSVPの一般化です。ただし、これについては既知の多項式時間アルゴリズムがあるとは思いません。γ
-CVP に関するいくつかの既知の事実:γ
Aroraら(PDF)は、定数内で最も近いベクトルを近似することはNP困難であることを示しています。
また、場合、多項式時間で係数内で最も近いベクトルを近似できる場合、そうすれば、NPの問題は準多項式時間で解決できます。2 ログ1ϵ>02log12−ϵn
Dinur、et al(ACM Citation)は、後で近似不可能性の結果を次のように強化しました。
ため、約倍以内、最も近いベクトルを見つけることは NP困難です。n ϵϵ>0nϵloglogn
私はシュノーアの研究に不慣れですが、ラティスの問題について私たちが知っていることは、これが多項式時間アルゴリズムに直接つながることを意図していないと私に信じさせるでしょう。むしろ、Schnorrは実際の実装について話すことにかなりの時間を費やしています(たとえば、このようなコンピュータでこのプログラムを実行するには、およそ何週間/月/数年/何年もかかります)。
PS Sureshが指摘しているように、複雑さにもかかわらず、整数分解のための「十分に速い」または「より速い」実行時間を得るための努力のようです。
PPSそして私がさらに推測をすることができるならば:Schnorrの論文が格子問題を近似することの硬さに関する研究より前にあったことを考えると、それが整数因数分解の多項式時間アルゴリズムにつながったかもしれないという当初の希望があった可能性が高いです ただし、AroraらおよびDinurらを考慮すると、そのルートに沿った解決策(または少なくとも簡単な解決策)がないことは明らかです。