Physics > Biological Physics
[Submitted on 31 Mar 2022]
Title:Solving the 3-SAT problem using network-based biocomputation
View PDFAbstract:The 3-Satisfiability Problem (3-SAT) is a demanding combinatorial problem, of central importance among the non-deterministic polynomial (NP) complete problems, with applications in circuit design, artificial intelligence and logistics. Even with optimized algorithms, the solution space that needs to be explored grows exponentially with increasing size of 3-SAT instances. Thus, large 3-SAT instances require excessive amounts of energy to solve with serial electronic computers. Network-based biocomputation (NBC) is a multidisciplinary parallel computation approach with drastically reduced energy consumption. NBC uses biomolecular motors to propel cytoskeletal filaments through nanofabricated networks that encode the mathematical problems. By stochastically exploring possible paths through the networks, the cytoskeletal filaments find possible solutions to the encoded problem instance. Here we first report a novel algorithm that converts 3-SAT into NBC-compatible network format. We demonstrate that this algorithm works in practice, by experimentally solving four small 3-SAT instances (with up to 3 variables and 5 clauses) using the actin-myosin biomolecular motor system. This is a key step towards the broad general applicability of NBC because polynomial conversions to 3-SAT exist for a wide set of important NP-complete problems.
Current browse context:
physics.bio-ph
Change to browse by:
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.