10.2.2 最短向量问题