graph
34995 papers tagged with this keyword
Linear Choosability of Sparse Graphs
Published in Discrete Math. Vol. 311, no. 17, 2011, pp. 1910-1917
• View Publication
• BIB
We study the linear list chromatic number, denoted $\lcl(G)$, of sparse graphs. The maximum average degree of a graph $G$, denoted $\mad(G)$, is the maximum of the average degrees of all subgraphs of $G$. It is clear that any graph $G$ with maximum degree $Δ(G)$ satisfies $\lcl(G)\ge \ceil{Δ(G)/2}+1$. In this paper, we prove the following results: (1) if $\mad(G)<12/5$ and $Δ(G)\ge 3$, then $\lcl(G)=\ceil{Δ(G)/2}+1$, and we give an infinite family of examples to show that this result is best possible; (2) if $\mad(G)<3$ and $Δ(G)\ge 9$, then $\lcl(G)\le\ceil{Δ(G)/2}+2$, and we give an infinite family of examples to show that the bound on $\mad(G)$ cannot be increased in general; (3) if $G$ is planar and has girth at least 5, then $\lcl(G)\le\ceil{Δ(G)/2}+4$.
Coloring dense graphs via VC-dimension
The Vapnik-Červonenkis dimension is a complexity measure of set-systems, or hypergraphs. Its application to graphs is usually done by considering the sets of neighborhoods of the vertices (cf. Alon et al. (2006) and Chepoi, Estellon, and Vaxes (2007)), hence providing a set-system. But the graph structure is lost in the process. The aim of this paper is to introduce the notion of paired VC-dimension, a generalization of VC-dimension to set-systems endowed with a graph structure, hence a collection of pairs of subsets.
The classical VC-theory is generally used in combinatorics to bound the transversality of a hypergraph in terms of its fractional transversality and its VC-dimension. Similarly, we bound the chromatic number in terms of fractional transversality and paired VC-dimension. This approach turns out to be very useful for a class of problems raised by Erdős and Simonovits (1973) asking for H-free graphs with minimum degree at least cn and arbitrarily high chromatic number, where H is a fixed graph and c a positive constant.
We show how the usual VC-dimension gives a short proof of the fact that triangle-free graphs with minimum degree at least n/3 have bounded chromatic number, where $n$ is the number of vertices. Using paired VC-dimension, we prove that if the chromatic number of $H$-free graphs with minimum degree at least cn is unbounded for some positive c, then it is unbounded for all c<1/3. In other words, one can find H-free graphs with unbounded chromatic number and minimum degree arbitrarily close to n/3. These H-free graphs are derived from a construction of Hajnal. The large chromatic number follows from the Borsuk-Ulam Theorem.
A bijection for triangulations, quadrangulations, pentagulations, etc
Published in Journal of Combinatorial Theory, Series A 119, 1 (2012) 218-244
• View Publication
• BIB
A $d$-angulation is a planar map with faces of degree $d$. We present for each integer $d\geq 3$ a bijection between the class of $d$-angulations of girth $d$ (i.e., with no cycle of length less than $d$) and a class of decorated plane trees. Each of the bijections is obtained by specializing a "master bijection" which extends an earlier construction of the first author. Our construction unifies known bijections by Fusy, Poulalhon and Schaeffer for triangulations ($d=3$) and by Schaeffer for quadrangulations ($d=4$). For $d\geq 5$, both the bijections and the enumerative results are new. We also extend our bijections so as to enumerate \emph{$p$-gonal $d$-angulations} ($d$-angulations with a simple boundary of length $p$) of girth $d$. We thereby recover bijectively the results of Brown for simple $p$-gonal triangulations and simple $2p$-gonal quadrangulations and establish new results for $d\geq 5$. A key ingredient in our proofs is a class of orientations characterizing $d$-angulations of girth $d$. Earlier results by Schnyder and by De Fraysseix and Ossona de Mendez showed that simple triangulations and simple quadrangulations are characterized by the existence of orientations having respectively indegree 3 and 2 at each inner vertex. We extend this characterization by showing that a $d$-angulation has girth $d$ if and only if the graph obtained by duplicating each edge $d-2$ times admits an orientation having indegree $d$ at each inner vertex.
L-factors and adjacent vertex-distinguishing edge-weighting
An edge weighting problem of a graph G is an assignment of an integer weight to each edge e. Based on edge weighting problem, several types of vertex-coloring problems are put forward. A simple observation illuminates that edge weighting problem has a close relationship with special factors of graphs. In this paper, we obtain several results on the existence of factors with the pre-specified degrees, which generalizes earlier results in [2, 3]. Using these results, we investigate edge-weighting problem. In particular, we prove that every 4-colorable graph admits a vertex-coloring 4-edge-weighting.
Finiteness in the Card Game of War
Published in American Math. Monthly, 119:4, pp/318-323, 2012
• Search Publication
The game of war is one of the most popular international children's card games. In the beginning of the game, the pack is split into two parts, then on each move the players reveal their top cards. The player having the highest card collects both and returns them to the bottom of his hand. The player left with no cards loses. Those who played this game in their childhood did not always have enough patience to wait until the end of the game. A player who has collected almost all the cards can lose all but a few cards in the next 3 minutes. That way the children essentially conduct mathematical experiments observing chaotic dynamics. However, it is not quite so, as the rules of the game do not prescribe the order in which the winning player will put his take to the bottom of his hand: own card, then rival's or vice versa: rival's card, then own. We provide an example of a cycling game with fixed rules. Assume now that each player can seldom but regularly change the returning order. We have managed to prove that in this case the mathematical expectation of the length of the game is finite. In principle it is equivalent to the graph of the game, which has got edges corresponding to all acceptable transitions, having got the following property: from each initial configuration there is at least one path to the end of the game.
Sub-exponentially many 3-colorings of triangle-free planar graphs
Published
• View Publication
• BIB
Thomassen conjectured that every triangle-free planar graph on n vertices has exponentially many 3-colorings, and proved that it has at least 2^[n^(1/12)/20000] distinct 3-colorings. We show that it has at least 2^sqrt(n/362) distinct 3-colorings.
On the hardness of recognizing triangular line graphs
Published
• View Publication
• BIB
Given a graph G, its triangular line graph is the graph T(G) with vertex set consisting of the edges of G and adjacencies between edges that are incident in G as well as being within a common triangle. Graphs with a representation as the triangular line graph of some graph G are triangular line graphs, which have been studied under many names including anti-Gallai graphs, 2-in-3 graphs, and link graphs. While closely related to line graphs, triangular line graphs have been difficult to understand and characterize. Van Bang Le asked if recognizing triangular line graphs has an efficient algorithm or is computationally complex. We answer this question by proving that the complexity of recognizing triangular line graphs is NP-complete via a reduction from 3-SAT.
Independent Sets in Direct Products of Vertex-transitive Graphs
Published
• View Publication
• BIB
The direct product $G\times H$ of graphs $G$ and $H$ is defined by: \[V(G\times H)=V(G)\times V(H)\] and \[E(G\times H)=\left\{[(u_1,v_1),(u_2,v_2)]: (u_1,u_2)\in E(G) \mbox{\ and\ } (v_1,v_2)\in E(H)\right\}.\]
In this paper, we will prove that the equality $$α(G\times H)=\max\{α(G)|H|, α(H)|G|\}$$ holds for all vertex-transitive graphs $G$ and $H$, which provides an affirmative answer to a problem posed by Tardif (Discrete Math. 185 (1998) 193-200). Furthermore, the structure of all maximum independent sets of $G\times H$ are determined.
Overlap Number of Graphs
Published in Journal of Graph Theory. Vol. 70(1), 2012, pp. 10-28
• View Publication
• BIB
An {\it overlap representation} of a graph $G$ assigns sets to vertices so that vertices are adjacent if and only if their assigned sets intersect with neither containing the other. The {\it overlap number} $\ol(G)$ (introduced by Rosgen) is the minimum size of the union of the sets in such a representation. We prove the following: (1) An optimal overlap representation of a tree can be produced in linear time, and its size is the number of vertices in the largest subtree in which the neighbor of any leaf has degree 2. (2) If $δ(G)\ge 2$ and $G\ne K_3$, then $\ol(G)\le |E(G)|-1$, with equality when $G$ is connected and triangle-free and has no star-cutset. (3) If $G$ is an $n$-vertex plane graph with $n\ge5$, then $\ol(G)\le 2n-5$, with equality when every face has length 4 and there is no star-cutset. (4) If $G$ is an $n$-vertex graph with $n\ge 14$, then $\ol(G)\le \floor{n^2/4-n/2-1}$, and this is sharp (for even $n$, equality holds when $G$ arises from $K_{n/2,n/2}$ by deleting a perfect matching).
On the independence polynomial of an antiregular graph
Published
• View Publication
• BIB
A graph with at most two vertices of the same degree is called antiregular (Merris 2003), maximally nonregular (Zykov 1990) or quasiperfect (Behzad, Chartrand 1967). If s_{k} is the number of independent sets of cardinality k in a graph G, then I(G;x) = s_{0} + s_{1}x + ... + s_{alpha}x^{alpha} is the independence polynomial of G (Gutman, Harary 1983), where alpha = alpha(G) is the size of a maximum independent set. In this paper we derive closed formulae for the independence polynomials of antiregular graphs. In particular, we deduce that every antiregular graph A is uniquely defined by its independence polynomial I(A;x), within the family of threshold graphs. Moreover, I(A;x) is logconcave with at most two real roots, and I(A;-1) belongs to {-1,0}.
Primitivity and Independent Sets in Direct Products of Vertex-Transitive Graphs
Published
• View Publication
• BIB
We introduce the concept of the primitivity of independent set in vertex-transitive graphs, and investigate the relationship between the primitivity and the structure of maximum independent sets in direct products of vertex-transitive graphs. As a consequence of our main results, we positively solve an open problem related to the structure of independent sets in powers of vertex-transitive graphs.
Injective colorings of sparse graphs
Published in Discrete Math. Vol. 310, no. 21, 2010, pp. 2965-2973
• View Publication
• BIB
Let $mad(G)$ denote the maximum average degree (over all subgraphs) of $G$ and let $χ_i(G)$ denote the injective chromatic number of $G$. We prove that if $mad(G) \leq 5/2$, then $χ_i(G)\leqΔ(G) + 1$; and if $mad(G) < 42/19$, then $χ_i(G)=Δ(G)$. Suppose that $G$ is a planar graph with girth $g(G)$ and $Δ(G)\geq 4$. We prove that if $g(G)\geq 9$, then $χ_i(G)\leqΔ(G)+1$; similarly, if $g(G)\geq 13$, then $χ_i(G)=Δ(G)$.
Congruence conditions, parcels, and Tutte polynomials of graphs and matroids
Published
• View Publication
• BIB
Let $G$ be a matrix and $M(G)$ be the matroid defined by linear dependence on the set $E$ of column vectors of $G.$ Roughly speaking, a parcel is a subset of pairs $(f,g)$ of functions defined on $E$ to an Abelian group $A$ satisfying a coboundary condition (that $f-g$ is a flow over $A$ relative to $G$) and a congruence condition (that the size of the supports of $f$ and $g$ satisfy some congruence condition modulo an integer). We prove several theorems of the form: a linear combination of sizes of parcels, with coefficients roots of unity, equals an evaluation of the Tutte polynomial of $M(G)$ at a point $(λ-1,x-1)$ on the complex hyperbola $(λ- 1)(x-1) = |A|.$
Covering a graph by forests and a matching
Published
• View Publication
• BIB
We prove that for any positive integer $k$, the edges of any graph whose fractional arboricity is at most $k + 1/(3k+2)$ can be decomposed into $k$ forests and a matching.
Minor-minimal planar graphs of even branch-width
Published
• View Publication
• BIB
Let k>0 be an integer, let H be a minor-minimal graph in the projective plane such that every homotopically non-trivial closed curve intersects H at least k times, and let G be the planar double cover of H obtained by lifting G into the universal covering space of the projective plane, the sphere. We prove that G is minor-minimal of branch-width 2k. We also exhibit examples of minor-minimal planar graphs of branch-width 6 that do not arise this way.
Star clusters in independence complexes of graphs
Published
• View Publication
• BIB
We introduce the notion of \textit{star cluster} of a simplex in a simplicial complex. This concept provides a general tool to study the topology of independence complexes of graphs. We use star clusters to answer a question arisen from works of Engström and Jonsson on the homotopy type of independence complexes of triangle-free graphs and to investigate a large number of examples which appear in the literature. We present an alternative way to study the chromatic number of a graph from a homotopical point of view and obtain new results regarding the connectivity of independence complexes.
Regular Labelings and Geometric Structures
Published
• View Publication
• BIB
Three types of geometric structure---grid triangulations, rectangular subdivisions, and orthogonal polyhedra---can each be described combinatorially by a regular labeling: an assignment of colors and orientations to the edges of an associated maximal or near-maximal planar graph. We briefly survey the connections and analogies between these three kinds of labelings, and their uses in designing efficient geometric algorithms.
On Graphs and Codes Preserved by Edge Local Complementation
Published
• View Publication
• BIB
Orbits of graphs under local complementation (LC) and edge local complementation (ELC) have been studied in several different contexts. For instance, there are connections between orbits of graphs and error-correcting codes. We define a new graph class, ELC-preserved graphs, comprising all graphs that have an ELC orbit of size one. Through an exhaustive search, we find all ELC-preserved graphs of order up to 12 and all ELC-preserved bipartite graphs of order up to 16. We provide general recursive constructions for infinite families of ELC-preserved graphs, and show that all known ELC-preserved graphs arise from these constructions or can be obtained from Hamming codes. We also prove that certain pairs of ELC-preserved graphs are LC equivalent. We define ELC-preserved codes as binary linear codes corresponding to bipartite ELC-preserved graphs, and study the parameters of such codes.
Graph Varieties in High Dimension
Published
• View Publication
• BIB
We study the \emph{picture space} $X^d(G)$ of all embeddings of a finite graph $G$ as point-and-line arrangements in an arbitrary-dimensional projective space, continuing previous work on the planar case. The picture space admits a natural decomposition into smooth quasiprojective subvarieties called \emph{cellules}, indexed by partitions of the vertex set of $G$, and the irreducible components of $X^d(G)$ correspond to cellules that are maximal with respect to a partial order on partitions that is in general weaker than refinement. We study both general properties of this partial order and its characterization for specific graphs. Our results include complete combinatorial descriptions of the irreducible components of the picture spaces of complete graphs and complete multipartite graphs, for any ambient dimension $d$. In addition, we give two graph-theoretic formulas for the minimum ambient dimension in which the directions of edges in an embedding of $G$ are mutually constrained.
Weighted spanning trees on some self-similar graphs
Published in Electron. J. Combin., Vol. 18 (1), P16, 28 pp., 2011
• Search Publication
We compute the complexity of two infinite families of finite graphs: the Sierpiński graphs, which are finite approximations of the well-known Sierpińsky gasket, and the Schreier graphs of the Hanoi Towers group $H^{(3)}$ acting on the rooted ternary tree. For both of them, we study the weighted generating functions of the spanning trees, associated with several natural labellings of the edge sets.