A Deterministic Reduction for the Gap Minimum Distance Problem

Determining the minimum distance of a linear code is one of the most important problems in algorithmic coding theory. The exact version of the problem was shown to be NP-complete by Vardy. The gap version of the problem was shown to be NP-hard for any constant factor under a randomized reduction in...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on information theory Ročník 58; číslo 11; s. 6935 - 6941
Hlavní autoři: Cheng, Qi, Wan, Daqing
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York, NY IEEE 01.11.2012
Institute of Electrical and Electronics Engineers
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
ISSN:0018-9448, 1557-9654
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Determining the minimum distance of a linear code is one of the most important problems in algorithmic coding theory. The exact version of the problem was shown to be NP-complete by Vardy. The gap version of the problem was shown to be NP-hard for any constant factor under a randomized reduction in an earlier work. It was shown in the same paper that the minimum distance problem is not approximable in randomized polynomial time to the factor 2 log1-ϵ n unless NP ⊆ RTIME (2polylog(n) ). In this paper, we derandomize the reduction and thus prove that there is no deterministic polynomial time algorithm to approximate the minimum distance to any constant factor unless P = NP . We also prove that the minimum distance is not approximable in deterministic polynomial time to the factor 2 log1-ϵ n unless NP ⊆ DTIME (2polylog(n) ). As the main technical contribution, for any constant 2/3 <; ρ <; 1, we present a deterministic algorithm that given a positive integer s , runs in time poly ( s ) and constructs a code C of length poly ( s ) with an explicit Hamming ball of radius ρ d ( C ), such that the projection at the first s coordinates sends the codewords in the ball surjectively onto a linear subspace of dimension s , where d ( C ) denotes the minimum distance of C . The codes are obtained by concatenating Reed-Solomon codes with Hadamard codes.
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:0018-9448
1557-9654
DOI:10.1109/TIT.2012.2209198