Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 1212.0752

Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems

Bundit Laekhanukit
View original source ↗Read source document ↗Export metadata ↓

Abstract

Optimizing parameters of Two-Prover-One-Round Game (2P1R) is an important task in PCPs literature as it would imply a smaller PCP with the same or stronger soundness. While this is a basic question in PCPs community, the connection between the parameters of PCPs and hardness of approximations is sometime obscure to approximation algorithm community. In this paper, we investigate the connection between the parameters of 2P1R and the hardness of approximating the class of so-called connectivity problems, which includes as subclasses the survivable network design and (multi)cut problems. Based on recent development on 2P1R by Chan (ECCC 2011) and several techniques in PCPs literature, we improve hardness results of some connectivity problems that are in the form $k^\sigma$, for some (very) small constant $\sigma>0$, to hardness results of the form $k^c$ for some explicit constant $c$, where $k$ is a connectivity parameter. In addition, we show how to convert these hardness into hardness results of the form $D^{c'}$, where $D$ is the number of demand pairs (or the number of terminals). Thus, we give improved hardness results of k^{1/2-\epsilon} and k^{1/10-\epsilon} for the root $k$-connectivity problem on directed and undirected graphs, k^{1/6-\epsilon} for the vertex-connectivity survivable network design problem on undirected graphs, and k^{1/6-\epsilon} for the vertex-connectivity $k$-route cut problem on undirected graphs.

Explore related subjects

cs.CCcs.DS

Keep this discovery

BibTeXRIS

Bundit Laekhanukit. 2012-12-04. Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems. https://arxiv.org/abs/1212.0752

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC↗
arXiv2026

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC↗