Locally decodable codes (LDC) [1,9] are error correcting codes that allow decoding (any) individual symbol of the message, by reading only few symbols of the codeword. LDC’s, originally considered in the setting of PCP’s [1], have found other additional applications in theory of CS, such as PIR in cryptography, generating a lot of fascinating work (see [12] and references within). In one straightforward practical application to storage, such codes provide enormous efficiency gains over standard error correcting codes (ECCs), that need to read the entire encoded message to learn even a single bit of the encoded message. Typically, LDC’s, as well as standard ECC’s are designed to decode the encoded message if up to some bounded fraction of the symbols had been modified. This corresponds to decoding strings of bounded Hamming distance from a valid codeword. A stronger natural metric is the edit distance, measuring the shortest sequence of insertions and deletions (indel.) of symbols leading from one word to another. Standard ECC’s for edit distance have been previously considered [11]. Furthermore, [11] devised codes with rate and distance (error tolerance) optimal up to constants, with efficient encoding and decoding procedures. However, combining these two useful settings of LDC, and robustness against indel. errors has never been considered.
[1]
Jonathan Katz,et al.
On the efficiency of local decoding procedures for error-correcting codes
,
2000,
STOC '00.
[2]
G. Church,et al.
Next-Generation Digital Information Storage in DNA
,
2012,
Science.
[3]
M. Luby,et al.
Asymptotically Good Codes Correcting Insertions, Deletions, and Transpositions
,
1999
.
[4]
Ronitt Rubinfeld,et al.
Spot-Checkers
,
2000,
J. Comput. Syst. Sci..
[5]
Giuseppe F. Italiano,et al.
Sorting and searching in the presence of memory faults (without redundancy)
,
2004,
STOC '04.
[6]
Sergey Yekhanin,et al.
Locally Decodable Codes
,
2012,
Found. Trends Theor. Comput. Sci..
[7]
Sergey Yekhanin,et al.
Locally Decodable Codes and Private Information Retrieval Schemes
,
2010,
Information Security and Cryptography.
[8]
Oded Goldreich,et al.
Short Locally Testable Codes and Proofs (Survey)
,
2005,
Electron. Colloquium Comput. Complex..
[9]
Joel H. Spencer,et al.
Coping with errors in binary search procedures (Preliminary Report)
,
1978,
STOC.
[10]
Leonid A. Levin,et al.
Checking computations in polylogarithmic time
,
1991,
STOC '91.
[11]
Rafail Ostrovsky,et al.
Public Key Locally Decodable Codes with Short Keys
,
2011,
APPROX-RANDOM.