## Abstract

This paper investigates the problem of testing whether a set of code words satisfies certain biologically motivated Hamming distance constraints. The paper provides three efficient techniques to verify the code words, namely, the Enumeration, Table Lookup, and Encoding methods, with applications to the design of DNA words. The Enumeration method enumerates all combinations of positions in a word, so that all the words in a set can be compared simultaneously and the testing process is improved. The Table Lookup method constructs a data table and divide each word into sub-words to reduce the time complexity of the testing process. The Encoding method which is similar to Table Lookup method uses a linked list to store necessary information in addition. The proposed methods run in O(n) - O(log log n) times faster than the naive method when l = O(log n), where n is the number of code words in a set and l is the length of a word.

Original language | English (US) |
---|---|

Pages (from-to) | 333-346 |

Number of pages | 14 |

Journal | Journal of Information Science and Engineering |

Volume | 26 |

Issue number | 2 |

State | Published - Mar 2010 |

## Keywords

- Code word verification
- Distance constraint
- Dna verification
- Dna word design
- Testing algorithm

## ASJC Scopus subject areas

- Software
- Human-Computer Interaction
- Hardware and Architecture
- Library and Information Sciences
- Computational Theory and Mathematics