• Corpus ID: 15393927

Graph orientations with no sink and an approximation for a hard case of #SAT

  title={Graph orientations with no sink and an approximation for a hard case of \#SAT},
  author={Russ Bubley and Martin E. Dyer},
  booktitle={SODA '97},
Graph orientation problems have a long pedigree both in pure mathematics and theoretical computer science. We consider here all of the major combinatorial problems associated with sink-free graph orientations: decision, construction, listing, counting, approximate counting and approximate sampling. We also observe a close connection between sink-free graph orientations and a restricted form of the SAT problem in which each variable may appear at most twice; we name this Twice-SAT. We show that… 

Figures from this paper

A Simple FPTAS for Counting Edge Covers
This work designs a very simple deterministic fully polynomial-time approximation scheme (FPTAS) for counting the number of edge covers for any graph and makes use of a stronger notion called computationally efficient correlation decay.
The Complexity of Counting in Sparse, Regular, and Planar Graphs
It is proved that the problems of counting matchings, vertex covers, independent sets, and extremal variants of these all remain hard when restricted to planar bipartite graphs of bounded degree or regular graphs of constant degree.
Generating a Random Sink-free Orientation in Quadratic Time
A simple randomized algorithm inspired by Wilson's cycle popping method is presented which obtains an exact sample in mean time at most $O(nm)$, where $n$ is the number of vertices.
Path coupling using stopping times and counting independent sets and colorings in hypergraphs
It is shown that the Glauber dynamics for independent sets in a hypergraph mixes rapidly as long as the maximum degree ∆ of a vertex and the minimum size m of an edge satisfy m ≥ 2∆+1.65∆.
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs
A “low exponential” exact algorithm to count edge covers for simple graphs whose upper bound in the worst case is O (1 .
The complexity of counting colourings and independent sets in sparse graphs and hypergraphs
Using polynomial interpolation techniques, it is shown that certain counting problems involving colourings of graphs and independent sets in hypergraphs are #P-complete and efficient approximate counting is the most one can realistically expect to achieve.
Approximate Counting of Matchings in Sparse Uniform Hypergraphs
It is proved that it is NP-hard to approximate the number of matchings even for the class of 2-regular, linear, k-uniform hypergraphs, for all k ≥ 6, without the above restriction.
Some #P-completeness Proofs for Colourings and Independent Sets
We consider certain counting problems involving colourings of graphs and independent sets in hypergraphs. Using polynomial interpolation techniques, we show that these problems are #P -complete.
An Algorithm for Counting the Number of Edge Covers on Acyclic Graphs
This paper presents an algorithm that compute the number of edge covers in polynomial time if and only if the graph is acyclic, based on a post-order traversal of the spanning tree of the original graph.
The Complexity of Approximating Bounded-Degree Boolean \sharp CSP
This work considers the approximate counting problem for Boolean CSP with bounded-degree instances, for constraint languages containing the two unary constant relations {0} and {1} and obtains a complete classification of the complexity of this problem.


Optimal Algorithms for Self-Reducible Problems
It is shown that obtaining the lexicographically first four coloring of a planar graph is NP–hard, and that the schema of [JVV 86] cannot be used for approximately counting the number of four colorings of aPlanar graph.
Polynomial Time Randomised Approximation Schemes for Tutte-Gröthendieck Invariants: The Dense Case
A general technique is developed that supplies fully polynomial randomised approximation schemes for approximating the value of T(G; x, y) for any dense graph G, that is, any graph on n vertices whose minimum.
Acyclic orientations of graphs
A Very Simple Algorithm for Estimating the Number of k-Colorings of a Low-Degree Graph
  • M. Jerrum
  • Mathematics
    Random Struct. Algorithms
  • 1995
A fully polynomial randomized approximation scheme is presented for estimating the number of (vertex) k‐colorings of a graph of maximum degree Δ, when k ≥ 2Δ + 1. © 1995 John Wiley & Sons, Inc.
Hard enumeration problems in geometry and combinatorics
A number of natural enumeration problems in geometry and combinatorics are shown to be complete in the class # P introduced by Valiant. Among others this is established for the numeration of vertices
Markov Chain Algorithms for Planar Lattice Structures (Extended Abstract).
This paper presents techniques which prove for the first time that, in many interesting cases, a small number of random moves suffice to obtain a uniform distribution.
Approximate Counting, Uniform Generation and Rapidly Mixing Markov Chains
The general techniques of the paper are used to derive an almost uniform generation procedure for labelled graphs with a given degree sequence which is valid over a much wider range of degrees than previous methods: this in turn leads to randomised approximate counting algorithms for these graphs with very good asymptotic behaviour.