36,703 research outputs found
Recommended from our members
On the Power of Parity Polynomial Time
This paper proves that the complexity class Ef)P, parity polynomial time [PZ83], contains the class of languages accepted by NP machines with few accepting paths. Indeed, Ef)P contains a. broad class of languages accepted by path-restricted nondeterministic machines. In particular, Ef)P contains the polynomial accepting path versions of NP, of the counting hierarchy, and of ModmNP for m > 1. We further prove that the class of nondeterministic path-restricted languages is closed under bounded truth-table reductions
Power of Uninitialized Qubits in Shallow Quantum Circuits
We study the computational power of shallow quantum circuits
with O(log n) initialized and n^{O(1)} uninitialized ancillary
qubits, where n is the input length and the initial state of
the uninitialized ancillary qubits is arbitrary. First, we show
that such a circuit can compute any symmetric function on n bits
that is classically computable in polynomial time. Then, we
regard such a circuit as an oracle and show that a
polynomial-time classical algorithm with the oracle can estimate
the elements of any unitary matrix corresponding to a
constant-depth quantum circuit on n qubits. Since it seems unlikely
that these tasks can be done with only O(log n) initialized
ancillary qubits, our results give evidences that adding
uninitialized ancillary qubits increases the computational power
of shallow quantum circuits with only O(log n) initialized
ancillary qubits. Lastly, to understand the limitations of
uninitialized ancillary qubits, we focus on
near-logarithmic-depth quantum circuits with them and show
the impossibility of computing the parity function on n bits
Two-Level Rectilinear Steiner Trees
Given a set of terminals in the plane and a partition of into
subsets , a two-level rectilinear Steiner tree consists of a
rectilinear Steiner tree connecting the terminals in each set
() and a top-level tree connecting the trees . The goal is to minimize the total length of all trees. This problem
arises naturally in the design of low-power physical implementations of parity
functions on a computer chip.
For bounded we present a polynomial time approximation scheme (PTAS) that
is based on Arora's PTAS for rectilinear Steiner trees after lifting each
partition into an extra dimension. For the general case we propose an algorithm
that predetermines a connection point for each and
().
Then, we apply any approximation algorithm for minimum rectilinear Steiner
trees in the plane to compute each and independently.
This gives us a -factor approximation with a running time of
suitable for fast practical computations. The
approximation factor reduces to by applying Arora's approximation scheme
in the plane
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
Parity games play an important role in model checking and synthesis. In their
paper, Calude et al. have shown that these games can be solved in
quasi-polynomial time. We show that their algorithm can be implemented
efficiently: we use their data structure as a progress measure, allowing for a
backward implementation instead of a complete unravelling of the game. To
achieve this, a number of changes have to be made to their techniques, where
the main one is to add power to the antagonistic player that allows for
determining her rational move without changing the outcome of the game. We
provide a first implementation for a quasi-polynomial algorithm, test it on
small examples, and provide a number of side results, including minor
algorithmic improvements, a quasi bi-linear complexity in the number of states
and edges for a fixed number of colours, and matching lower bounds for the
algorithm of Calude et al
On the time complexity of 2-tag systems and small universal Turing machines
We show that 2-tag systems efficiently simulate Turing machines. As a
corollary we find that the small universal Turing machines of Rogozhin, Minsky
and others simulate Turing machines in polynomial time. This is an exponential
improvement on the previously known simulation time overhead and improves a
forty year old result in the area of small universal Turing machines.Comment: Slightly expanded and updated from conference versio
Recommended from our members
On the Computational Power of Radio Channels
Radio networks can be a challenging platform for which to develop distributed algorithms, because the network nodes must contend for a shared channel. In some cases, though, the shared medium is an advantage rather than a disadvantage: for example, many radio network algorithms cleverly use the shared channel to approximate the degree of a node, or estimate the contention. In this paper we ask how far the inherent power of a shared radio channel goes, and whether it can efficiently compute "classicaly hard" functions such as Majority, Approximate Sum, and Parity.
Using techniques from circuit complexity, we show that in many cases, the answer is "no". We show that simple radio channels, such as the beeping model or the channel with collision-detection, can be approximated by a low-degree polynomial, which makes them subject to known lower bounds on functions such as Parity and Majority; we obtain round lower bounds of the form Omega(n^{delta}) on these functions, for delta in (0,1). Next, we use the technique of random restrictions, used to prove AC^0 lower bounds, to prove a tight lower bound of Omega(1/epsilon^2) on computing a (1 +/- epsilon)-approximation to the sum of the nodes\u27 inputs. Our techniques are general, and apply to many types of radio channels studied in the literature
A Discrete Logarithm-based Approach to Compute Low-Weight Multiples of Binary Polynomials
Being able to compute efficiently a low-weight multiple of a given binary
polynomial is often a key ingredient of correlation attacks to LFSR-based
stream ciphers. The best known general purpose algorithm is based on the
generalized birthday problem. We describe an alternative approach which is
based on discrete logarithms and has much lower memory complexity requirements
with a comparable time complexity.Comment: 12 page
- …