SPACE-EFFICIENT CLASSICAL AND QUANTUM ALGORITHMS FOR THE SHORTEST VECTOR PROBLEM

被引:0
|
作者
Chen, Yanlin [1 ]
Chung, Kai-Min [1 ]
Lai, Ching-Yi [1 ]
机构
[1] Acad Sinica, Inst Informat Sci, Taipei, Taiwan
关键词
shortest vector problem; bounded distance decoding; quantum computation; Grover search; LATTICE PROBLEMS; REDUCTION; HARDNESS;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
A lattice is the integer span of some linearly independent vectors. Lattice problems have many significant applications in coding theory and cryptographic systems for their conjectured hardness. The Shortest Vector Problem (SVP), which asks to find a shortest nonzero vector in a lattice, is one of the well-known problems that are believed to be hard to solve, even with a quantum computer. In this paper we propose space-efficient classical and quantum algorithms for solving SVP. Currently the best time-efficient algorithm for solving SVP takes 2(n+o(n)) time and 2(n+o(n)) space. Our classical algorithm takes 2(2.05n+o(n)) time to solve SVP and it requires only 2(0.5n+o(n)) space. We then adapt our classical algorithm to a quantum version, which can solve SVP in time 2(1.2553n+o(n)) with 2(0.5n+o(n)) classical space and only poly(n) qubits.
引用
收藏
页码:283 / 305
页数:23
相关论文
共 50 条
  • [41] A Space-Efficient Algorithm for the Dynamic DFS Problem in Undirected Graphs
    Nakamura, Kengo
    Sadakane, Kunihiko
    WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 2017, 10167 : 295 - 307
  • [42] Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
    Aravind, Alex A.
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 73 (08) : 1029 - 1038
  • [43] Space-Efficient and Output-Sensitive Implementations of Greedy Algorithms on Intervals
    Saitoh, Toshiki
    Kirkpatrick, David G.
    WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 2017, 10167 : 320 - 332
  • [44] Faster Space-Efficient Algorithms for Subset Sum and k-Sum
    Bansal, Nikhil
    Garg, Shashwat
    Nederlof, Jesper
    Vyas, Nikhil
    STOC'17: PROCEEDINGS OF THE 49TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2017, : 198 - 209
  • [45] Faster Provable Sieving Algorithms for the Shortest Vector Problem and the Closest Vector Problem on Lattices in lp Norm
    Mukhopadhyay, Priyanka
    ALGORITHMS, 2021, 14 (12)
  • [46] Not-so-adiabatic quantum computation for the shortest vector problem
    Joseph, David
    Ghionis, Alexandros
    Ling, Cong
    Mintert, Florian
    PHYSICAL REVIEW RESEARCH, 2020, 2 (01):
  • [47] Efficient solution algorithms for the Bounded Acceleration Shortest Path problem
    Ardizzoni, Stefano
    Consolini, Luca
    Laurini, Mattia
    Locatelli, Marco
    2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 5729 - 5734
  • [48] Space-Efficient Manifest Contracts
    Greenberg, Michael
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 181 - 194
  • [49] Space-efficient gradual typing
    Herman D.
    Tomb A.
    Flanagan C.
    Higher-Order and Symbolic Computation, 2010, 23 (02) : 167 - 189
  • [50] SPACE-EFFICIENT PARALLEL MERGING
    KATAJAINEN, J
    LEVCOPOULOS, C
    PETERSSON, O
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1993, 27 (04): : 295 - 310