The program-size complexity of self-assembled squares (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Combinatorial optimization problems in self-assembly
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Complexity of Self-Assembled Shapes
SIAM Journal on Computing
Limitations of self-assembly at temperature 1
Theoretical Computer Science
Temperature 1 self-assembly: deterministic assembly in 3D and probabilistic assembly in 2D
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Hi-index | 0.00 |
Self-assembly is an autonomous process by which small simple parts assemble into larger and more complex objects. Self-assembly occurs in nature, for example, when atoms combine to form molecules, and molecules combine to form crystals. It has been suggested that intricate self-assembly schemes will ultimately be useful for circuit fabrication, nanorobotics, DNA computing, and amorphous computing [2, 7]. To study the process of self-assembly we use the Tile Assembly Model proposed by Rothemund and Winfree [5]. This model considers the assembly of square blocks called "tiles" and a set of glues called "binding domains". Each binding domain has a strength. Each of the four sides of a tile can have a glue on it that determines interactions with neighbouring tiles. The two neighbouring tiles form a bond if the binding domains on the touching sides are the same. The strength of this bond is the strength of the matching binding domain. The process of self-assembly is initiated by a single seed tile and proceeds by attaching tiles one by one. A tile can only attach to the growing complex if it binds strongly enough, i.e., if the sum of the strengths of its bonds to the existing complex is at least the temperature τ. It is assumed that there is an infinite supply of tiles of each tile type. When this growing process stops, i.e., no tile can be attached to the existing complex, we say that the tile system has assembled this shape. A tile system is specified by the seed tile, the set of tile types, the strengths of glues and the temperature. The physical plausibility and relevance of this abstraction was demonstrated by simple self-assembling systems of tiles built out of certain types of DNA molecules [3, 4]. In this paper we only consider self-assembly at temperature τ = 1. Self-assemblies at temperature τ 1 have been considered in [5, 6, 1]. A measure of complexity of self-assembly is the minimum number of distinct tile types needed to uniquely assemble a certain shape (assembles the shape but does not assemble any other shape). If we want to assemble any scaled version of a given shape, then the complexity depends on the expressibility (Kolmogorov complexity) of the shape [6]. If we want to assemble a given shape with a prescribed size, then in [5] it was observed that assembling an N x N full square (a square where there is a bond between any two adjacent tiles) at τ = 1 requires N2 distinct tile types. In fact, one can see that any uniquely produced 2-connected full assembly with p tiles requires p tile types (all tiles must be distinct). If we do not require a bond between every two adjacent tiles of a uniquely produced assembly the number of used tile types can be significantly smaller. In particular, in [5] a tile system that uniquely assembles an N x N square using only 2N - 1 tile types was described. The construction is based on a comb-like backbone graph of the N x N square. Moreover, it was conjectured in [5] that this is best possible.