Abstract
We present an efficient algorithm for determining whether all moleculesin a combinatorial set of DNA or RNA strandsare structure free, and thus availablefor bonding to their Watson-Crick complements.This work is motivated by the goalof testing whether strands used in DNAcomputations or as molecular bar-codesare structure free, where the strands areconcatenations of short words. We alsopresent an algorithm for determining whetherall words in S*, for some finite setS of equi-length words, are structure free.
Similar content being viewed by others
References
Adleman LM (1994) Molecular computation of solutions to combinatorial problems. Science 266(11): 1021–1024
Andronescu M, Aguirre-Hernandez R, Condon A and Hoos HH (2003) RNAsoft: a suite of RNA secondary structure prediction and design software tools. Nucleic Acids Research 31: 13, to appear
Braich RS, Johnson C, Rothemund PWK, Hwang D, Chelyapov N and Adleman LM (2000) Solution of a satisfiability problem on a gel-based DNA computer. In: Proceedings of the 6th International Conference on DNA Computation. Springer-Verlag LNCS, 2054, pp. 27–41
Braich RS, Chelyapov N, Johnson C, Rothemund PWK and Adleman LM (2002) Solution of a 20-variable 3-SAT Problem on a DNA computer. Science 296: 499–502
Brenner S, Williams RS, Vermaas EH, Storck T, Moon K, McCollum C, Mao J-I, Luo S, Kirchner JJ, Eletr S, DuBridge RB, Burcham T and Albrecht G (2000) In vitro cloning of complex mixtures of DNA on microbeads: physical separation of deferentially expressed cDNAs. Proc. Natl. Acad. Sci. USA 97(4): 1665–1670, 15 February
Cohen B and Skiena S (2002) Designing RNA sequences: natural and artificial selection. In: Proc. 6th Int. Conf. Computational Molecular Biology (RECOMB), pp. 109–116
Faulhammer D, Cukras AR, Lipton RJ and Landweber LF (2000) Molecular computation: RNA solutions to chess problems. Proc. Natl. Acad. Sci. USA 97: 1385–1389
Frutos AG, Liu Q, Thiel AJ, Sanner AMW, Condon AE, Smith LM and Corn RM (1997) Demonstration of a word design strategy for DNA computing on surfaces. Nucleic Acids Research 25: 4748–4757
Hartemink AJ and Gifford DK (1997) Thermodynamic simulation of deoxyoligonucleotide hybridization. Prel. Proc. 3rd DIMACSWorkshop on DNA Based Computers, 23-27 June, pp. 15–25
Hofacker IL, Fontana W, Stadler PF, Bonhoeffer LS, Tacker M and Schuster P (1994) Fast folding and comparison of RNA secondary structures. Monatsh. Chem. 125: 167–188
Hopcroft JE and Ullman JD (1979) Introduction to Automata Theory, Languages, and Computation. Addison-Wesley
Lipton R (1995) DNA solution of hard computational problems. Science 268: 542–545
Lyngsø RB, Zuker M and Pedersen CNS (1999) Internal loops in RNA secondary structure prediction. In Proc. Third International Conference in Computational Molecular Biology, April, pp. 260–267
McCaskill JS (1990) The equilibrium partition function and base pair binding probabilities for RNA secondary structure. Biopolymers 29: 1105–1119
Rose JA, Deaton R, Franceschetti DR, Garzon M and Stevens Jr SE (1999) A statistical mechanical treatment of error in the annealing biostep of DNA computation. Special program in DNA and Molecular Computing, Genetic and Evolutionary Computation Conference (GECCO-99). Morgan Kaufmann, 13-17 July
Rose JA and Deaton RJ (2000) The fidelity of Annealing-ligation: a theoretical analysis. In Proc. 6th Intl. Workshop on DNA-Based Computers, June. Springer-Verlag LNCS, 2054, pp. 231–246
SantaLucia Jr J (1998) A unified view of polymer, dumbell, and oligonucleotide DNA nearestneighbor thermodynamics. Proc. Natl. Acad. Sci. USA 95: 1460–1465
Serra MJ, Turner DH and Freier SM (1995) Predicting thermodynamic properties of RNA. Meth. Enzymol. 259: 243–261
Zuker M and Steigler P (1981) Optimal computer folding of large RNA sequences using thermodynamics and auxiliary information. Nucleic Acids Research 9: 133–148
Zuker M, Mathews DH and Turner DH (1999) Algorithms and thermodynamics for RNA secondary structure prediction: a practical guide. In: Barciszewski J and Clark BFC (eds) RNA Biochemistry and Biotechnology, pp. 11–43. NATO ASI Series, Kluwer Academic Publishers, Dordrecht, NL
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Andronescu, M., Dees, D., Slaybaugh, L. et al. Algorithms for testing that sets of DNA words concatenate without secondary structure. Natural Computing 2, 391–415 (2003). https://doi.org/10.1023/B:NACO.0000006770.91995.ec
Issue Date:
DOI: https://doi.org/10.1023/B:NACO.0000006770.91995.ec