8 research outputs found
On the black-box complexity of Sperner's Lemma
We present several results on the complexity of various forms of Sperner's
Lemma in the black-box model of computing. We give a deterministic algorithm
for Sperner problems over pseudo-manifolds of arbitrary dimension. The query
complexity of our algorithm is linear in the separation number of the skeleton
graph of the manifold and the size of its boundary. As a corollary we get an
deterministic query algorithm for the black-box version of the
problem {\bf 2D-SPERNER}, a well studied member of Papadimitriou's complexity
class PPAD. This upper bound matches the deterministic lower
bound of Crescenzi and Silvestri. The tightness of this bound was not known
before. In another result we prove for the same problem an
lower bound for its probabilistic, and an
lower bound for its quantum query complexity, showing
that all these measures are polynomially related.Comment: 16 pages with 1 figur
ARRIVAL: Next Stop in CLS
We study the computational complexity of ARRIVAL, a zero-player game on
-vertex switch graphs introduced by Dohrau, G\"{a}rtner, Kohler,
Matou\v{s}ek, and Welzl. They showed that the problem of deciding termination
of this game is contained in . Karthik C. S.
recently introduced a search variant of ARRIVAL and showed that it is in the
complexity class PLS. In this work, we significantly improve the known upper
bounds for both the decision and the search variants of ARRIVAL.
First, we resolve a question suggested by Dohrau et al. and show that the
decision variant of ARRIVAL is in . Second, we
prove that the search variant of ARRIVAL is contained in CLS. Third, we give a
randomized -time algorithm to solve both variants.
Our main technical contributions are (a) an efficiently verifiable
characterization of the unique witness for termination of the ARRIVAL game, and
(b) an efficient way of sampling from the state space of the game. We show that
the problem of finding the unique witness is contained in CLS, whereas it was
previously conjectured to be FPSPACE-complete. The efficient sampling procedure
yields the first algorithm for the problem that has expected runtime
with .Comment: 13 pages, 6 figure
Automatizability and Simple Stochastic Games
The complexity of simple stochastic games (SSGs) has been open since they were dened by Condon in 1992. Despite intensive eort, the complexity of this problem is still unresolved. In this paper, building on the results of [4], we establish a connection between the complexity of SSGs and the complexity of an important problem in proof complexity{the proof search problem for low depth Frege systems. We prove that if depth-3 Frege systems are weakly automatizable, then SSGs are solvable in polynomial-time. Moreover we identify a natural combinatorial principle, which is a version of the well-known Graph Ordering Principle (GOP), that we call the integer-valued GOP (IGOP). This principle states that for any graph G with nonnegative integer weights associated with each node, there exists a locally maximal vertex (a vertex whose weight is at least as large as its neighbors). We prove that if depth-2 Frege plus IGOP is weakly automatizable, then SSG is in P. Supported by NSERC.
Relativized NP search problems and propositional proof systems
We consider Total Functional NP (TFNP) search problems. Such problems are based on combinatorial principles that guarantee, through locally checkable conditions, that a solution to the problem exists in an exponentially-large domain, and have the property that any solution has a polynomial-size witness that can be verified in polynomial time. These problems can be classified according to the combinatorial principle that guarantees the existence of a solution; for example, PPP is the class of such problems whose totality is assured by the Pigeonhole Principle. We show many strong connections between relativized versions of these search classes and the computational powerâin particular the proof complexityâof their underlying principles. These connections, along with lower bounds in the propositional proof systems Nullstellensatz and bounded-depth LK, allow us to prove several new relative separations among th
What is in# P and what is not?
For several classical nonnegative integer functions, we investigate if they
are members of the counting complexity class #P or not. We prove #P membership
in surprising cases, and in other cases we prove non-membership, relying on
standard complexity assumptions or on oracle separations.
We initiate the study of the polynomial closure properties of #P on affine
varieties, i.e., if all problem instances satisfy algebraic constraints. This
is directly linked to classical combinatorial proofs of algebraic identities
and inequalities. We investigate #TFNP and obtain oracle separations that prove
the strict inclusion of #P in all standard syntactic subclasses of #TFNP-1