graph
34665 papers tagged with this keyword
Dirac-type theorems in random hypergraphs
Published
• View Publication
• BIB
For positive integers $d<k$ and $n$ divisible by $k$, let $m_{d}(k,n)$ be the minimum $d$-degree ensuring the existence of a perfect matching in a $k$-uniform hypergraph. In the graph case (where $k=2$), a classical theorem of Dirac says that $m_{1}(2,n)=\lceil n/2\rceil$. However, in general, our understanding of the values of $m_{d}(k,n)$ is still very limited, and it is an active topic of research to determine or approximate these values. In this paper we prove a "transference" theorem for Dirac-type results relative to random hypergraphs. Specifically, for any $d< k$, any $\varepsilon>0$ and any "not too small" $p$, we prove that a random $k$-uniform hypergraph $G$ with $n$ vertices and edge probability $p$ typically has the property that every spanning subgraph of $G$ with minimum degree at least $(1+\varepsilon)m_{d}(k,n)p$ has a perfect matching. One interesting aspect of our proof is a "non-constructive" application of the absorbing method, which allows us to prove a bound in terms of $m_{d}(k,n)$ without actually knowing its value.
Flexibility of planar graphs without $C_4$ and $C_5$
Published
• View Publication
• BIB
Let $G$ be a $\{C_4, C_5\}$-free planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if all lists have size at least four, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.
Generalizing the Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma
Published
• View Publication
• BIB
Recently, Brandt, Maus and Uitto [PODC'19] showed that, in a restricted setting, the dependency of the complexity of the distributed Lovász Local Lemma (LLL) on the chosen LLL criterion exhibits a sharp threshold phenomenon: They proved that, under the LLL criterion $p2^d < 1$, if each random variable affects at most $3$ events, the deterministic complexity of the LLL in the LOCAL model is $O(d^2 + \log^* n)$. In stark contrast, under the criterion $p2^d \leq 1$, there is a randomized lower bound of $Ω(\log \log n)$ by Brandt et al. [STOC'16] and a deterministic lower bound of $Ω(\log n)$ by Chang, Kopelowitz and Pettie [FOCS'16]. Brandt, Maus and Uitto conjectured that the same behavior holds for the unrestricted setting where each random variable affects arbitrarily many events.
We prove their conjecture, by providing an algorithm that solves the LLL in time $O(d^2 + \log^* n)$ under the LLL criterion $p2^d < 1$, which is tight in bounded-degree graphs due to an $Ω(\log^* n)$ lower bound by Chung, Pettie and Su [PODC'14]. By the work of Brandt, Maus and Uitto, obtaining such an algorithm can be reduced to proving that all members in a certain family of functions in arbitrarily high dimensions are convex on some specific domain. Unfortunately, an analytical description of these functions is known only for dimension at most $3$, which led to the aforementioned restriction of their result. While obtaining those descriptions for functions of (substantially) higher dimension seems out of the reach of current techniques, we show that their convexity can be inferred by combinatorial means.
Independent Sets of Random Trees and of Sparse Random Graphs
Published
• View Publication
• BIB
An independent set of size $k$ in a finite undirected graph $G$ is a set of $k$ vertices of the graph, no two of which are connected by an edge. Let $x_{k}(G)$ be the number of independent sets of size $k$ in the graph $G$ and let $α(G)=\max\{k\geq0\colon x_{k}(G)\neq0\}$. In 1987, Alavi, Malde, Schwenk and Erdös asked if the independent set sequence $x_{0}(G),x_{1}(G),\ldots,x_{α(G)}(G)$ of a tree is unimodal (the sequence goes up and then down). This problem is still open. In 2006, Levit and Mandrescu showed that the last third of the independent set sequence of a tree is decreasing. We show that the first 46.8\% of the independent set sequence of a random tree is increasing with (exponentially) high probability as the number of vertices goes to infinity. So, the question of Alavi, Malde, Schwenk and Erdös is ``four-fifths true'', with high probability.
We also show unimodality of the independent set sequence of Erdös-Renyi random graphs, when the expected degree of a single vertex is large (with (exponentially) high probability as the number of vertices in the graph goes to infinity, except for a small region near the mode). A weaker result is shown for random regular graphs.
The structure of independent sets of size $k$ as $k$ varies is of interest in probability, statistical physics, combinatorics, and computer science.
Extremal problems and results related to Gallai-colorings
Published in DiscreteMathematics, 2021
• View Publication
• BIB
A Gallai-coloring (Gallai-$k$-coloring) is an edge-coloring (with colors from $\{1, 2, \ldots, k\}$) of a complete graph without rainbow triangles. Given a graph $H$ and a positive integer $k$, the $k$-colored Gallai-Ramsey number $GR_k(H)$ is the minimum integer $n$ such that every Gallai-$k$-coloring of the complete graph $K_n$ contains a monochromatic copy of $H$. In this paper, we consider two extremal problems related to Gallai-$k$-colorings. First, we determine upper and lower bounds for the maximum number of edges that are not contained in any rainbow triangle or monochromatic triangle in a $k$-edge-coloring of $K_n$. Second, for $n\geq GR_k(K_3)$, we determine upper and lower bounds for the minimum number of monochromatic triangles in a Gallai-$k$-coloring of $K_{n}$, yielding the exact value for $k=3$. Furthermore, we determine the Gallai-Ramsey number $GR_k(K_4+e)$ for the graph on five vertices consisting of a $K_4$ with a pendant edge.
An extension of a cubic 2-connected plane graph G to a hamiltonian plane graph contained in G^{2}
Let $G$ be a simple cubic 2-connected plane graph. For every $2$-factor $X$ of $G$ having $n$-components there exists a simple hamiltonian plane graph $J \subset G^{2}$ such that $|E(J)|= |E(G)| + 2n -2$ and $Δ(J) \leqslant 5$.
Circles and Paths in 2-Colored Best Match Graphs
Recent investigations in computational biology focus on a family of 2-colored digraphs, called 2-colored best match graphs, which naturally arise from rooted phylogenetic trees. Actually the defining properties of such graphs are unexpectedly unusual in graph theory, and they were established only recently after the discovery of their links to evolutionary relatedness via phylogenetic trees. In this paper several results are obtained on 2-colored best match graphs which well fit in the mainstream of graph theory.
Two lower bounds for $p$-centered colorings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (November 11, 2020) dmtcs:6543
• View Publication
• BIB
Given a graph $G$ and an integer $p$, a coloring $f : V(G) \to \mathbb{N}$ is \emph{$p$-centered} if for every connected subgraph $H$ of $G$, either $f$ uses more than $p$ colors on $H$ or there is a color that appears exactly once in $H$. The notion of $p$-centered colorings plays a central role in the theory of sparse graphs. In this note we show two lower bounds on the number of colors required in a $p$-centered coloring.
First, we consider monotone classes of graphs whose shallow minors have average degree bounded polynomially in the radius, or equivalently (by a result of Dvořák and Norin), admitting strongly sublinear separators. We construct such a class such that $p$-centered colorings require a number of colors super-polynomial in $p$. This is in contrast with a recent result of Pilipczuk and Siebertz, who established a polynomial upper bound in the special case of graphs excluding a fixed minor.
Second, we consider graphs of maximum degree $Δ$. Dębski, Felsner, Micek, and Schröder recently proved that these graphs have $p$-centered colorings with $O(Δ^{2-1/p} p)$ colors. We show that there are graphs of maximum degree $Δ$ that require $Ω(Δ^{2-1/p} p \ln^{-1/p}Δ)$ colors in any $p$-centered coloring, thus matching their upper bound up to a logarithmic factor.
A connection between the Ice-type model of Linus Pauling and the three-color problem
Published in European Journal of Physics, 42, 025101 (2021)
• View Publication
• BIB
The ice-type model proposed by Linus Pauling to explain its entropy at low temperatures is here approached in a didactic way. We first present a theoretically estimated low-temperature entropy and compare it with numerical results. Then, we consider the mapping between this model and the three-colour problem, i.e.,colouring a regular graph with coordination equal to 4 (a two-dimensional lattice) with three colours, for which we apply the transfer-matrix method to calculate all allowed configurations for two-dimensional square lattices of $N$ oxygen atoms ranging from 4 to 225. Finally, from a linear regression of the transfer matrix results, we obtain an estimate for the case $N\rightarrow \infty $ which is compared with the exact solution by Lieb.
Some exact results for generalized Turán problems
Published
• View Publication
• BIB
Fix a $k$-chromatic graph $F$. In this paper we consider the question to determine for which graphs $H$ does the Turán graph $T_{k-1}(n)$ have the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs (for $n$ large enough). We say that such a graph $H$ is $F$-Turán-good. In addition to some general results, we give (among others) the following concrete results:
(i) For every complete multipartite graph $H$, there is $k$ large enough such that $H$ is $K_k$-Turán-good.
(ii) The path $P_3$ is $F$-Turán-good for $F$ with $χ(F) \geq 4$.
(iii) The path $P_4$ and cycle $C_4$ are $C_5$-Turán-good.
(iv) The cycle $C_4$ is $F_2$-Turán-good where $F_2$ is the graph of two triangles sharing exactly one vertex.
Graceful and Prime Labelings -- Algorithms, Embeddings and Conjectures
Four algorithms giving rise to graceful graphs from a known (non)graceful graph are described. Some necessary conditions for a graph to be highly graceful and critical are given. Finally some conjectures are made on graceful, critical and highly graceful graphs. The RingelRosaKotzig Conjecture is generalized to highly graceful graphs. MayedaSeshu Tree Generation Algorithm is modified to generate all possible graceful labelings of trees of order p. An alternative algorithm in terms of integers modulo p is described which includes all possible graceful labelings of trees of order p and some interesting properties are observed. Optimal and graceful graph embeddings (not necessarily connected) are given. Alternative proofs for embedding a graph into a graceful graph as a subgraph and as an induced subgraph are included. An algorithm to obtain an optimal graceful embedding is described. A necessary condition for a graph to be supergraceful is given. As a consequence some classes of nonsupergraceful graphs are obtained. Embedding problems of a graph into a supergraceful graph are studied. A catalogue of super graceful graphs with at most five nodes is appended. Optimal graceful and supergraceful embeddings of a graph are given. Graph theoretical properties of prime and superprime graphs are listed. Good upper bound for minimum number of edges in a nonprime graph is given and some conjectures are proposed which in particular includes Entringers prime tree conjecture. A conjecture for regular prime graphs is also proposed.
Eulers Graph World -- More Conjectures On Gracefulness Boundaries-I
Euler graphs are characterized by the simple criterion that degree of each node is even. By restricting on the cycle types yet additional intrinsic properties of Euler graphs are unveiled. For example, regularity higher than degree two is impossible within the class εi of Euler graphs with one type of cycles Cn, n=i(mod 4), i=0,1,2,3. Further, graphs in εi are planar for i=1,2,3. In the light of new properties of Euler graphs more gracefulness boundaries are conjectured for subclasses of Euler graphs and where relevant extended for general class of graphs. In absence of general analytical results much of the published papers resort to proving an infinite class of graphs graceful or nongraceful. The purpose of this paper is not to give families of graphs graceful or not. Instead, based on the available information expected gracefulness boundaries are proposed which may guide where to look for graceful graphs or lead to characterizations. While the (Ringel,Kotzig,Rosa) Tree Conjecture continues to remain unsettled, the work reported here serves an update on the conjectures made in Rao Hebbare (1975,1981) and more conjectures subsequently made in Rao (1999,2000) based on embedding theorems and graceful algorithms for constructing graceful graphs from a graceful graph. It is hoped that these conjectures lead to analytical techniques for establishing gracefulness property. Further probe into Euler graphs with only two types of cycles and other combinations of cycles continues.
Eulers Graph World -- More Conjectures On Gracefulness Boundaries-II
The subclass of Euler graphs with only one type of cycles under (mod 4) operation was studied in Part-1 of this series. It was established that such graphs under regularity are nonexistent for degree >2. Here we consider the subclass of Euler graphs with only two types of cycles under (mod 4) operation. Six cases arise. The case when the cycle types are 0&2(mod 4), the well known class of bipartite Euler graphs, the existence of regular bipartite Euler graphs is very much known. In the other five cases, it transpires that regular Euler graphs with only two types of cycles are nonexistent. Some constructions of Euler graphs with the property are given. We investigate some properties of cycle decompositions, block structure and cycle intersections. Cycle decomposition of Euler graphs allows segregating Euler graphs satisfying Rosa-Golumb criterion and so are nongraceful. In the other case the graphs are possible candidates for gracefulness and are conjectured graceful leading to better understanding of gracefulness boundaries. The cases when the cycle types are 1&2, 1&3, 2&3(mod 4) the graphs are proved to be planar and in other three cases the graphs may not be planar with examples of nonplanar graphs. Probe into the properties of Euler graphs is to propose expected gracefulness boundaries which may guide where to look for graceful graphs. Further, the conjectures may lead to analytical techniques for establishing gracefulness property.
A note on the connected game coloring number
Published
• View Publication
• BIB
We consider the \emph{connected game coloring number} of a graph, introduced by Charpentier et al. as a game theoretic graph parameter that measures the degeneracy of a graph with respect to a certain two-player game played with an uncooperative adversary. We consider the connected game coloring number of graphs of bounded treedepth and of $k$-trees. In particular, we show that there exists an outerplanar $2$-tree with connected game coloring number of $5$, which answers a question from [C. Charpentier, H. Hocquard, E. Sopena, and X. Zhu. A connected version of the graph coloring game. \textit{Discrete Appl. Math.}, 2020].
A note on the largest induced matching in graphs avoiding a fixed bipartite graph
We give a simple proof that every $n$-vertex graph $d$-regular graph that does not contain a fixed bipartite graph as a subgraph has an induced matching of size $Ω((n/d)(\log d))$.
On distance matrices of wheel graphs with odd number of vertices
Published
• View Publication
• BIB
Let $W_n$ denote the wheel graph having $n$-vertices. If $i$ and $j$ are any two vertices of $W_n$, define \[d_{ij}:= \begin{cases} 0 & \mbox{if}~i=j \\ 1 & \mbox{if}~i~ \mbox{and} ~j~ \mbox{are adjacent} \\ 2 & \mbox{else}. \end{cases}\] Let $D$ be the $n \times n$ matrix with $(i,j)^{\rm th}$ entry equal to $d_{ij}$. The matrix $D$ is called the distance matrix of $W_n$. Suppose $n \geq 5$ is an odd integer. In this paper, we deduce a formula to compute the Moore-Penrose inverse of $D$. More precisely, we obtain an $n\times n$ matrix $\widetilde{L}$ and a rank one matrix $ww'$ such that \[D^\dagger = -\frac{1}{2} \widetilde{L}+\frac{4}{n-1}ww'.\] Here, $\widetilde{L}$ is positive semidefinite, ${\rm rank}(\widetilde{L})=n-2$ and all row sums are equal to zero.
Line Completion Number of Grid Graph $P_n \times P_m$
Published in Communications in Combinatorics and Optimization, Vol. 6, No. 2, 2021 pp.299-313
• View Publication
• BIB
The concept of super line graph was introduced in the year 1995 by Bagga, Beineke and Varma. Given a graph with at least $r$ edges, the super line graph of index $r$, $L_r(G)$, has as its vertices the sets of $r$ edges of $G$, with two adjacent if there is an edge in one set adjacent to an edge in the other set. The line completion number $lc(G)$ of a graph $G$ is the least positive integer $r$ for which $L_r(G)$ is a complete graph. In this paper, we find the line completion number of grid graph $P_n \times P_m$ for various cases of $n$ and $m$.
Clique-Width: Harnessing the Power of Atoms
Published
• View Publication
• BIB
Many NP-complete graph problems are polynomial-time solvable on graph classes of bounded clique-width. Several of these problems are polynomial-time solvable on a hereditary graph class ${\cal G}$ if they are so on the atoms (graphs with no clique cut-set) of ${\cal G}$. Hence, we initiate a systematic study into boundedness of clique-width of atoms of hereditary graph classes. A graph $G$ is $H$-free if $H$ is not an induced subgraph of $G$, and it is $(H_1,H_2)$-free if it is both $H_1$-free and $H_2$-free. A class of $H$-free graphs has bounded clique-width if and only if its atoms have this property. This is no longer true for $(H_1,H_2)$-free graphs, as evidenced by one known example. We prove the existence of another such pair $(H_1,H_2)$ and classify the boundedness of clique-width on $(H_1,H_2)$-free atoms for all but 18 cases.
Characterizations of Some Parity Signed Graphs
We describe parity labelings of signed graphs; equivalently, cuts of the underlying graph that have nearly equal sides. We characterize the balanced signed graphs which are parity signed graphs. We give structural characterizations of all parity signed stars, bistars, cycles, paths and complete bipartite graphs. The rna number of a graph is the smallest cut size that has nearly equal sides; we find it for a few classes of parity signed graphs.
A Strengthening of the Erdős-Szekeres Theorem
Published
• View Publication
• BIB
The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We characterize the subgraphs of $K_{rs+1}$ with this coloring property as follows: they are exactly the subgraphs that contain all the edges of a graph we call the circus tent graph $CT(r,s)$.
Additionally, we use similar proof techniques to improve upon some of the bounds on the online ordered size Ramsey number of a path given by Pérez-Giménez, Pralat, and West.