SETH-Hardness of Coding Problems

We show that assuming the strong exponential-Time hypothesis (SETH), there are no non-Trivial algorithms for the nearest codeword problem (NCP), the minimum distance problem (MDP), or the nearest codeword problem with preprocessing (NCPP) on linear codes over any finite field. More precisely, we sho...

Full description

Bibliographic Details
Main Authors: Stephens-Davidowitz, Noah (Author), Vaikuntanathan, Vinod (Author)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2021-03-03T15:15:20Z.
Subjects:
Online Access:Get fulltext
LEADER 01265 am a22001813u 4500
001 130061
042 |a dc 
100 1 0 |a Stephens-Davidowitz, Noah  |e author 
700 1 0 |a Vaikuntanathan, Vinod  |e author 
245 0 0 |a SETH-Hardness of Coding Problems 
260 |b Institute of Electrical and Electronics Engineers (IEEE),   |c 2021-03-03T15:15:20Z. 
856 |z Get fulltext  |u https://hdl.handle.net/1721.1/130061 
520 |a We show that assuming the strong exponential-Time hypothesis (SETH), there are no non-Trivial algorithms for the nearest codeword problem (NCP), the minimum distance problem (MDP), or the nearest codeword problem with preprocessing (NCPP) on linear codes over any finite field. More precisely, we show that there are no NCP, MDP, or NCPP algorithms running in time q (1-ϵ)n for any constant ϵ>0 for codes with qn codewords. (In the case of NCPP, we assume non-uniform SETH.) We also show that there are no sub-exponential time algorithms for γ-Approximate versions of these problems for some constant γ > 1, under different versions of the exponential-Time hypothesis. 
520 |a NSF-BSF (Grant 1718161) 
520 |a NSF (Award 1350619) 
546 |a en 
655 7 |a Article 
773 |t 2019 IEEE 60th Annual Symposium on Foundations of Computer Science