graph
34516 papers tagged with this keyword
On $(r,c)$-constant, planar and circulant graphs
This paper concerns $(r,c)$-constant graphs, which are $r$-regular graphs in which the subgraph induced by the open neighbourhood of every vertex has precisely $c$ edges. The family of $(r,c)$-graphs contains vertex-transitive graphs (and in particular Cayley graphs), graphs with constant link (sometimes called locally isomorphic graphs), $(r,b)$-regular graphs, strongly regular graphs, and much more.
This family was recently introduced in [arXiv:2312.08777] serving as important tool in constructing flip graphs [arXiv:2312.08777, arXiv:2401.02315].
In this paper we shall mainly deal with the following:
i. Existence and non-existence of $(r, c)$-planar graphs. We completely determine the cases of existence and non-existence of such graphs and supply the smallest order in the case when they exist.
ii. We consider the existence of $(r, c)$-circulant graphs. We prove that for $c \equiv 2 \ (\mathrm{mod} \ 3)$ no $(r,c)$-circulant graph exists and that for $c \equiv 0, 1 \ (\mathrm{mod} \ 3)$, $c > 0$ and $r \geq 6 + \sqrt{\frac{8c - 5}{3}}$ there exists $(r,c)$-circulant graphs. Moreover for $c = 0$ and $r \geq 1$, $(r, 0)$-circulants exist.
iii. We consider the existence and non-existence of small $(r,c)$-constant graphs, supplying a complete table of the smallest order of graphs we found for $0 \leq c \leq \binom{r}{2}$ and $r \leq 6$. We shall also determine all the cases in this range for which $(r,c)$-constant graphs don't exist. We establish a public database of $(r,c)$-constant graphs for varying $r$, $c$ and order.
On the $(k+2,k)$-problem of Brown, Erdős and Sós for $k=5,6,7$
Let $f^{(r)}(n;s,k)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph containing no subgraph with $k$ edges and at most $s$ vertices. Brown, Erdős and Sós [New directions in the theory of graphs (Proc. Third Ann Arbor Conf., Univ. Michigan 1971), pp. 53--63, Academic Press 1973] conjectured that the limit $\lim_{n\rightarrow \infty}n^{-2}f^{(3)}(n;k+2,k)$ exists for all $k$. The value of the limit was previously determined for $k=2$ in the original paper of Brown, Erdős and Sós, for $k=3$ by Glock [Bull. Lond. Math. Soc. 51 (2019) 230--236] and for $k=4$ by Glock, Joos, Kim, Kühn, Lichev and Pikhurko [Proc. Amer. Math. Soc., Series B, 11 (2024) 173-186] while Delcourt and Postle [Proc. Amer. Math. Soc., 152 (2024), 1881-1891] proved the conjecture (without determining the limiting value).
In this paper, we determine the value of the limit in the Brown-Erdős-Sós Problem for $k\in \{5,6,7\}$. More generally, we obtain the value of $\lim_{n\rightarrow \infty}n^{-2}f^{(r)}(n;rk-2k+2,k)$ for all $r\geq 3$ and $k\in \{5,6,7\}$. In addition, by combining these new values with recent results of Bennett, Cushman and Dudek [arXiv:2309.00182] we obtain new asymptotic values for several generalised Ramsey numbers.
Algorithms and complexity for path covers of temporal DAGs: when is Dilworth dynamic?
In this paper, we study a dynamic analogue of the Path Cover problem, which can be solved in polynomial-time in directed acyclic graphs. A temporal digraph has an arc set that changes over discrete time-steps, if the underlying digraph (the union of all the arc sets) is acyclic, then we have a temporal DAG. A temporal path is a directed path in the underlying digraph, such that the time-steps of arcs are strictly increasing along the path. Two temporal paths are temporally disjoint if they do not occupy any vertex at the same time. A temporal (resp. temporally disjoint) path cover is a collection of (resp. temporally disjoint) temporal paths that covers all vertices. In this paper, we study the computational complexities of the problems of finding a temporal (disjoint) path cover with minimum cardinality, denoted as Temporal Path Cover (TPC) and Temporally Disjoint Path Cover (TD-PC). We show that both problems are NP-hard even when the underlying DAG is planar, bipartite, subcubic, and there are only two arc-disjoint time-steps. Moreover, TD-PC remains NP-hard even on temporal oriented trees. In contrast, we show that TPC is polynomial-time solvable on temporal oriented trees by a reduction to Clique Cover for (static undirected) weakly chordal graphs (a subclass of perfect graphs for which Clique Cover admits an efficient algorithm). This highlights an interesting algorithmic difference between the two problems. Although it is NP-hard on temporal oriented trees, TD-PC becomes polynomial-time solvable on temporal oriented lines and temporal rooted directed trees. We also show that TPC (resp. TD-PC) admits an XP (resp. FPT) time algorithm with respect to parameter tmax + tw, where tmax is the maximum time-step, and tw is the treewidth of the underlying static undirected graph.
On $[1,2]$-Domination in Interval and Circle Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Discrete Algorithms (November 15, 2024) dmtcs:13194
• View Publication
• BIB
A subset $S$ of vertices in a graph $G=(V, E)$ is a Dominating Set if each vertex in $V(G)\setminus S$ is adjacent to at least one vertex in $S$. Chellali et al. in 2013, by restricting the number of neighbors in $S$ of a vertex outside $S$, introduced the concept of $[1,j]$-dominating set. A set $D \subseteq V$ of a graph $G = (V, E)$ is called a $[1,j]$-Dominating Set of $G$ if every vertex not in $D$ has at least one neighbor and at most $j$ neighbors in $D$. The Minimum $[1,j]$-Domination problem is the problem of finding the minimum $[1,j]$-dominating set $D$. Given a positive integer $k$ and a graph $G = (V, E)$, the $[1,j]$-Domination Decision problem is to decide whether $G$ has a $[1,j]$-dominating set of cardinality at most $k$. A polynomial-time algorithm was obtained in split graphs for a constant $j$ in contrast to the Dominating Set problem which is NP-hard for split graphs. This result motivates us to investigate the effect of restriction $j$ on the complexity of $[1,j]$-domination problem on various classes of graphs. Although for $j\geq 3$, it has been proved that the minimum of classical domination is equal to minimum $[1,j]$-domination in interval graphs, the complexity of finding the minimum $[1,2]$-domination in interval graphs is still outstanding. In this paper, we propose a polynomial-time algorithm for computing a minimum $[1,2]$-dominating set on interval graphs by a dynamic programming technique. Next, on the negative side, we show that the minimum $[1,2]$-dominating set problem on circle graphs is $NP$-complete.
Tight general bounds for the extremal numbers of 0-1 matrices
A zero-one matrix $M$ is said to contain another zero-one matrix $A$ if we can delete some rows and columns of $M$ and replace some $1$-entries with $0$-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted $\operatorname{ex}(n,A)$, is the maximum number of $1$-entries that an $n\times n$ zero-one matrix can have without containing $A$. The systematic study of this function for various patterns $A$ goes back to the work of Füredi and Hajnal from 1992, and the field has many connections to other areas of mathematics and theoretical computer science. The problem has been particularly extensively studied for so-called acyclic matrices, but very little is known about the general case (that is, the case where $A$ is not necessarily acyclic). We prove the first asymptotically tight general result by showing that if $A$ has at most $t$ $1$-entries in every row, then $\operatorname{ex}(n,A)\leq n^{2-1/t+o(1)}$. This verifies a conjecture of Methuku and Tomon.
Our result also provides the first tight general bound for the extremal number of vertex-ordered graphs with interval chromatic number $2$, generalizing a celebrated result of Füredi, and Alon, Krivelevich and Sudakov about the (unordered) extremal number of bipartite graphs with maximum degree $t$ in one of the vertex classes.
Qualitative, statistical and extreme properties of spectral indices of signable pseudo-invertible graphs
In this paper, we investigate the Moore-Penrose inversion of a simple connected graph. We analyze qualitative, statistical, and extreme properties of spectral indices of signable pseudo-invertible graphs. We introduce and analyze a wide class of signable pseudo-invertible simple connected graphs. It is a generalization of the classical concept of positively integrally invertible graphs due to Godsil. We present several constructions of signable pseudo-invertible graphs. We also discuss statistical properties of various spectral indices of the class of signable pseudo-invertible graphs.
Secure Total Domination Number in Maximal Outerplanar Graphs
A subset $S$ of vertices in a graph $G$ is a secure total dominating set of $G$ if $S$ is a total dominating set of $G$ and, for each vertex $u \not\in S$, there is a vertex $v \in S$ such that $uv$ is an edge and $(S \setminus \{v\}) \cup \{u\}$ is also a total dominating set of $G$. We show that if $G$ is a maximal outerplanar graph of order $n$, then $G$ has a total secure dominating set of size at most $\lfloor 2n/3 \rfloor$. Moreover, if an outerplanar graph $G$ of order $n$, then each secure total dominating set has at least $\lceil (n+2)/3 \rceil$ vertices. We show that these bounds are best possible.
Symmetric Perfect $2$-colorings on $J(10,3)$
We study perfect $2$-coloring of the Johnson graphs $J(n,3)$ associated with the third largest eigenvalue and symmetric quotient matrix, which exists only when $n \in \{6, 10\}$. We survey the known constructions in the case $n=6$, give a new construction for the two known perfect $2$-colorings in the case $n=10$, and prove that these are the only possible ones.
On the mod $k$ chromatic index of graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (November 10, 2024) dmtcs:13187
• View Publication
• BIB
For a graph $G$ and an integer $k\geq 2$, a $χ'_{k}$-coloring of $G$ is an edge coloring of $G$ such that the subgraph induced by the edges of each color has all degrees congruent to $1 ~ (\mod k)$, and $χ'_{k}(G)$ is the minimum number of colors in a $χ'_{k}$-coloring of $G$. In ["The mod $k$ chromatic index of graphs is $O(k)$", J. Graph Theory. 2023; 102: 197-200], Botler, Colucci and Kohayakawa proved that $χ'_{k}(G)\leq 198k-101$ for every graph $G$. In this paper, we show that $χ'_{k}(G) \leq 177k-93$.
On the Structure of Hamiltonian Graphs with Small Independence Number
A Hamiltonian path (cycle) in a graph is a path (cycle, respectively) which passes through all of its vertices. The problems of deciding the existence of a Hamiltonian cycle (path) in an input graph are well known to be NP-complete, and restricted classes of graphs which allow for their polynomial-time solutions are intensively investigated. Until very recently the complexity was open even for graphs of independence number at most 3. So far unpublished result of Jedličková and Kratochvíl [arXiv:2309.09228] shows that for every integer $k$, Hamiltonian path and cycle are polynomial-time solvable in graphs of independence number bounded by $k$. As a companion structural result, we determine explicit obstacles for the existence of a Hamiltonian path for small values of $k$, namely for graphs of independence number 2, 3, and 4. Identifying these obstacles in an input graph yields alternative polynomial-time algorithms for Hamiltonian path and cycle with no large hidden multiplicative constants.
Vertex-disjoint cycles of different lengths in tournaments
Bermond and Thomassen conjectured in 1981 that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles,here $k$ is a positive integer. Lichiardopol conjectured in 2014 that for every positive integer $k$ there exists an integer $g(k)$ such that every digraph with minimum outdegree at least $g(k)$ contains $k$ vertex-disjoint cycles of different lengths. Recently, Chen and Chang proved in [J. Graph Theory 105 (2) (2024) 297-314] that for $k\geqslant 3$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which two of them have different lengths. Motivated by the above two conjectures and related results, we investigate vertex-disjoint cycles of different lengths in tournaments, and show that when $k\geqslant 5$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which three of them have different lengths. In addition, we show that every tournament with minimum outdegree at least $6$ contains three vertex-disjoint cycles of different lengths and the minimum outdegree condition is sharp. This answers a question proposed by Chen and Chang.
Largest common subgraph of two forests
A common subgraph of two graphs $G_1$ and $G_2$ is a graph that is isomorphic to subgraphs of $G_1$ and $G_2$. In the largest common subgraph problem the task is to determine a common subgraph for two given graphs $G_1$ and $G_2$ that is of maximum possible size ${\rm lcs}(G_1,G_2)$. This natural problem generalizes the well-studied graph isomorphism problem, has many applications, and remains NP-hard even restricted to unions of paths. We present a simple $4$-approximation algorithm for forests, and, for every fixed $ε\in (0,1)$, we show that, for two given forests $F_1$ and $F_2$ of order at most $n$, one can determine in polynomial time a common subgraph $F$ of $F_1$ and $F_2$ with at least ${\rm lcs}(F_1,F_2)-εn$ edges. Restricted to instances with ${\rm lcs}(F_1,F_2)\geq cn$ for some fixed positive $c$, this yields a polynomial time approximation scheme. Our approach relies on the approximation of the given forests by structurally simpler forests that are composed of copies of only $O(\log (n))$ different starlike rooted trees and iterative quantizations of the options for the solutions.
The gonality of chess graphs
Chess graphs encode the moves that a particular chess piece can make on an $m\times n$ chessboard. We study through these graphs through the lens of chip-firing games and graph gonality. We provide upper and lower bounds for the gonality of king's, bishop's, and knight's graphs, as well as for the toroidal versions of these graphs. We also prove that among all chess graphs, there exists an upper bound on gonality solely in terms of $\min\{m,n\}$, except for queen's, toroidal queen's, rook's, and toroidal bishop's graphs.
Zero forcing irredundant sets
Irredundance has been studied in the context of dominating sets, via the concept of private neighbor. Here irredundance of zero forcing sets is introduced via the concept of a private fort and the upper and lower zero forcing irrdedundance numbers $\mbox{ZIR}(G)$ and $\mbox{zir}(G)$ are defined. Bounds on $\mbox{ZIR}(G)$ and $\mbox{zir}(G)$ are established and graphs having extreme values of $\mbox{ZIR}(G)$ and $\mbox{zir}(G)$ are characterized. The effect of the join and corona operations is studied. As the concept of a zero forcing irrdedundant set is new, there are many questions for future research.
Bounds for Rainbow-uncommon Graphs
We say a graph $H$ is $r$-rainbow-uncommon if the maximum number of rainbow copies of $H$ under an $r$-coloring of $E(K_n)$ is asymptotically (as $n \to \infty$) greater than what is expected from uniformly random $r$-colorings. Via explicit constructions, we show that for $H\in\{K_3,K_4, K_5\}$, $H$ is $r$-rainbow-uncommon for all $r\geq {|V(H)|\choose 2}$. We also construct colorings to show that for $t \geq 6$, $K_t$ is $r$-rainbow-uncommon for sufficiently large $r$.
Outerplanar graphs with positive Lin-Lu-Yau curvature
Published in Journal of Combinatorics, pp. 465-480 Volume 16 (2025) Number 4
• View Publication
• BIB
In this paper, we show that all simple outerplanar graphs $G$ with minimum degree at least $2$ and positive Lin-Lu-Yau Ricci curvature on every edge have maximum degree at most $9$. Furthermore, if $G$ is maximally outerplanar, then $G$ has at most $10$ vertices. Both upper bounds are sharp.
Counting lattice points that appear as algebraic invariants of Cameron-Walker graphs
In 2021, Hibi et. al. studied lattice points in $\mathbb{N}^2$ that appear as $(\depth R/I,\dim R/I)$ when $I$ is the edge ideal of a graph on $n$ vertices, and showed these points lie between two convex polytopes. When restricting to the class of Cameron--Walker graphs, they showed that these pairs do not form a convex lattice polytope. In this paper, for the edge ideal $I$ of a Cameron--Walker graph on $n$ vertices, we find how many points in $\mathbb{N}^2$ appear as $(\depth(R/I),\dim(R/I))$, and how many points in $\mathbb{N}^4$ appear as $(\depth(R/I),\reg(R/I),\dim(R/I),\degh(R/I)).$
The Ramsey numbers for trees of order $n$ with maximum degree at least $n-5$ versus the wheel graph of order nine
The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.
On some path-critical Ramsey numbers
For graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $r$ such that any red-blue edge coloring of $K_r$ contains a red $G$ or a blue $H$. The path-critical Ramsey number $R_π(G,H)$ is the largest $n$ such that any red-blue edge coloring of $K_r \setminus P_{n}$ contains a red $G$ or a blue $H$, where $r=R(G,H)$ and $P_{n}$ is a path of order $n$. In this note, we show a general upper bound for $R_π(G,H)$, and determine the exact values for some cases of $R_π(G,H)$.
The spectrum of the Corona of Hypergraphs
The corona of hypergraphs is an extension of the corona operation applied to graphs. The corona $G_0^* \odot_1^n G_1^*$ of two hypergraphs is obtained by taking $n$ copies of $G_1^*$ (where $n$ is the order of $G_0^*$) and by joining the $i$-th vertex of $G_0^*$ with the $i$-th copy of $G_1^*$. In this paper, we estimate the complete spectrum(adjacency and Seidel) and eigenvectors of the corona $G_0^* \odot_1^n G_1^*$ of two hypergraphs when $G_1^*$ is regular. Additionally, we define the corona hypergraph $G_0^{*(m)}=G_0^{*(m-1)} \odot_1^n G_0^*$ and determined its adjacency spectrum. Also, we extend the definition coronal of the adjacency matrix. Moreover, we estimate the characteristic polynomial of Seidel matrix of the generalised corona of hypergraphs. Applying these results, we obtain infinitely many non-regular non-isomorphic adjacency and Seidel cospectral hypergraphs.