We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computational Complexity

New submissions

[ total of 4 entries: 1-4 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 24 Jun 21

[1]  arXiv:2106.12341 [pdf, other]
Title: Small tile sets that compute while solving mazes
Comments: 18 pages. 7 figures. 1 appendix. To appear at the 27th International Conference on DNA Computing and Molecular Programming (DNA27)
Subjects: Emerging Technologies (cs.ET); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

We ask the question of how small a self-assembling set of tiles can be yet have interesting computational behaviour. We study this question in a model where supporting walls are provided as an input structure for tiles to grow along: we call it the Maze-Walking Tile Assembly Model. The model has a number of implementation prospects, one being DNA strands that attach to a DNA origami substrate. Intuitively, the model suggests a separation of signal routing and computation: the input structure (maze) supplies a routing diagram, and the programmer's tile set provides the computational ability. We ask how simple the computational part can be.
We give two tiny tile sets that are computationally universal in the Maze-Walking Tile Assembly Model. The first has four tiles and simulates Boolean circuits by directly implementing NAND, NXOR and NOT gates. Our second tile set has 6 tiles and is called the Collatz tile set as it produces patterns found in binary/ternary representations of iterations of the Collatz function. Using computer search we find that the Collatz tile set is expressive enough to encode Boolean circuits using blocks of these patterns. These two tile sets give two different methods to find simple universal tile sets, and provide motivation for using pre-assembled maze structures as circuit wiring diagrams in molecular self-assembly based computing.

Replacements for Thu, 24 Jun 21

[2]  arXiv:1906.09226 (replaced) [pdf, ps, other]
Title: $\text{#NFA}$ admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[3]  arXiv:2101.11727 (replaced) [pdf, ps, other]
Title: Characterising Fixed Parameter Tractability of Query Evaluation over Guarded TGDs
Authors: Cristina Feier
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL)
[4]  arXiv:2103.09320 (replaced) [pdf, ps, other]
Title: Quantum Pseudorandomness and Classical Complexity
Comments: 20 pages. V2: added a new result about Haar random oracles (Corollary 5); various writing improvements
Journal-ref: 16th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2021), Leibniz International Proceedings in Informatics (LIPIcs) 197, pp. 2:1-2:20 (2021)
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[ total of 4 entries: 1-4 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2106, contact, help  (Access key information)