graph
35299 papers tagged with this keyword
Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations
We give a linear-time algorithm to decide 3-colorability (and find a 3-coloring, if it exists) of quadrangulations of a fixed surface. The algorithm also allows to prescribe the coloring for a bounded number of vertices.
The extremal function for disconnected minors
For a graph $H$ let $c(H)$ denote the supremum of $|E(G)|/|V(G)|$ taken over all non-null graphs $G$ not containing $H$ as a minor. We show that $$c(H) \leq \frac{|V(H)|+\mathrm{comp}(H)}{2}-1,$$ when $H$ is a union of cycles, verifying conjectures of Reed and Wood, and Harvey and Wood.
We derive the above result from a theorem which allows us to find two vertex disjoint subgraphs with prescribed densities in a sufficiently dense graph, which might be of independent interest.
On the distance spectra of graphs
Published
• View Publication
• BIB
The distance matrix of a graph $G$ is the matrix containing the pairwise distances between vertices. The distance eigenvalues of $G$ are the eigenvalues of its distance matrix and they form the distance spectrum of $G$. We determine the distance spectra of halved cubes, double odd graphs, and Doob graphs, completing the determination of distance spectra of distance regular graphs having exactly one positive distance eigenvalue. We characterize strongly regular graphs having more positive than negative distance eigenvalues. We give examples of graphs with few distinct distance eigenvalues but lacking regularity properties. We also determine the determinant and inertia of the distance matrices of lollipop and barbell graphs.
Chromatic Ramsey number of acyclic hypergraphs
Suppose that $T$ is an acyclic $r$-uniform hypergraph, with $r\ge 2$. We define the ($t$-color) chromatic Ramsey number $χ(T,t)$ as the smallest $m$ with the following property: if the edges of any $m$-chromatic $r$-uniform hypergraph are colored with $t$ colors in any manner, there is a monochromatic copy of $T$. We observe that $χ(T,t)$ is well defined and $$\left\lceil {R^r(T,t)-1\over r-1}\right \rceil +1 \le χ(T,t)\le |E(T)|^t+1$$ where $R^r(T,t)$ is the $t$-color Ramsey number of $H$. We give linear upper bounds for $χ(T,t)$ when T is a matching or star, proving that for $r\ge 2, k\ge 1, t\ge 1$, $χ(M_k^r,t)\le (t-1)(k-1)+2k$ and $χ(S_k^r,t)\le t(k-1)+2$ where $M_k^r$ and $S_k^r$ are, respectively, the $r$-uniform matching and star with $k$ edges.
The general bounds are improved for $3$-uniform hypergraphs. We prove that $χ(M_k^3,2)=2k$, extending a special case of Alon-Frankl-Lovász' theorem. We also prove that $χ(S_2^3,t)\le t+1$, which is sharp for $t=2,3$. This is a corollary of a more general result. We define $H^{[1]}$ as the 1-intersection graph of $H$, whose vertices represent hyperedges and whose edges represent intersections of hyperedges in exactly one vertex. We prove that $χ(H)\le χ(H^{[1]})$ for any $3$-uniform hypergraph $H$ (assuming $χ(H^{[1]})\ge 2$). The proof uses the list coloring version of Brooks' theorem.
The maximum number of perfect matchings of semi-regular graphs
Published
• View Publication
• BIB
Let $n\ge 34$ be an even integer, and $D_n=2\lceil n/4 \rceil-1$. In this paper, we prove that every $\{D_n,\,D_n+1\}$-graph of order $n$ contains $\lceil n/4 \rceil$ disjoint perfect matchings. This result is sharp in the sense that (i) there exists a $\{D_n,\,D_n+1\}$-graph containing exactly $\lceil n/4 \rceil$ disjoint perfect matchings, and that (ii) there exists a $\{D_n-1,\,D_n\}$-graph without perfect matchings for each $n$. As a consequence, for any integer $D\ge D_n$, every $\{D,\,D+1\}$-graph of order $n$ contains $\lceil (D+1)/2 \rceil$ disjoint perfect matchings. This extends Csaba et~al.'s breathe-taking result that every $D$-regular graph of sufficiently large order is $1$-factorizable, generalizes Zhang and Zhu's result that every $D_n$-regular graph of order $n$ contains $\lceil n/4 \rceil$ disjoint perfect matchings, and improves Hou's result that for all $k\ge n/2$, every $\{k,\,k+1\}$-graph of order $n$ contains $(\lfloor n/3\rfloor+1+k-n/2)$ disjoint perfect matchings.
Characterisation of symmetries of unlabelled triangulations and its applications
Published
• View Publication
• BIB
We give a full characterisation of the symmetries of unlabelled triangulations and derive a constructive decomposition of unlabelled triangulations depending on their symmetries. As an application of these results we can deduce a complete enumerative description of unlabelled cubic planar graphs.
The generic minimal rigidity of a partially triangulated torus
Published
• View Publication
• BIB
A simple graph is $3$-rigid if its generic bar-joint frameworks in $R^3$ are infinitesimally rigid. Necessary and sufficient conditions are obtained for the minimal $3$-rigidity of a simple graph which is obtained from the $1$-skeleton of a triangulated torus by the deletion of edges interior to a triangulated disc.
Variants of Plane Diameter Completion
The {\sc Plane Diameter Completion} problem asks, given a plane graph $G$ and a positive integer $d$, if it is a spanning subgraph of a plane graph $H$ that has diameter at most $d$. We examine two variants of this problem where the input comes with another parameter $k$. In the first variant, called BPDC, $k$ upper bounds the total number of edges to be added and in the second, called BFPDC, $k$ upper bounds the number of additional edges per face. We prove that both problems are {\sf NP}-complete, the first even for 3-connected graphs of face-degree at most 4 and the second even when $k=1$ on 3-connected graphs of face-degree at most 5. In this paper we give parameterized algorithms for both problems that run in $O(n^{3})+2^{2^{O((kd)^2\log d)}}\cdot n$ steps.
Constructing a Family of 4-Critical Planar Graphs with High Edge-Density
Published
• View Publication
• BIB
A graph $G=(V,E)$ is a $k$-critical graph if $G$ is not $(k -1)$-colorable but $G-e$ is $(k-1)$-colorable for every $e\in E(G)$. In this paper, we construct a family of 4-critical planar graphs with $n$ vertices and $\frac{7n-13}{3}$ edges. As a consequence, this improved the bound for the maximum edge density obtained by Abbott and Zhou. We conjecture that this is the largest edge density for a 4-critical planar graph.
Large Networks of Diameter Two Based on Cayley Graphs
Published in Cybernetics and Mathematics Applications in Intelligent Systems, Advances in Intelligent Systems and Computing 574, (2017), Pages 225-233
• View Publication
• BIB
In this contribution we present a construction of large networks of diameter two and of order $\frac{1}{2}d^2$ for every degree $d\geq 8$, based on Cayley graphs with surprisingly simple underlying groups. For several small degrees we construct Cayley graphs of diameter two and of order greater than $\frac23$ of Moore bound and we show that Cayley graphs of degrees $d\in\{16,17,18,23,24,31,\dots,35\}$ constructed in this paper are the largest currently known vertex-transitive graphs of diameter two.
A characterization of L(2, 1)-labeling number for trees with maximum degree 3
An L(2, 1)-labeling of a graph is an assignment of nonnegative integers to the vertices of G such that adjacent vertices receive numbers differed by at least 2, and vertices at distance 2 are assigned distinct numbers. The L(2, 1)-labeling number is the minimum range of labels over all such labeling. It was shown by Griggs and Yeh [Labelling graphs with a condition at distance 2, SIAM J. Discrete Math. 5(1992), 586-595] that the L(2, 1)-labeling number of a tree is either \D+ 1 or \D + 2. In this paper, we give a complete characterization of L(2, 1)-labeling number for trees with maximum degree 3.
On the critical group of the missing Moore graph
Published
• View Publication
• BIB
We consider the critical group of a hypothetical Moore graph of diameter $2$ and valency $57$. Determining this group is equivalent to finding the Smith normal form of the Laplacian matrix of such a graph. We show that all of the Sylow $p$-subgroups of the critical group must be elementary abelian with the exception of $p = 5$. We prove that the $5$-rank of the Laplacian matrix determines the critical group up to two possibilities.
On friendliness between trees
The notion of friendliness between trees first appeared in solution of Lando's problem on intersection of polyhedra in 3-space. A tree is friendly to a path graph if edges of the tree can be numbered so that for each k,s the path between the edges k and k+1 contains either both or none of the edges k+2s,k+2s+1.
Theorem. If a tree contains a path containing all vertices of degree greater than 2, then the tree is friendly to a path graph.
We also prove another sufficient condition for friendliness to a path graph and a criterion for friendliness between trees, one of which has diameter 3.
The Tournament Scheduling Problem with Absences
Published
• View Publication
• BIB
We study time scheduling problems with allowed absences as a new kind of graph coloring problem. One may think of a sport tournament where each player (each team) is permitted a certain number $t$ of absences. We then examine how many rounds are needed to schedule the whole tournament in the worst case. This upper limit depends on $t$ and on the structure of the graph $G$ whose edges represent the games that have to be played, but also on whether or not the absences are announced before the tournament starts. Therefore, we actually have two upper limits for the number of required rounds. We have $χ^t(G)$ for pre-scheduling if all absences are pre-fixed, and we have $χ_{\textit{OL}}^t(G)$ for on-line scheduling if we have to stay flexible and deal with absences when they occur. We conjecture that $χ^t(G)=Δ(G)+2t$ and that $χ_{\textit{OL}}^t(G)=χ'(G)+2t.$ The first conjecture is stronger than the Total Coloring Conjecture while the second is weaker than the On-Line List Edge Coloring Conjecture. Our conjectures hold for all bipartite graphs. For complete graphs, we prove them partially. Lower and upper bounds to $χ^t(G)$ and $χ_{\textit{OL}}^t(G)$ for general multigraphs $G$ are established, too.
Chromatic bases for symmetric functions
Published in Electron. J. Combin. 23:P1.15 6pp (2016)
• View Publication
• BIB
In this note we obtain numerous new bases for the algebra of symmetric functions whose generators are chromatic symmetric functions. More precisely, if $\{ G_ k \}_{k\geq 1}$ is a set of connected graphs such that $G_k$ has $k$ vertices for each $k$, then the set of all chromatic symmetric functions $\{ X_{G_ k} \}_{k\geq 1}$ generates the algebra of symmetric functions. We also obtain explicit expressions for the generators arising from complete graphs, star graphs, path graphs and cycle graphs.
A Characterization of Triangle-free Gorenstein graphs and Cohen-Macaulayness of second powers of edge ideals
Published
• View Publication
• BIB
We graph-theoretically characterize triangle-free Gorenstein graphs $G$. As an application, we classify when $I(G)^2$ is Cohen-Macaulay.
On eigenvalue distribution of random matrices of Ihara zeta function of large random graphs
Published in Journal of Mathematical Physics, Analysis, Geometry, Vol. 13 (2017) 268-282
• View Publication
• BIB
We consider the ensemble of real symmetric random matrices $H^{(n,ρ)}$ obtained from the determinant form of the Ihara zeta function of random graphs that have $n$ vertices with the edge probability $ρ/n$. We prove that the normalized eigenvalue counting function of $H^{(n,ρ)}$ weakly converges in average as $n,ρ\to\infty$ and $ρ=o(n^α)$ for any $α>0$ to a shift of the Wigner semi-circle distribution. Our results support a conjecture that the large Erdos-Rényi random graphs satisfy in average the weak graph theory Riemann Hypothesis.
A relaxation of the strong Bordeaux Conjecture
Published
• View Publication
• BIB
Let $c_1, c_2, \cdots, c_k$ be $k$ non-negative integers. A graph $G$ is $(c_1, c_2, \cdots, c_k)$-colorable if the vertex set can be partitioned into $k$ sets $V_1,V_2, \ldots, V_k$, such that the subgraph $G[V_i]$, induced by $V_i$, has maximum degree at most $c_i$ for $i=1, 2, \ldots, k$. Let $\mathcal{F}$ denote the family of plane graphs with neither adjacent 3-cycles nor $5$-cycle. Borodin and Raspaud (2003) conjectured that each graph in $\mathcal{F}$ is $(0,0,0)$-colorable. In this paper, we prove that each graph in $\mathcal{F}$ is $(1, 1, 0)$-colorable, which improves the results by Xu (2009) and Liu-Li-Yu (2014+).
Cycle lengths and minimum degree of graphs
Published
• View Publication
• BIB
There has been extensive research on cycle lengths in graphs with large minimum degree. In this paper, we obtain several new and tight results in this area. Let $G$ be a graph with minimum degree at least $k+1$. We prove that if $G$ is bipartite, then there are $k$ cycles in $G$ whose lengths form an arithmetic progression with common difference two. For general graph $G$, we show that $G$ contains $\lfloor k/2\rfloor$ cycles with consecutive even lengths and $k-3$ cycles whose lengths form an arithmetic progression with common difference one or two. In addition, if $G$ is 2-connected and non-bipartite, then $G$ contains $\lfloor k/2\rfloor$ cycles with consecutive odd lengths.
Thomassen (1983) made two conjectures on cycle lengths modulo a fixed integer $k$: (1) every graph with minimum degree at least $k+1$ contains cycles of all even lengths modulo $k$; (2) every 2-connected non-bipartite graph with minimum degree at least $k+1$ contains cycles of all lengths modulo $k$. These two conjectures, if true, are best possible. Our results confirm both conjectures when $k$ is even. And when $k$ is odd, we show that minimum degree at least $k+4$ suffices. This improves all previous results in this direction. Moreover, our results derive new upper bounds of the chromatic number in terms of the longest sequence of cycles with consecutive (even or odd) lengths.
Simultaneous Embeddings with Few Bends and Crossings
Published
• View Publication
• BIB
A simultaneous embedding with fixed edges (SEFE) of two planar graphs $R$ and $B$ is a pair of plane drawings of $R$ and $B$ that coincide when restricted to the common vertices and edges of $R$ and $B$. We show that whenever $R$ and $B$ admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve with few bends and every pair of edges has few crossings. Specifically: (1) if $R$ and $B$ are trees then one bend per edge and four crossings per edge pair suffice (and one bend per edge is sometimes necessary), (2) if $R$ is a planar graph and $B$ is a tree then six bends per edge and eight crossings per edge pair suffice, and (3) if $R$ and $B$ are planar graphs then six bends per edge and sixteen crossings per edge pair suffice. Our results improve on a paper by Grilli et al. (GD'14), which proves that nine bends per edge suffice, and on a paper by Chan et al. (GD'14), which proves that twenty-four crossings per edge pair suffice.