A Linearithmic Time Algorithm for a Shortest Vector Problem in