4.13 Summary
In this chapter we have emphasized the rôle that complexity considerations are likely to play in the identification of “killer applications” for DNA computation. We have examined how time complexities have been estimated within the literature. We have shown that these are often likely to be inadequate from a realistic point of view. In particular, many authors implicitly assume that arbitrarily large numbers of laboratory assistants or robotic arms are available for the mechanical handling of tubes of DNA. This has often led to serious underestimates of the resources required to complete a computation.
We have proposed a so-called strong model of DNA computation, which we believe allows realistic assessment of the time complexities of algorithms within it. This model, if the splice operation is trivially included, not only provides realistic estimates of time complexities, but is also Turing-complete. We have also demonstrated how existing models of computation (Boolean circuits and the P-RAM) may be effectively simulated in DNA.
We believe that success in the search for “killer applications” is the only means by which there will be sustained practical interest in DNA computation. Success is only a likely outcome if DNA computations can be described that will require computational resources of similar magnitude to those required by conventional solutions. If, for example, we were to establish polylogarithmic time computations using only a polynomial volume of DNA, then this would be one scenario in which “killer applications” might well ensue. In this case, we might imagine that the vast potential for parallelisation may finally be effectively harnessed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
4.14 Bibliographical Notes
Alan Gibbons and Paul Spirakis, editors. Lectures in Parallel Computation. Cambridge University Press, 1993.
Michael Sipser. Introduction to the Theory of Computation. PWS Publishing, 1997.
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2005). Complexity Issues. In: Theoretical and Experimental DNA Computation. Natural Computing Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-28131-2_5
Download citation
DOI: https://doi.org/10.1007/3-540-28131-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65773-6
Online ISBN: 978-3-540-28131-3
eBook Packages: Computer ScienceComputer Science (R0)