We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm

Abstract: We show that for every $r \ge 2$ there exists $\epsilon_r > 0$ such that any $r$-uniform hypergraph with $m$ edges and maximum vertex degree $o(\sqrt{m})$ contains a set of at most $(\frac{1}{2} - \epsilon_r)m$ edges the removal of which breaks the hypergraph into connected components with at most $m/2$ edges. We use this to give an algorithm running in time $d^{(1 - \epsilon_r)m}$ that decides satisfiability of $m$-variable $(d, k)$-CSPs in which every variable appears in at most $r$ constraints, where $\epsilon_r$ depends only on $r$ and $k\in o(\sqrt{m})$. Furthermore our algorithm solves the corresponding #CSP-SAT and Max-CSP-SAT of these CSPs. We also show that CNF representations of unsatisfiable $(2, k)$-CSPs with variable frequency $r$ can be refuted in tree-like resolution in size $2^{(1 - \epsilon_r)m}$. Furthermore for Tseitin formulas on graphs with degree at most $k$ (which are $(2, k)$-CSPs) we give a deterministic algorithm finding such a refutation.
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
Journal reference: Logical Methods in Computer Science, Volume 17, Issue 4 (December 13, 2021) lmcs:8832
DOI: 10.46298/lmcs-17(4:17)2021
Cite as: arXiv:2105.06744 [cs.LO]
  (or arXiv:2105.06744v4 [cs.LO] for this version)

Submission history

From: Navid Talebanfard [view email] [via LOGICAL proxy]
[v1] Fri, 14 May 2021 10:09:18 GMT (16kb)
[v2] Wed, 22 Sep 2021 13:40:21 GMT (17kb)
[v3] Sun, 17 Oct 2021 21:14:51 GMT (21kb)
[v4] Fri, 10 Dec 2021 18:35:17 GMT (29kb,D)

Link back to: arXiv, form interface, contact.