Computational Complexity

New submissions

• New submissions
• Cross-lists

New submissions for Fri, 24 Jan 20

[1]  arXiv:2001.08416 [pdf, ps, other]

Title: Arc-routing for winter road maintenance

Authors: Jiří Fink, Martin Loebl

Comments: 15 pages, no figure

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

The arc-routing problems are known to be notoriously hard. We study here a natural arc-routing problem on trees and more generally on bounded tree-width graphs and surprisingly show that it can be solved in a polynomial time. This implies a sub-exponential algorithm for the planar graphs and small number of maintaining cars, which is of practical relevance.

[2]  arXiv:2001.08439 [pdf, other]

Title: On the computational power and complexity of Spiking Neural Networks

Authors: Johan Kwisthout, Nils Donselaar

Subjects: Computational Complexity (cs.CC); Neural and Evolutionary Computing (cs.NE)

The last decade has seen the rise of neuromorphic architectures based on artificial spiking neural networks, such as the SpiNNaker, TrueNorth, and Loihi systems. The massive parallelism and co-locating of computation and memory in these architectures potentially allows for an energy usage that is orders of magnitude lower compared to traditional Von Neumann architectures. However, to date a comparison with more traditional computational architectures (particularly with respect to energy usage) is hampered by the lack of a formal machine model and a computational complexity theory for neuromorphic computation. In this paper we take the first steps towards such a theory. We introduce spiking neural networks as a machine model where---in contrast to the familiar Turing machine---information and the manipulation thereof are co-located in the machine. We introduce canonical problems, define hierarchies of complexity classes and provide some first completeness results.

Cross-lists for Fri, 24 Jan 20

[3]  arXiv:2001.08373 (cross-list from quant-ph) [pdf, other]

Title: Classically Simulating Quantum Circuits with Local Depolarizing Noise

Authors: Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani

Comments: 19 pages, 2 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

We study the effect of noise on the classical simulatability of quantum circuits defined by computationally tractable (CT) states and efficiently computable sparse (ECS) operations. Examples of such circuits, which we call CT-ECS circuits, are IQP, Clifford Magic, and conjugated Clifford circuits. This means that there exist various CT-ECS circuits such that their output probability distributions are anti-concentrated and not classically simulatable in the noise-free setting (under plausible assumptions). First, we consider a noise model where a depolarizing channel with an arbitrarily small constant rate is applied to each qubit at the end of computation. We show that, under this noise model, if an approximate value of the noise rate is known, any CT-ECS circuit with an anti-concentrated output probability distribution is classically simulatable. This indicates that the presence of small noise drastically affects the classical simulatability of CT-ECS circuits. Then, we consider an extension of the noise model where the noise rate can vary with each qubit, and provide a similar sufficient condition for classically simulating CT-ECS circuits with anti-concentrated output probability distributions.

• New submissions
• Cross-lists