We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.ET

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Emerging Technologies

Title: Small tile sets that compute while solving mazes

Abstract: We ask the question of how small a self-assembling set of tiles can be yet have interesting computational behaviour. We study this question in a model where supporting walls are provided as an input structure for tiles to grow along: we call it the Maze-Walking Tile Assembly Model. The model has a number of implementation prospects, one being DNA strands that attach to a DNA origami substrate. Intuitively, the model suggests a separation of signal routing and computation: the input structure (maze) supplies a routing diagram, and the programmer's tile set provides the computational ability. We ask how simple the computational part can be.
We give two tiny tile sets that are computationally universal in the Maze-Walking Tile Assembly Model. The first has four tiles and simulates Boolean circuits by directly implementing NAND, NXOR and NOT gates. Our second tile set has 6 tiles and is called the Collatz tile set as it produces patterns found in binary/ternary representations of iterations of the Collatz function. Using computer search we find that the Collatz tile set is expressive enough to encode Boolean circuits using blocks of these patterns. These two tile sets give two different methods to find simple universal tile sets, and provide motivation for using pre-assembled maze structures as circuit wiring diagrams in molecular self-assembly based computing.
Comments: 18 pages. 7 figures. 1 appendix. To appear at the 27th International Conference on DNA Computing and Molecular Programming (DNA27)
Subjects: Emerging Technologies (cs.ET); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
ACM classes: F.1; F.1.1; F.1.2; F.1.3
Cite as: arXiv:2106.12341 [cs.ET]
  (or arXiv:2106.12341v1 [cs.ET] for this version)

Submission history

From: Tristan Stérin [view email]
[v1] Wed, 23 Jun 2021 12:15:38 GMT (984kb,D)

Link back to: arXiv, form interface, contact.