graph
34604 papers tagged with this keyword
An old problem of Erdős: a graph without two cycles of the same length
Published in Discrete Applied Mathematics 337 (2023) , 42-45
• View Publication
• BIB
In 1975, P. Erdős proposed the problem of determining the maximum number $f(n)$ of edges in a graph on $n$ vertices in which any two cycles are of different lengths. Let $f^{\ast}(n)$ be the maximum number of edges in a simple graph on $n$ vertices in which any two cycles are of different lengths. Let $M_n$ be the set of simple graphs on $n$ vertices in which any two cycles are of different lengths and with the edges of $f^{\ast}(n)$. Let $mc(n)$ be the maximum cycle length for all $G \in M_n$. In this paper, it is proved that for $n$ sufficiently large, $mc(n)\leq \frac{15}{16}n$. We make the following conjecture:
$$\lim_{n \rightarrow \infty} {mc(n)\over n}= 0.$$
DP-Coloring Cartesian Products of Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. Motivated by results related to list coloring Cartesian products of graphs, we initiate the study of the DP-chromatic number, $χ_{DP}$, of the same. We show that $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $\text{col}(H)$ is the coloring number of the graph $H$. We focus on building tools for lower bound arguments for $χ_{DP}(G \square H)$ and use them to show the sharpness of the bound above and its various forms. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, is essential in the study of the DP-chromatic number of the Cartesian product of graphs, including the following question that extends the sharpness problem above and the classical result on gap between list chromatic number and chromatic number: given any graph $G$ and $k \in \mathbb{N}$, what is the smallest $t$ for which $χ_{DP}(G \square K_{k,t})= χ_{DP}(G) + k$?
On complexity of substructure connectivity and restricted connectivity of graphs
The connectivity of a graph is an important parameter to evaluate its reliability. $k$-restricted connectivity (resp. $R^h$-restricted connectivity) of a graph $G$ is the minimum cardinality of a set $S$ of vertices in $G$, if exists, whose deletion disconnects $G$ and leaves each component of $G-S$ with more than $k$ vertices (resp. $δ(G-S)\geq h$). In contrast, structure (substructure) connectivity of $G$ is defined as the minimum number of vertex-disjoint subgraphs whose deletion disconnects $G$. As generalizations of the concept of connectivity, structure (substructure) connectivity, restricted connectivity and $R^h$-restricted connectivity have been extensively studied from the combinatorial point of view. Very little is known about the computational complexity of these variants, except for the recently established NP-completeness of $k$-restricted edge-connectivity. In this paper, we prove that the problems of determining structure, substructure, restricted, and $R^h$-restricted connectivity are all NP-complete.
Upper bounds of orders of automorphism groups of leafless metric graphs
Published
• View Publication
• BIB
We prove a tropical analogue of the theorem of Hurwitz: a leafless metric graph of genus $g \ge 2$ has at most $12$ automorphisms when $g = 2$; $2^g g!$ automorphisms when $g \ge 3$. These inequalities are optimal; for each genus, we give all metric graphs which have the maximum numbers of automorphisms. The proof is written in terms of graph theory.
Peripherality in networks: theory and applications
Published
• View Publication
• BIB
We investigate several related measures of peripherality and centrality for vertices and edges in networks, including the Mostar index which was recently introduced as a measure of peripherality for both edges and networks. We refute a conjecture on the maximum possible Mostar index of bipartite graphs from (Došlić et al, Journal of Mathematical Chemistry, 2018) and (Ali and Došlić, Applied Mathematics and Computation, 2021). We also correct a result from the latter paper, where they claimed that the maximum possible value of the terminal Mostar index among all trees of order $n$ is $(n-1)(n-2)$. We show that this maximum is $(n-1)(n-3)$ for $n \ge 3$, and that it is only attained by the star.
We asymptotically answer another problem on the maximum difference between the Mostar index and the irregularity of trees from (F. Gao et al, On the difference of Mostar index and irregularity of graphs, Bulletin of the Malaysian Mathematical Sciences Society, 2021). We also prove a number of extremal bounds and computational complexity results about the Mostar index, irregularity, and measures of peripherality and centrality.
We discuss graphs where the Mostar index is not an accurate measure of peripherality. We construct a general family of graphs with the property that the Mostar index is strictly greater for edges that are closer to the center. We also investigate centrality and peripherality in two graphs which represent the SuperFast and MOZART-4 systems of atmospheric chemical reactions by computing various measures of peripherality and centrality for the vertices and edges in these graphs. For both of these graphs, we find that the Mostar index is closer to a measure of centrality than peripherality of the edges. We also introduce some new indices which perform well as measures of peripherality on the SuperFast and MOZART-4 graphs.
Linear-time algorithm for vertex 2-coloring without monochromatic triangles on planar graphs
In the problem of 2-coloring without monochromatic triangles (or triangle-tree 2-coloring), vertices of the simple, connected, undirected graph are colored with either 'black' or 'white' such that there are no 3 mutually adjacent vertices of the same color. In this paper we are positively answering the question posed in our previous work, namely, if there exists an algorithm solving 2-coloring without monochromatic triangles on planar graphs with linear-time complexity.
Bounds for the Twin-width of Graphs
Published in SIAM J. Discrete Math., 36(3):1503-2366, 2022
• View Publication
• BIB
Bonnet, Kim, Thomassé, and Watrigant (2020) introduced the twin-width of a graph. We show that the twin-width of an $n$-vertex graph is less than $(n+\sqrt{n\ln n}+\sqrt{n}+2\ln n)/2$, and the twin-width of an $m$-edge graph for a positive $m$ is less than $\sqrt{3m}+ m^{1/4} \sqrt{\ln m} / (4\cdot 3^{1/4}) + 3m^{1/4} / 2$. Conference graphs of order $n$ (when such graphs exist) have twin-width at least $(n-1)/2$, and we show that Paley graphs achieve this lower bound. We also show that the twin-width of the Erdős-Rényi random graph $G(n,p)$ with $1/n\leq p=p(n)\leq 1/2$ is larger than $2p(1-p)n - (2\sqrt{2}+\varepsilon)\sqrt{p(1-p)n\ln n}$ asymptotically almost surely for any positive $\varepsilon$. Lastly, we calculate the twin-width of random graphs $G(n,p)$ with $p\leq c/n$ for a constant $c<1$, determining the thresholds at which the twin-width jumps from $0$ to $1$ and from $1$ to $2$.
Matching forcing polynomial of generalized Petersen graph GP(n, 2)
Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been considered on matching forcing problem of non-plane non-bipartite graphs. In this paper, we investigate the forcing polynomials of generalized Petersen graphs GP(n, 2) for n = 5, 6, . . . , 15, which is a typical class of non-plane non-bipartite graph.
Symmetry Parameters of Various Hypercube Families
Published
• View Publication
• BIB
In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes.
On Explicit Constructions of Extremely Depth Robust Graphs
A directed acyclic graph $G=(V,E)$ is said to be $(e,d)$-depth robust if for every subset $S \subseteq V$ of $|S| \leq e$ nodes the graph $G-S$ still contains a directed path of length $d$. If the graph is $(e,d)$-depth-robust for any $e,d$ such that $e+d \leq (1-ε)|V|$ then the graph is said to be $ε$-extreme depth-robust. In the field of cryptography, (extremely) depth-robust graphs with low indegree have found numerous applications including the design of side-channel resistant Memory-Hard Functions, Proofs of Space and Replication, and in the design of Computationally Relaxed Locally Correctable Codes. In these applications, it is desirable to ensure the graphs are locally navigable, i.e., there is an efficient algorithm $\mathsf{GetParents}$ running in time $\mathrm{polylog} |V|$ which takes as input a node $v \in V$ and returns the set of $v$'s parents. We give the first explicit construction of locally navigable $ε$-extreme depth-robust graphs with indegree $O(\log |V|)$. Previous constructions of $ε$-extreme depth-robust graphs either had indegree $\tildeω(\log^2 |V|)$ or were not explicit.
On Some Generalized Vertex Folkman Numbers
Published
• View Publication
• BIB
For a graph $G$ and integers $a_i\ge 1$, the expression $G \rightarrow (a_1,\dots,a_r)^v$ means that for any $r$-coloring of the vertices of $G$ there exists a monochromatic $a_i$-clique in $G$ for some color $i \in \{1,\cdots,r\}$. The vertex Folkman numbers are defined as $F_v(a_1,\dots,a_r;H) = \min\{|V(G)| : G$ is $H$-free and $G \rightarrow (a_1,\dots,a_r)^v\}$, where $H$ is a graph. Such vertex Folkman numbers have been extensively studied for $H=K_s$ with $s>\max\{a_i\}_{1\le i \le r}$. If $a_i=a$ for all $i$, then we use notation $F_v(a^r;H)=F_v(a_1,\dots,a_r;H)$.
Let $J_k$ be the complete graph $K_k$ missing one edge, i.e. $J_k=K_k-e$. In this work we focus on vertex Folkman numbers with $H=J_k$, in particular for $k=4$ and $a_i\le 3$. A result by Nešetřil and Rödl from 1976 implies that $F_v(3^r;J_4)$ is well defined for any $r\ge 2$. We present a new and more direct proof of this fact. The simplest but already intriguing case is that of $F_v(3,3;J_4)$, for which we establish the upper bound of 135 by using the $J_4$-free process. We obtain the exact values and bounds for a few other small cases of $F_v(a_1,\dots,a_r;J_4)$ when $a_i \le 3$ for all $1 \le i \le r$, including $F_v(2,3;J_4)=14$, $F_v(2^4;J_4)=15$, and $22 \le F_v(2^5;J_4) \le 25$. Note that $F_v(2^r;J_4)$ is the smallest number of vertices in any $J_4$-free graph with chromatic number $r+1$. Most of the results were obtained with the help of computations, but some of the upper bound graphs we found are interesting by themselves.
On general Sombor index
Published in Asian-European Journal of Mathematics, 2022
• View Publication
• BIB
We present the bounds in terms of other important graph parameters for general Sombor index which generalises both the forgotten index and the Sombor index. We also explore the Nordhaus-Gaddum-type result for the general Sombor index. We present further the relations between general Sombor index and other generalised indices: general Randić index and general sum-connectivity index.
RNA Number of Some Parity Signed Generalized Petersen Graphs
A signed graph $Σ=(G,σ)$ is said to be parity signed if there exists a bijection $f : V(G) \rightarrow \{1,2,...,|V(G)|\}$ such that $σ(uv)=+$ if and only if $f(u)$ and $f(v)$ are of same parity, where $uv$ is an edge of $G$. The rna number of a graph $G$, denoted $σ^{-}(G)$, is the minimum number of negative edges among all possible parity signed graphs over $G$. The rna number is also equal to the minimum cut size that has nearly equal sides.
In this paper, for generalized Petersen graph $P(n,k)$, we prove that $3 \leq σ^{-}(P(n,k)) \leq n$ and these bounds are sharp. The exact value of $σ^{-}(P(n,k))$ is determined for $k=1,2$. Some famous generalized Petersen graphs namely, Petersen graph $P(5,2)$, Durer graph $P(6,2)$, Mobius-Kantor graph $P(8,3)$, Dodecahedron $P(10,2)$, Desargues graph $P(10,3)$ and Nauru graph $P(12,5)$ are also treated.
We show that the minimum order of a $(4n-1)$-regular graph having rna number one is bounded above by $12n-2$. The sharpness of this upper bound is also shown for $n=1$. We also show that the minimum order of a $(4n+1)$-regular graph having rna number one is $8n+6$. Finally, for any simple connected graph of order $n$, we propose an $O(2^n + n^{\lfloor \frac{n}{2} \rfloor})$ time algorithm for computing its rna number.
H-integral and Gaussian integral normal mixed Cayley graphs
Published
• View Publication
• BIB
If all the eigenvalues of the Hermitian-adjacency matrix of a mixed graph are integers, then the mixed graph is called \emph{H-integral}. If all the eigenvalues of the (0,1)-adjacency matrix of a mixed graph are \emph{Gaussian integers}, then the mixed graph is called \emph{Gaussian integral}. For any finite group $Γ$, we characterize the set $S$ for which the normal mixed Cayley graph $\text{Cay}(Γ, S)$ is H-integral. We further prove that a normal mixed Cayley graph is H-integral if and only if it is Gaussian integral.
Finding popular branchings in vertex-weighted digraphs
Published
• View Publication
• BIB
Popular matchings have been intensively studied recently as a relaxed concept of stable matchings. By applying the concept of popular matchings to branchings in directed graphs, Kavitha et al.\ (2020) introduced popular branchings. In a directed graph $G=(V_G,E_G)$, each vertex has preferences over its incoming edges. For branchings $B_1$ and $B_2$ in $G$, a vertex $v\in V_G$ prefers $B_1$ to $B_2$ if $v$ prefers its incoming edge of $B_1$ to that of $B_2$, where having an arbitrary incoming edge is preferred to having none, and $B_1$ is more popular than $B_2$ if the number of vertices that prefer $B_1$ is greater than the number of vertices that prefer $B_2$. A branching $B$ is called a popular branching if there is no branching more popular than $B$. Kavitha et al. (2020) proposed an algorithm for finding a popular branching when the preferences of each vertex are given by a strict partial order. The validity of this algorithm is proved by utilizing classical theorems on the duality of weighted arborescences. In this paper, we generalize popular branchings to weighted popular branchings in vertex-weighted directed graphs in the same manner as weighted popular matchings by Mestre (2014). We give an algorithm for finding a weighted popular branching, which extends the algorithm of Kavitha et al., when the preferences of each vertex are given by a total preorder and the weights satisfy certain conditions. Our algorithm includes elaborated procedures resulting from the vertex-weights, and its validity is proved by extending the argument of the duality of weighted arborescences.
Short proofs on $k$-extendible graphs
In this note, we give short inductive proofs of two known results on $k$-extendible graphs based on a property proved in [Qinglin Yu, A note on $n$-extendable graphs. Journal of Graph Theory, 16:349-353, 1992].
Polynomial removal lemmas for ordered graphs
Published
• View Publication
• BIB
A recent result of Alon, Ben-Eliezer and Fischer establishes an induced removal lemma for ordered graphs. That is, if $F$ is an ordered graph and $\varepsilon>0$, then there exists $δ_{F}(\varepsilon)>0$ such that every $n$-vertex ordered graph $G$ containing at most $δ_{F}(\varepsilon) n^{v(F)}$ induced copies of $F$ can be made induced $F$-free by adding/deleting at most $\varepsilon n^2$ edges. We prove that $δ_{F}(\varepsilon)$ can be chosen to be a polynomial function of $\varepsilon$ if and only if $|V(F)|=2$, or $F$ is the ordered graph with vertices $x<y<z$ and edges $\{x,y\},\{x,z\}$ (up to complementation and reversing the vertex order). We also discuss similar problems in the non-induced case.
Isolation of connected graphs
Published
• View Publication
• BIB
For a connected $n$-vertex graph $G$ and a set $\mathcal{F}$ of graphs, let $ι(G,\mathcal{F})$ denote the size of a smallest set $D$ of vertices of $G$ such that the graph obtained from $G$ by deleting the closed neighbourhood of $D$ contains no graph in $\mathcal{F}$. Let $\mathcal{E}_k$ denote the set of connected graphs that have at least $k$ edges. By a result of Caro and Hansberg, $ι(G,\mathcal{E}_1) \leq n/3$ if $n \neq 2$ and $G$ is not a $5$-cycle. The author recently showed that if $G$ is not a triangle and $\mathcal{C}$ is the set of cycles, then $ι(G,\mathcal{C}) \leq n/4$. We improve this result by showing that $ι(G,\mathcal{E}_3) \leq n/4$ if $G$ is neither a triangle nor a $7$-cycle. Let $r$ be the number of vertices of $G$ that have only one neighbour. We determine a set $\mathcal{S}$ of six graphs such that $ι(G,\mathcal{E}_2) \leq (4n - r)/14$ if $G$ is not a copy of a member of $\mathcal{S}$. The bounds are sharp.
Complementarity spectrum of digraphs
Published in Linear Algebra and its Applications, Volume 627, 15 October 2021, Pages 24-40
• View Publication
• BIB
In this paper we study the complementarity spectrum of digraphs, with special attention to the problem of digraph characterization through this complementarity spectrum. That is, whether two non-isomorphic digraphs with the same number of vertices can have the same complementarity eigenvalues. The complementarity eigenvalues of matrices, also called Pareto eigenvalues, has led to the study of the complementarity spectrum of (undirected) graphs and, in particular, the characterization of undirected graphs through these eigenvalues is an open problem. We characterize the digraphs with one and two complementarity eigenvalues, and we give examples of non-isomorphic digraphs with the same complementarity spectrum.
Magnitude homology of graphs and discrete Morse theory on Asao-Izumihara complexes
Published in Homology, Homotopy and Applications Volume 25 (2023) no. 1 331-343
• View Publication
• BIB
Recently, Asao and Izumihara introduced CW-complexes whose homology groups are isomorphic to direct summands of the graph magnitude homology group. In this paper, we study the homotopy type of the CW-complexes in connection with the diagonality of magnitude homology groups. We prove that the Asao-Izumihara complex is homotopy equivalent to a wedge of spheres for pawful graphs introduced by Y. Gu. The result can be considered as a homotopy type version of Gu's result. We also formulate a slight generalization of the notion of pawful graphs and find new non-pawful diagonal graphs of diameter $2$.