graph
34489 papers tagged with this keyword
Hierarchy Structure of Graphs and Weighted Condensations
By natural way the hierarchy structure is introduced on directed graphs with weighted adjacencies. Embedded system of algebras of subsets of the set of vertices of such digraph and it's consolidations, which vertices are the elementary sets of corresponding algebra, are constructed. Weights of arcs of consolidated graphs are determined.
Extremal metrics on graphs I
Published
• View Publication
• BIB
We define a number of natural (from geometric and combinatorial points of view) deformation spaces of valuations on finite graphs, and study functions over these deformation spaces. These functions include both direct metric invariants (girth, diameter), and spectral invariants (the determinant of the Laplace operator, or complexity; bottom non-zero eigenvalue of the Laplace operator). We show that almost all of these functions are, surprisingly, convex, and we characterize the valuations extremizing these invariant
T=0 Partition Functions for Potts Antiferromagnets on Square Lattice Strips with (Twisted) Periodic Boundary Conditions
Published in J. Phys A (Letts.) 32, L489-L493 (1999)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function for the q-state Potts antiferromagnet (equivalently, the chromatic polynomial) for two families of arbitrarily long strip graphs of the square lattice with periodic boundary conditions in the transverse direction and (i) periodic (ii) twisted periodic boundary conditions in the longitudinal direction, so that the strip graphs are embedded on a (i) torus (ii) Klein bottle. In the limit of infinite length, we calculate the exponent of the entropy, W(q), show it to be the same for (i) and (ii), and determine its analytic structure.
On a Planarity Criterion Coming from Knot Theory
A graph G is called "minimalizable" if a diagram with minimal crossing number can be obtained from an arbitrary diagram of G by crossing changes. If, furthermore, the minimal diagram is unique up to crossing changes then G is called "strongly minimalizable". In this article, it is explained how minimalizability of a graph is related to its automorphism group and it is shown that a graph is strongly minimalizable if the automorphism group is trivial or isomorphic to a product of symmetric groups. Then, the treatment of crossing number problems in graph theory by knot theoretical means is discussed and, as an example, a planarity criterion for minimalizable graphs is given.
Local tree-width, excluded minors, and approximation algorithms
Published
• View Publication
• BIB
The local tree-width of a graph G=(V,E) is the function ltw^G: N -> N that associates with every natural number r the maximal tree-width of an r-neighborhood in G. Our main graph theoretic result is a decomposition theorem for graphs with excluded minors that essentially says that such graphs can be decomposed into trees of graphs of bounded local tree-width.
As an application of this theorem, we show that a number of combinatorial optimization problems, such as Minimum Vertex Cover, Minimum Dominating Set, and Maximum Independent Set have a polynomial time approximation scheme when restricted to a class of graphs with an excluded minor.
On $α$-Square-Stable Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a maximum stable set, and mu(G) is the cardinality of a maximum matching in G. If alpha(G) + mu(G) equals its order, then G is a Koenig-Egervary graph. We call G an $α$-square-stable graph, shortly square-stable, if alpha(G) = alpha(G*G), where G*G denotes the second power of G. These graphs were first investigated by Randerath and Wolkmann. In this paper we obtain several new characterizations of square-stable graphs. We also show that G is an square-stable Koenig-Egervary graph if and only if it has a perfect matching consisting of pendant edges. Moreover, we find that well-covered trees are exactly square-stable trees. To verify this result we give a new proof of one Ravindra's theorem describing well-covered trees.
A New Greedoid: The Family of Local Maximum Stable Sets of a Forest
Published
• View Publication
• BIB
A maximum stable set in a graph G is a stable set of maximum cardinality. S is a local maximum stable set if it is a maximum stable set of the subgraph of G spanned by the union of S and N(S), where N(S) is the neighborhood of S. One theorem of Nemhauser and Trotter Jr., working as a useful sufficient local optimality condition for the weighted maximum stable set problem, ensures that any local maximum stable set of G can be enlarged to a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for forests. Namely, we show that for any non-empty local maximum stable set S of a forest T there exists a local maximum stable set S1 of T, such that S1 is included in S and |S1| = |S| - 1. Moreover, as a further strengthening of both the theorem of Nemhauser and Trotter Jr. and its inverse, we prove that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set.
Multiple vertex coverings by specified induced subgraphs
Given graphs H_1,...,H_k, we study the minimum order of a graph G such that for each i, the induced copies of H_i in G cover V(G). We prove a general upper bound of twice the sum of the numbers m_i, where m_i is one less than the order of H_i. When k=2 and one graph is an independent set of size n, we determine the optimum within a constant. When k=2 and the graphs are a star and an independent set, we determine the answer exactly.
A tree version of Konig's theorem
Published
• View Publication
• BIB
Konig's theorem states that the covering number and the matching number of a bipartite graph are equal. We prove a generalisation of this result, in which each point in one side of the graph is replaced by a subtree of a given tree. The proof uses a recent extension of Hall's theorem to families of hypergraphs, by the first author and P. Haxell.
Matrices and $α$-Stable Bipartite Graphs
A square (0,1)-matrix X of order n > 0 is called fully indecomposable if there exists no integer k with 0 < k < n, such that X has a k by n-k zero submatrix. A stable set of a graph G is a subset of pairwise nonadjacent vertices. The stability number of G, denoted by $α(G)$, is the cardinality of a maximum stable set in G. A graph is called $α$-stable if its stability number remains the same upon both the deletion and the addition of any edge. We show that a connected bipartite graph has exactly two maximum stable sets that partition its vertex set if and only if its reduced adjacency matrix is fully indecomposable. We also describe a decomposition structure of $α$-stable bipartite graphs in terms of their reduced adjacency matrices. On the base of these findings we obtain both new proofs for a number of well-known theorems on the structure of matrices due to Brualdi, Marcus and Minc, Dulmage and Mendelsohn, and some generalizations of these statements. Several new results on $α$-stable bipartite graphs and their corresponding reduced adjacency matrices are presented, as well. Two kinds of matrix product are also considered (namely, Boolean product and Kronecker product), and their corresponding graph operations. As a consequence, we obtain a strengthening of one Lewin's theorem claiming that the product of two fully indecomposable matrices is a fully indecomposable matrix.
Harmonic functions on multiplicative graphs and interpolation polynomials
Published in Electronic Journal of Combinatorics 7 (2000), paper R28
• View Publication
• BIB
We construct examples of nonnegative harmonic functions on certain graded graphs: the Young lattice and its generalizations. Such functions first emerged in harmonic analysis on the infinite symmetric group. Our method relies on multivariate interpolation polynomials associated with Schur's S and P functions and with Jack symmetric functions. As a by-product, we compute certain Selberg-type integrals.
Combinatorial Properties of the Family of Maximum Stable Sets of a Graph
Published
• View Publication
• BIB
The stability number alpha(G) of a graph G is the cardinality of a maximum stable set in G, xi(G) denotes the size of core(G), where core(G) is the intersection of all maximum stable sets of G. In this paper we prove that for a graph G without isolated vertices, the following assertions are true: (i) if xi(G)< 2, then G is quasi-regularizable; (ii) if G is of order n and alpha(G) > (n+k-1)/2, for some k > 0, then xi(G) > k, and xi(G) > k+1, whenever n+k-1 is even. The last finding is a strengthening of a result of Hammer, Hansen, and Simeone, which states that alpha(G) > n/2 implies xi(G) > 0. G is a Koenig-Egervary graph if n equals the sum of its stability number and the cardinality of a maximum matching. For Koenig-Egervary graphs, we prove that alpha(G) > n/2 holds if and only if xi(G) is greater than the size of the neighborhood of core(G). Moreover, for bipartite graphs without isolated vertices, alpha(G) > n/2 is equivalent to xi(G) > 1. We also show that Hall's marriage Theorem is valid for Koenig-Egervary graphs, and it is sufficient to check Hall's condition only for one specific stable set, namely, for core(G).
The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices
Published
• View Publication
• BIB
One theorem of Nemhauser and Trotter ensures that, under certain conditions, a stable set of a graph G can be enlarged to a maximum stable set of this graph. For example, any stable set consisting of only simplicial vertices is contained in a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for trees of order greater than one, where, in fact, all the simplicial vertices are pendant. Namely, we show that any maximum stable set of such a tree contains at least one pendant vertex. Moreover, we prove that if T does not own a perfect matching, then a stable set, consisting of at least two pendant vertices, is included in the intersection of all its maximum stable sets. For trees, the above assertion is also a strengthening of one result of Hammer, Hansen, and Simeone, stating that if half of order of G is less than the cardinality of a maximum stable set of G, then the intersection of all its maximum stable sets is non-empty.
On $α^{+}$-Stable Koenig-Egervary Graphs
Published
• View Publication
• BIB
The stability number of a graph G, is the cardinality of a stable set of maximum size in G. If the stability number of G remains the same upon the addition of any edge, then G is called $α^{+}$-stable. G is a König-Egervary graph if its order equals the sum of its stability number and the cardinality of a maximum matching. In this paper we characterize $α^{+}$-stable König-Egervary graphs, generalizing some previously known results on bipartite graphs and trees. Namely, we prove that a König-Egervary graph is $α^{+}$-stable if and only if either the set of vertices belonging to no maximum stable set is empty, or the cardinality of this set equals one, and G has a perfect matching. Using this characterization we obtain several new findings on general König-Egervary graphs, for example, the equality between the cardinalities of the set of vertices belonging to all maximum stable sets and the set of vertices belonging to no maximum stable set of G is a necessary and sufficient condition for a König-Egervary graph G to have a perfect matching.
Combinatorics of the toric Hilbert scheme
Published
• View Publication
• BIB
The toric Hilbert scheme is a parameter space for all ideals with the same multi-graded Hilbert function as a given toric ideal. Unlike the classical Hilbert scheme, it is unknown whether toric Hilbert schemes are connected. We construct a graph on all the monomial ideals on the scheme, called the flip graph, and prove that the toric Hilbert scheme is connected if and only if the flip graph is connected. These graphs are used to exhibit curves in P^4 whose associated toric Hilbert schemes have arbitrary dimension. We show that the flip graph maps into the Baues graph of all triangulations of the point configuration defining the toric ideal. Inspired by the recent discovery of a disconnected Baues graph, we close with results that suggest the existence of a disconnected flip graph and hence a disconnected toric Hilbert scheme.
On the Structure of $α$-Stable Graphs
Published
• View Publication
• BIB
The stability number of a graph G is the cardinality of a stability system of G (that is of a stable set of maximum size of G). A graph is alpha-stable if its stability number remains the same upon both the deletion and the addition of any edge. Trying to generalize some stable trees properties, we show that there does not exist any alpha-stable chordal graph, and we prove that: if G is a connected bipartite graph, then the following assertions are equivalent: G is alpha-stable; G can be written as a vertex disjoint union of connected bipartite graphs, each of them having exactly two stability systems covering its vertex set; G has perfect matchings and no edge belongs to all its perfect matchings; from each vertex of G are issuing at least two edges contained in some perfect matchings of G; any vertex of G lies on a cycle, whose edges are alternately in and not in some perfect matching; no vertex belongs to all stability systems of G, and no edge belongs to all its perfect matchings.
Dynamic monopolies of constant size
Published
• View Publication
• BIB
The paper deals with a polling game on a graph. Initially, each vertex is colored white or black. At each round, each vertex is colored by the color shared by the majority of vertices in its neighborhood. We say that a set of vertices is a dynamic monopoly if starting the game with the vertices of the set colored white, the entire system is white after a finite number of rounds. Peleg asked how small a dynamic monopoly may be as a function of the number of vertices. We show that the answer is O(1).
The number of edges in critical strongly connected graphs
Published
• View Publication
• BIB
We prove that the maximal number of directed edges in a vertex-critical strongly connected simple digraph on n vertices is n(n-1)/2 - n +4.
Growth in free groups (and other stories)
We start by studying the distribution of (cyclically reduced) elements of the free groups with respect to their abelianization. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions $\mod p$ ($p$ -- an arbitrary prime) of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.
Graph Ramsey games
We consider combinatorial avoidance and achievement games based on graph Ramsey theory: The players take turns in coloring still uncolored edges of a graph G, each player being assigned a distinct color, choosing one edge per move. In avoidance games, completing a monochromatic subgraph isomorphic to another graph A leads to immediate defeat or is forbidden and the first player that cannot move loses. In the avoidance+ variants, both players are free to choose more than one edge per move. In achievement games, the first player that completes a monochromatic subgraph isomorphic to A wins. Erdos & Selfridge (1973) were the first to identify some tractable subcases of these games, followed by a large number of further studies. We complete these investigations by settling the complexity of all unrestricted cases: We prove that general graph Ramsey avoidance, avoidance+, and achievement games and several variants thereof are PSPACE-complete. We ultra-strongly solve some nontrivial instances of graph Ramsey avoidance games that are based on symmetric binary Ramsey numbers and provide strong evidence that all other cases based on symmetric binary Ramsey numbers are effectively intractable.
Keywords: combinatorial games, graph Ramsey theory, Ramsey game, PSPACE-completeness, complexity, edge coloring, winning strategy, achievement game, avoidance game, the game of Sim, Polya's enumeration formula, probabilistic counting, machine learning, heuristics, Java applet