Shortest vector problem