Formal languages
Contextual insertions/deletions and computability
Information and Computation
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computation in Living Cells: Gene Assembly in Ciliates (Natural Computing Series)
Computation in Living Cells: Gene Assembly in Ciliates (Natural Computing Series)
Solving SAT and HPP with accepting splicing systems
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Computing through gene assembly
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Hi-index | 0.00 |
We investigate here the computational efficiency of gene rearrangement found in ciliates (unicellular organisms). We show how the so-called guided recombination systems, which model this gene rearrangement, can be used as problem solvers. Specifically, these systems can uniformly solve SAT with time complexity O(n ˙ m) for a Boolean formula of m clauses over n variables.