Computer Science – Computational Complexity
Scientific paper
2004-12-21
SIAM Journal on Computing 36 (6) 1544-1569, 2007
Computer Science
Computational Complexity
Extended abstract appears in DNA Computing 10; this is the full version and will be submitted elsewhere. 25 pages
Scientific paper
10.1137/S0097539704446712
The connection between self-assembly and computation suggests that a shape can be considered the output of a self-assembly ``program,'' a set of tiles that fit together to create a shape. It seems plausible that the size of the smallest self-assembly program that builds a shape and the shape's descriptional (Kolmogorov) complexity should be related. We show that when using a notion of a shape that is independent of scale, this is indeed so: in the Tile Assembly Model, the minimal number of distinct tile types necessary to self-assemble a shape, at some scale, can be bounded both above and below in terms of the shape's Kolmogorov complexity. As part of the proof of the main result, we sketch a general method for converting a program outputting a shape as a list of locations into a set of tile types that self-assembles into a scaled up version of that shape. Our result implies, somewhat counter-intuitively, that self-assembly of a scaled-up version of a shape often requires fewer tile types. Furthermore, the independence of scale in self-assembly theory appears to play the same crucial role as the independence of running time in the theory of computability. This leads to an elegant formulation of languages of shapes generated by self-assembly. Considering functions from integers to shapes, we show that the running-time complexity, with respect to Turing machines, is polynomially equivalent to the scale complexity of the same function implemented via self-assembly by a finite set of tile types. Our results also hold for shapes defined by Wang tiling -- where there is no sense of a self-assembly process -- except that here time complexity must be measured with respect to non-deterministic Turing machines.
Soloveichik David
Winfree Erik
No associations
LandOfFree
Complexity of Self-Assembled Shapes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Complexity of Self-Assembled Shapes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Complexity of Self-Assembled Shapes will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-121289