Results 1 - 10
of
21
A Survey of Combinatorial Gray Codes
- SIAM Review
, 1996
"... The term combinatorial Gray code was introduced in 1980 to refer to any method for generating combinatorial objects so that successive objects differ in some pre-specified, small way. This notion generalizes the classical binary reflected Gray code scheme for listing n-bit binary numbers so that ..."
Abstract
-
Cited by 59 (2 self)
- Add to MetaCart
The term combinatorial Gray code was introduced in 1980 to refer to any method for generating combinatorial objects so that successive objects differ in some pre-specified, small way. This notion generalizes the classical binary reflected Gray code scheme for listing n-bit binary numbers so that successive numbers differ in exactly one bit position, as well as work in the 1960's and 70's on minimal change listings for other combinatorial families, including permutations and combinations. The area of combinatorial Gray codes was popularized by Herbert Wilf in his invited address at the SIAM Discrete Mathematics Conference in 1988 and his subsequent SIAM monograph in which he posed some open problems and variations on the theme. This resulted in much recent activity in the area and most of the problems posed by Wilf are now solved. In this paper, we survey the area of combinatorial Gray codes, describe recent results, variations, and trends, and highlight some open problems. ...
Computing The Volume Of Convex Bodies: A Case Where Randomness Provably Helps
, 1991
"... We discuss the problem of computing the volume of a convex body K in IR n . We review worst-case results which show that it is hard to deterministically approximate volnK and randomised approximation algorithms which show that with randomisation one can approximate very nicely. We then provide som ..."
Abstract
-
Cited by 52 (5 self)
- Add to MetaCart
We discuss the problem of computing the volume of a convex body K in IR n . We review worst-case results which show that it is hard to deterministically approximate volnK and randomised approximation algorithms which show that with randomisation one can approximate very nicely. We then provide some applications of this latter result. Supported by NATO grant RG0088/89 y Supported by NSF grant CCR-8900112 and NATO grant RG0088/89 1 Introduction The mathematical study of areas and volumes is as old as civilization itself, and has been conducted for both intellectual and practical reasons. As far back as 2000 B.C., the Egyptians 1 had methods for approximating the areas of fields (for taxation purposes) and the volumes of granaries. The exact study of areas and volumes began with Euclid 2 and was carried to a high art form by Archimedes 3 . The modern study of this subject began with the great astronomer Johann Kepler's treatise 4 Nova stereometria doliorum vinariorum, wh...
The Complexity of Counting in Sparse, Regular, and Planar Graphs
- SIAM Journal on Computing
, 1997
"... We show that a number of graph-theoretic counting problems remain NP-hard, indeed #P-complete, in very restricted classes of graphs. In particular, it is shown that the problems of counting matchings, vertex covers, independent sets, and extremal variants of these all remain hard when restricted to ..."
Abstract
-
Cited by 47 (0 self)
- Add to MetaCart
We show that a number of graph-theoretic counting problems remain NP-hard, indeed #P-complete, in very restricted classes of graphs. In particular, it is shown 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. To achieve these results, a new interpolationbased reduction technique which preserves properties such as constant degree is introduced. In addition, the problem of approximately counting minimum cardinality vertex covers is shown to remain NP-hard even when restricted to graphs of maximal degree 3. Previously, restrictedcase complexity results for counting problems were elusive; we believe our techniques may help obtain similar results for many other counting problems. 1 Introduction Ever since the introduction of NP-completeness in the early 1970's, the primary focus of complexity theory has been on decision ...
The Complexity of Counting Graph Homomorphisms
- In 11th ACM/SIAM Symposium on Discrete Algorithms
, 1999
"... The problem of counting graph homomorphisms is considered. We show that the counting problem corresponding to a given graph is #P-complete unless every connected component of the graph is an isolated vertex without a loop, a complete graph with all loops present, or a complete unlooped bipartite gra ..."
Abstract
-
Cited by 13 (3 self)
- Add to MetaCart
The problem of counting graph homomorphisms is considered. We show that the counting problem corresponding to a given graph is #P-complete unless every connected component of the graph is an isolated vertex without a loop, a complete graph with all loops present, or a complete unlooped bipartite graph. 1 Introduction Many combinatorial counting problems on graphs can be restated as the problem of counting the number of homomorphisms to a particular graph H. The vertices of H correspond to colours, and the edges show which colours may be adjacent. The graph H may contain loops. Specifically, let C be a set of k colours, where k is a constant. Let H = (C; EH ) be a graph with vertex set C. Given a graph G = (V; E) with vertex set V , a map X : V 7! C is called a H-colouring if fX(v); X(w)g 2 EH for all fv; wg 2 E: In other words, X is a homomorphism from G to H. Let\Omega H (G) denote the set of all H-colourings of G. Two well-known combinatorial counting problems which can be c...
Some Algorithmic Problems in Polytope Theory
- IN ALGEBRA, GEOMETRY, AND SOFTWARE SYSTEMS
, 2003
"... Convex polytopes, i.e.. the intersections of finitely many closed affine halfspaces in R^d, are important objects in various areas of mathematics and other disciplines. In particular, the compact... ..."
Abstract
-
Cited by 11 (0 self)
- Add to MetaCart
Convex polytopes, i.e.. the intersections of finitely many closed affine halfspaces in R^d, are important objects in various areas of mathematics and other disciplines. In particular, the compact...
Signable Posets and Partitionable Simplicial Complexes
, 1996
"... The notion of a partitionable simplicial complex is extended to that of a signable partially ordered set. It is shown in a unified way that face lattices of shellable polytopal complexes, polyhedral cone fans, and oriented matroid polytopes, are all signable. Each of these classes, which are belie ..."
Abstract
-
Cited by 9 (5 self)
- Add to MetaCart
The notion of a partitionable simplicial complex is extended to that of a signable partially ordered set. It is shown in a unified way that face lattices of shellable polytopal complexes, polyhedral cone fans, and oriented matroid polytopes, are all signable. Each of these classes, which are believed to be mutually incomparable, strictly contains the class of convex polytopes. A general sufficient condition, termed total signability, for a simplicial complex to satisfy McMullen's Upper Bound Theorem on the numbers of faces, is provided. The simplicial members of each of the three classes above are concluded to be partitionable and to satisfy the upper bound theorem. The computational complexity of face enumeration and of deciding partitionability is discussed. It is shown that under a suitable presentation, the face numbers of a signable simplicial complex can be efficiently computed. In particular, the face numbers of simplicial fans can be computed in polynomial time, extending the analogous statement for convex polytopes.
The Complexity of Planar Counting Problems
, 1998
"... . We prove the #P-hardness of the counting problems associated with various satisfiability, graph, and combinatorial problems, when restricted to planar instances. These problems include 3Sat, 1-3Sat, 1-Ex3Sat, Minimum Vertex Cover, Minimum Dominating Set, Minimum Feedback Ve ..."
Abstract
-
Cited by 8 (0 self)
- Add to MetaCart
.<F3.862e+05> We prove the #P-hardness of the counting problems associated with various satisfiability, graph, and combinatorial problems, when restricted to planar instances. These problems include<F3.771e+05> 3Sat, 1-3Sat, 1-Ex3Sat, Minimum Vertex Cover, Minimum Dominating Set, Minimum Feedback Vertex Set, X3C, Partition Into Triangles, and Clique Cover.<F3.862e+05> We also prove the<F4.039e+05><F3.862e+05> NP-completeness of the<F3.771e+05> Ambiguous Satisfiability<F3.862e+05> problems [J. B. Saxe,<F3.783e+05> Two Papers on Graph Embedding<F3.862e+05> Problems, Tech. Report CMU-CS-80-102, Dept. of Computer Science, Carnegie Mellon Univ., Pittsburgh, PA, 1980] and the<F4.039e+05> D<F2.539e+05> P<F3.862e+05> -completeness (with respect to random polynomial reducibility) of the unique satisfiability problems [L. G. Valiant and V. V. Vazirani,<F3.783e+05> NP is as easy as detecting unique<F3.862e+05> solutions, in Proc. 17th ACM Symp. on Theory of Computing, 1985, pp. 458--463] associ...
From a zoo to a zoology: Towards a general theory of graph polynomials
- Theory of Computing Systems
, 2007
"... Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generalizations of the Tutte polynomial, matching polynomials, interlace polynomials, and the cover polynomial of digraphs. We in ..."
Abstract
-
Cited by 8 (4 self)
- Add to MetaCart
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generalizations of the Tutte polynomial, matching polynomials, interlace polynomials, and the cover polynomial of digraphs. We introduce two classes of (hyper)graph polynomials definable in second order logic, and outline a research program for their classification in terms of definability and complexity considerations, and various notions of reducibilities. 1
Bounds on the Chromatic Polynomial and on the Number of Acyclic Orientations of a Graph
- Combinatorica
, 1996
"... An upper bound is given on the number of acyclic orientations of a graph, in terms of the spectrum of its Laplacian. It is shown that this improves upon the previously known bound, which depended on the degree sequence of the graph. Estimates on the new bound are provided. A lower bound on the numbe ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
An upper bound is given on the number of acyclic orientations of a graph, in terms of the spectrum of its Laplacian. It is shown that this improves upon the previously known bound, which depended on the degree sequence of the graph. Estimates on the new bound are provided. A lower bound on the number of acyclic orientations of a graph is given, with the help of the probabilistic method. This argument can take advantage of structural properties of the graph: it is shown how to obtain stronger bounds for small-degree graphs of girth at least five, than are possible for arbitrary graphs. A simpler proof of the known lower bound for arbitrary graphs is also obtained. Both the upper and lower bounds are shown to extend to the general problem of bounding the chromatic polynomial from above and below along the negative real axis. 1 XEROX Palo Alto Research Center, 3333 Coyote Hill Road, CA 94304. Partially supported by the NSF under grant CCR--9404113. Most of this research was done while th...

