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
Computation by Self-assembly of DNA Graphs
Genetic Programming and Evolvable Machines
Natural Computing: an international journal
Complexities for generalized models of self-assembly
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Invadable self-assembly: combining robustness with efficiency
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Reducing tile complexity for self-assembly through temperature programming
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Complexity of graph self-assembly in accretive systems and self-destructible systems
DNA'05 Proceedings of the 11th international conference on DNA Computing
Complexity of compact proofreading for self-assembled patterns
DNA'05 Proceedings of the 11th international conference on DNA Computing
A computational model for self-assembling flexible tiles
UC'05 Proceedings of the 4th international conference on Unconventional Computation
Error free self-assembly using error prone tiles
DNA'04 Proceedings of the 10th international conference on DNA computing
A method of error suppression for self-assembling DNA 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
Programmable control of nucleation for algorithmic self-assembly
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
Complexity classes for self-assembling flexible tiles
Theoretical Computer Science
Robust self-assembly of graphs
Natural Computing: an international journal
Hi-index | 0.00 |
We study the complexity of the Accretive Graph Assembly Problem ( $${\tt{AGAP}}$$ ). An instance of $${\tt{AGAP}}$$ consists of an edge-weighted graph G, a seed vertex in G, and a temperature 驴. The goal is to determine if the graph G can be assembled by a sequence of vertex additions starting from the seed vertex. The edge weights model the forces of attraction and repulsion, and determine which vertices can be added to a partially assembled graph at the given temperature. A vertex can be added when the total weight to its already built neighbors in the graph is at least 驴. The assembly process is sequential meaning that only one vertex can be added at a time. Our first result is that $${\tt{AGAP}}$$ is NP-complete even on planar graphs with maximum degree 3 when edges have only two different types of weights. This resolves the complexity of $${\tt{AGAP}}$$ in the sense that the problem is poly-time solvable when either the maximum degree is at most 2 or the number of distinct edge weights is one, and is NP-complete otherwise. Our second result is a dichotomy theorem that completely characterizes the complexity of $${\tt{AGAP}}$$ on graphs with maximum degree 3 and two distinct weights: w p and w n . We give a simple system of linear constraints on w p , w n , and 驴 that determines whether the problem is NP-complete or is poly-time solvable. In the process of establishing this dichotomy, we give a poly-time algorithm to solve a non-trivial class of $${\tt{AGAP}}.$$ Finally, we consider the optimization version of $${\tt{AGAP}}$$ where the goal is to assemble a largest-possible induced subgraph of the given input graph. We show that even on graphs that can be assembled and have maximum degree 3, it is NP-hard to assemble a (1/n 1-驴)-fraction of the input graph for any $$\varepsilon 0;$$ here n denotes the number of vertices in G.