Efficient 3-SAT algorithms in the tile assembly model

• Authors: Yuriy Brun
• Venue: Natural Computing: an international journal
• Year: 2012

Self-assembly is a powerful process found in nature that guides simple objects assembling, on their own, into complex structures. Self-assembly is of interest to computer scientists because self-assembling systems can compute functions, assemble shapes, and guide distributed robotics systems. The tile assembly model is a formal mathematical model of self-assembly that allows the study of time and space complexities of self-assembling systems that lie at the heart of several molecular computer implementations and distributed computational software systems. These implementations and systems require efficient tile systems with small tilesets and fast execution times. The state of the art, however, requires vastly complex tile systems with large tilesets to implement fast algorithms. In this paper, I present $${\mathbb{S}}_{FS},$$ a tile system that decides 3-SAT by creating $$O^{\star}(1.8393^n)$$ nondeterministic assemblies in parallel, improving on the previous best known solution that requires $$\Uptheta(2^n)$$ such assemblies. This solution directly improves the feasibility of building molecular 3-SAT solvers and efficiency of distributed software. I formally prove the correctness of the system, the number of required parallel assemblies, that the size of the system's tileset is $$147 = \Uptheta(1),$$ and that the assembly time is nondeterministic linear in the size of the input.