Computational Complexity
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Tue, 25 Jan 22
 [1] arXiv:2201.08895 [pdf, ps, other]

Title: On the Satisfaction Probability of $k$CNF FormulasAuthors: Till TantauComments: 34 pages, 2 figuresSubjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
The satisfaction probability $\sigma(\phi) := \Pr_{\beta:\mathrm{vars}(\phi) \to \{0,1\}}[\beta\models \phi]$ of a propositional formula $\phi$ is the likelihood that a random assignment $\beta$ makes the formula true. We study the complexity of the problem $k$satprob$_{>\delta} = \{ \phi$ is a $k\mathrm{cnf}$ formula $\mid \sigma(\phi) > \delta\}$ for fixed $k$ and $\delta$. While 3satprob$_{>0}$ = 3sat is NPcomplete and satprob$_{>1/2}$ is PPcomplete, Akmal and Williams recently showed 3satprob$_{>1/2} \in$ P and 4satprob$_{>1/2} \in$ NPcomplete; but the methods used to prove these striking results stay silent about, say, 4satprob$_{>1/3}$, leaving the computational complexity of $k$satprob$_{>\delta}$ open for most $k$ and $\delta$. In the present paper we give a complete characterization in the form of a trichotomy: $k$satprob$_{>\delta}$ lies in AC$^0$, is NLcomplete, or is NPcomplete; and given $k$ and $\delta$ we can decide which of the three applies. The proof of the trichotomy hinges on a new ordertheoretic insight: Every set of $k$cnf formulas contains a formula of maximum satisfaction probability. This deceptively simple result allows us to (1) kernelize $k$satprob$_{\ge \delta}$, (2) show that the variables of the kernel form a strong backdoor set when the trichotomy states membership in AC$^0$ or NL, and (3) prove a new locality property for the models of secondorder formulas that describe problems like $k$satprob$_{\ge \delta}$. The locality property will allow us to prove a conjecture of Akmal and Williams: The majorityofmajority satisfaction problem for $k$cnfs lies in P for all $k$.
 [2] arXiv:2201.08988 [pdf, ps, other]

Title: Faster ILP Algorithms for Problems with Sparse Matrices and Their Applications to Multipacking and Multicover Problems in Graphs and HypergraphsSubjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
Let $P$ be a polyhedron, defined by a system $A x \leq b$, where $A \in Z^{m \times n}$, $rank(A) = n$, and $b \in Z^{m}$. In the Integer Feasibility Problem, we need to decide whether $P \cap Z^n = \emptyset$ or to find some $x \in P \cap Z^n$ in the opposite case. Currently, its state of the art algorithm, due to \cite{DadushDis,DadushFDim} (see also \cite{Convic,ConvicComp,DConvic} for more general formulations), has the complexity bound $O(n)^n \cdot poly(\phi)$, where $\phi = size(A,b)$. It is a longstanding open problem to break the $O(n)^n$ dimensiondependence in the complexity of ILP algorithms.
We show that if the matrix $A$ has a small $l_1$ or $l_\infty$ norm, or $A$ is sparse and has bounded elements, then the integer feasibility problem can be solved faster. More precisely, we give the following complexity bounds \begin{gather*}
\min\{\A\_{\infty}, \A\_1\}^{5 n} \cdot 2^n \cdot poly(\phi),
\bigl( \A\_{\max} \bigr)^{5 n} \cdot \min\{cs(A),rs(A)\}^{3 n} \cdot 2^n \cdot poly(\phi). \end{gather*} Here $\A\_{\max}$ denotes the maximal absolute value of elements of $A$, $cs(A)$ and $rs(A)$ denote the maximal number of nonzero elements in columns and rows of $A$, respectively. We present similar results for the integer linear counting and optimization problems.
Additionally, we apply the last result for multipacking and multicover problems on graphs and hypergraphs, where we need to choose a minimal/maximal multiset of vertices to cover/pack the edges by a prescribed number of times. For example, we show that the stable multiset and vertex multicover problems on simple graphs admit FPTalgorithms with the complexity bound $2^{O(V)} \cdot poly(\phi)$, where $V$ is the vertex set of a given graph.  [3] arXiv:2201.09034 [pdf, other]

Title: Strong Sleptsov Net is TuringCompleteAuthors: Dmitry A. ZaitsevComments: 21 pages, 8 figures, 2 tables, 43 referencesSubjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
It is known that a Sleptsov net, with multiple firing a transition at a step, runs exponentially faster than a Petri net opening prospects for its application as a graphical language of concurrent programming. We provide classification of placetransition nets based on firability rules considering general definitions and their strong and weak variants. We introduce and study a strong Sleptsov net, where a transition with the maximal firing multiplicity fires at a step, and prove that it is Turingcomplete. We follow the proof pattern of Peterson applied to prove that an inhibitor Petri net is Turingcomplete simulating a Shepherdson and Sturgis register machine. The central construct of our proof is a strong Sleptsov net that checks whether a register value (place marking) equals zero.
Crosslists for Tue, 25 Jan 22
 [4] arXiv:2201.09433 (crosslist from cs.LG) [pdf, other]

Title: Active Learning Polynomial Threshold FunctionsSubjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Machine Learning (stat.ML)
We initiate the study of active learning polynomial threshold functions (PTFs). While traditional lower bounds imply that even univariate quadratics cannot be nontrivially actively learned, we show that allowing the learner basic access to the derivatives of the underlying classifier circumvents this issue and leads to a computationally efficient algorithm for active learning degree$d$ univariate PTFs in $\tilde{O}(d^3\log(1/\varepsilon\delta))$ queries. We also provide nearoptimal algorithms and analyses for active learning PTFs in several average case settings. Finally, we prove that access to derivatives is insufficient for active learning multivariate PTFs, even those of just two variables.
 [5] arXiv:2201.09818 (crosslist from cs.LG) [pdf, ps, other]

Title: Optimal SQ Lower Bounds for Learning Halfspaces with Massart NoiseSubjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Statistics Theory (math.ST); Machine Learning (stat.ML)
We give tight statistical query (SQ) lower bounds for learnining halfspaces in the presence of Massart noise. In particular, suppose that all labels are corrupted with probability at most $\eta$. We show that for arbitrary $\eta \in [0,1/2]$ every SQ algorithm achieving misclassification error better than $\eta$ requires queries of superpolynomial accuracy or at least a superpolynomial number of queries. Further, this continues to hold even if the informationtheoretically optimal error $\mathrm{OPT}$ is as small as $\exp\left(\log^c(d)\right)$, where $d$ is the dimension and $0 < c < 1$ is an arbitrary absolute constant, and an overwhelming fraction of examples are noiseless. Our lower bound matches known polynomial time algorithms, which are also implementable in the SQ framework. Previously, such lower bounds only ruled out algorithms achieving error $\mathrm{OPT} + \epsilon$ or error better than $\Omega(\eta)$ or, if $\eta$ is close to $1/2$, error $\eta  o_\eta(1)$, where the term $o_\eta(1)$ is constant in $d$ but going to 0 for $\eta$ approaching $1/2$.
As a consequence, we also show that achieving misclassification error better than $1/2$ in the $(A,\alpha)$Tsybakov model is SQhard for $A$ constant and $\alpha$ bounded away from 1.
Replacements for Tue, 25 Jan 22
 [6] arXiv:2008.06805 (replaced) [pdf, other]

Title: Superlinear Lower Bounds Based on ETHComments: Accepted at STACS 2022Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
 [7] arXiv:2109.01342 (replaced) [pdf, ps, other]

Title: Circuit Lower Bounds for the pSpin Optimization ProblemComments: 14 pagesSubjects: Computational Complexity (cs.CC); Probability (math.PR)
 [8] arXiv:1911.03858 (replaced) [pdf, ps, other]

Title: Arıkan meets Shannon: Polar codes with nearoptimal convergence to channel capacitySubjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, recent, 2201, contact, help (Access key information)