The program-size complexity of self-assembled squares (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Running time and program size for self-assembled squares
STOC '01 Proceedings of the thirty-third 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
Introduction to the Theory of Computation
Introduction to the Theory of Computation
On the Decidability of Self-Assembly of Infinite Ribbons
FOCS '02 Proceedings of the 43rd Symposium on Foundations of Computer Science
Algorithmic self-assembly of dna
Algorithmic self-assembly of dna
Complexities for Generalized Models of Self-Assembly
SIAM Journal on Computing
Reducing tile complexity for self-assembly through temperature programming
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Arithmetic computation in the tile assembly model: Addition and multiplication
Theoretical Computer Science
A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
An Architectural Style for Solving Computationally Intensive Problems on Large Networks
ICSEW '07 Proceedings of the 29th International Conference on Software Engineering Workshops
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Nondeterministic polynomial time factoring in the tile assembly model
Theoretical Computer Science
Self-correcting self-assembly: growth models and the hammersley process
DNA'05 Proceedings of the 11th international conference on DNA Computing
DNA'04 Proceedings of the 10th international conference on DNA computing
Error free self-assembly using error prone tiles
DNA'04 Proceedings of the 10th international conference on DNA computing
Compact error-resilient computational DNA tiling assemblies
DNA'04 Proceedings of the 10th international conference on DNA computing
Complexity of self-assembled shapes
DNA'04 Proceedings of the 10th international conference on DNA computing
Solving satisfiability in the tile assembly model with a constant-size tileset
Journal of Algorithms
Path finding in the tile assembly model
Theoretical Computer Science
Crystal-growth-inspired algorithms for computational grids
BADS '09 Proceedings of the 2009 workshop on Bio-inspired algorithms for distributed systems
Application of DNA Computing by Self-assembly on 0-1 Knapsack Problem
ISNN 2009 Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III
Picture Languages: From Wang Tiles to 2D Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Constant-size tileset for solving an NP-complete problem in nondeterministic linear time
DNA13'07 Proceedings of the 13th international conference on DNA computing
Improving efficiency of 3-SAT-solving tile systems
DNA'10 Proceedings of the 16th international conference on DNA computing and molecular programming
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
Efficient 3-SAT algorithms in the tile assembly model
Natural Computing: an international journal
Programming and evolving physical self-assembling systems in three dimensions
Natural Computing: an international journal
A molecular solution for minimum vertex cover problem in tile assembly model
The Journal of Supercomputing
Hi-index | 5.23 |
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules or a large computer network such as the Internet. Previously, I defined deterministic and nondeterministic computation in the tile assembly model and showed how to add, multiply and factor. Here, I extend the notion of computation to include deciding subsets of the natural numbers, and present a system that decides SubsetSum, a well-known NP-complete problem. The computation is nondeterministic and each parallel assembly executes in time linear in the input. The system requires only a constant number of different tile types: 49. I describe mechanisms for finding the successful solutions among the many parallel assemblies and explore bounds on the probability of such a nondeterministic system succeeding and prove that probability can be made arbitrarily close to one.