graph
35411 papers tagged with this keyword
Non-homotopic Loops with a Bounded Number of Pairwise Intersections
Let $V_n$ be a set of $n$ points in the plane and let $x \notin V_n$. An $x$-loop is a continuous closed curve not containing any point of $V_n$. We say that two $x$-loops are non-homotopic if they cannot be transformed continuously into each other without passing through a point of $V_n$. For $n=2$, we give an upper bound $e^{O\left(\sqrt{k}\right)}$ on the maximum size of a family of pairwise non-homotopic $x$-loops such that every loop has fewer than $k$ self-intersections and any two loops have fewer than $k$ intersections. The exponent $O\big(\sqrt{k}\big)$ is asymptotically tight. The previous upper bound bound $2^{(2k)^4}$ was proved by Pach, Tardos, and Tóth [Graph Drawing 2020]. We prove the above result by proving the asymptotic upper bound $e^{O\left(\sqrt{k}\right)}$ for a similar problem when $x \in V_n$, and by proving a close relation between the two problems.
Graphs where Search Methods are Indistinguishable
Published
• View Publication
• BIB
Graph searching is one of the simplest and most widely used tools in graph algorithms. Every graph search method is defined using some particular selection rule, and the analysis of the corresponding vertex orderings can aid greatly in devising algorithms, writing proofs of correctness, or recognition of various graph families. We study graphs where the sets of vertex orderings produced by two different search methods coincide. We characterise such graph families for ten pairs from the best-known set of graph searches: Breadth First Search (BFS), Depth First Search (DFS), Lexicographic Breadth First Search (LexBFS) and Lexicographic Depth First Search (LexDFS), and Maximal Neighborhood Search (MNS).
Distinguishing threshold for some graph operations
Published in Iranian Journal of Science and Technology, Transactions A: Science (2022)
• View Publication
• BIB
A vertex coloring of a graph $G$ is distinguishing if non-identity automorphisms do not preserve it. The distinguishing number, $D(G)$, is the minimum number of colors required for such a coloring and the distinguishing threshold, $θ(G)$, is the minimum number of colors~$k$ such that any arbitrary $k$-coloring is distinguishing. Moreover, $Φ_k (G)$ is the number of distinguishing coloring of $G$ using at most $k$ colors. In this paper, for some graph operations, namely, vertex-sum, rooted product, corona product and lexicographic product, we find formulae of the distinguishing number and threshold using $Φ_k (G)$.
A Geometric Chung Lu model and the Drosophila Medulla connectome
Published
• View Publication
• BIB
Many real world graphs have edges correlated to the distance between them, but, in an inhomogeneous manner. While the Chung-Lu model and the geometric random graph models both are elegant in their simplicity, they are insufficient to capture the complexity of these networks. In this paper, we develop a generalized geometric random graph model that preserves many graph theoretic aspects of these real world networks. We test the validity of this model on a graphical representation of the Drosophila Medulla connectome.
Induced universal graphs for families of small graphs
We present exact and heuristic algorithms that find, for a given family of graphs, a graph that contains each member of the family as an induced subgraph. For $0 \leq k \leq 6$, we give the minimum number of vertices $f(k)$ in a graph containing all $k$-vertex graphs as induced subgraphs, and show that $16 \leq f(7) \leq 18$. For $0 \leq k \leq 5$, we also give the counts of such graphs, as generated by brute-force computer search. We give additional results for small graphs containing all trees on $k$ vertices.
On the Chromatic Vertex Stability Number of Graphs
Published
• View Publication
• BIB
The chromatic vertex (resp.\ edge) stability number ${\rm vs}_χ(G)$ (resp.\ ${\rm es}_χ(G)$) of a graph $G$ is the minimum number of vertices (resp.\ edges) whose deletion results in a graph $H$ with $χ(H)=χ(G)-1$. In the main result it is proved that if $G$ is a graph with $χ(G) \in \{ Δ(G), Δ(G)+1 \}$, then ${\rm vs}_χ(G) = {\rm ivs}_χ(G)$, where ${\rm ivs}_χ(G)$ is the independent chromatic vertex stability number. The result need not hold for graphs $G$ with $χ(G) \le \frac{Δ(G)+1}{2}$. It is proved that if $χ(G) > \frac{Δ(G)}{2}+1$, then ${\rm vs}_χ(G) = {\rm es}_χ(G)$. A Nordhaus-Gaddum-type result on the chromatic vertex stability number is also given.
Enhanced Power Graph of Certain Non-abelian Groups
Published
• View Publication
• BIB
The enhanced power graph of a group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if they belong to same cyclic subgroup. In this paper, we study distant properties and detour distant properties such as closure, interior, distance degree sequence and eccentric subgraph of the enhanced power graph of semidihedral group. Consequently, we obtained the metric dimension and resolving polynomial of the enhanced power graph of semidihedral group. At the final part of this paper, we obtained the Laplacian spectrum of the enhanced power graph of semidihedral, dihedral and generalized quaternion groups.
New results for the random nearest neighbor tree
Published
• View Publication
• BIB
In this paper, we study the online nearest neighbor random tree in dimension $d\in \mathbb N$ (called $d$-NN tree for short) defined as follows. We fix the torus $\mathbb T^d_n$ of dimension $d$ and area $n$ and equip it with the metric inherited from the Euclidean metric in $\mathbb R^d$. Then, embed consecutively $n$ vertices in $\mathbb T^d_n$ uniformly at random and independently, and let each vertex but the first one connect to its (already embedded) nearest neighbor. Call the resulting graph $G_n$.
We show multiple results concerning the degree sequence of $G_n$. First, we prove that typically the number of vertices of degree at least $k\in \mathbb N$ in the $d$-NN tree decreases exponentially with $k$ and is tightly concentrated by a new Lipschitz-type concentration inequality that may be of independent interest. Second, we obtain that the maximum degree of $G_n$ is of logarithmic order. Third, we give explicit bounds for the number of leaves that are independent of the dimension and also give estimates for the number of paths of length two. Moreover, we show that typically the height of a uniformly chosen vertex in $G_n$ is $(1+o(1))\log n$ and the diameter of $\mathbb T^d_n$ is $(2e+o(1))\log n$, independently of the dimension.
Finally, we define a natural infinite analog $G_{\infty}$ of $G_n$ and show that it corresponds to the local limit of the sequence of finite graphs $(G_n)_{n \ge 1}$. Moreover, we prove almost surely that $G_{\infty}$ is locally finite, that the simple random walk on $G_{\infty}$ is recurrent, and that $G_{\infty}$ is connected.
Comparison of approximation algorithms for the travelling salesperson problem on semimetric graphs
The aim of the paper is to compare different approximation algorithms for the travelling salesperson problem. We pick the most popular and widespread methods known in the literature and contrast them with a novel approach (the polygonal Christofides algorithm) described in our previous work. The paper contains a brief summary of theory behind the algorithms and culminates in a series of numerical simulations (or "experiments"), whose purpose is to determine "the best" approximation algorithm for the travelling salesperson problem.
Extending Partial Representations of Circular-Arc Graphs
Published
• View Publication
• BIB
The partial representation extension problem generalizes the recognition problem for classes of graphs defined in terms of vertex representations. We exhibit circular-arc graphs as the first example of a graph class where the recognition is polynomially solvable while the representation extension problem is NP-complete. In this setting, several arcs are predrawn and we ask whether this partial representation can be completed.
We complement this hardness argument with tractability results of the representation extension problem on various subclasses of circular-arc graphs, most notably on all variants of Helly circular-arc graphs. In particular, we give linear-time algorithms for extending normal proper Helly and proper Helly representations. For normal Helly circular-arc representations we give an $O(n^3)$-time algorithm.
Surprisingly, for Helly representations, the complexity hinges on the seemingly irrelevant detail of whether the predrawn arcs have distinct or non-distinct endpoints: In the former case the previous algorithm can be extended, whereas the latter case turns out to be NP-complete. We also prove that representation extension problem of unit circular-arc graphs is NP-complete.
Undirected determinant, permanent and their complexity
Published
• View Publication
• BIB
We view the determinant and permanent as functions on directed weighted graphs and introduce their analogues for the undirected graphs. We prove that the task of computing the undirected determinants as well as permanents for planar graphs, whose vertices have degree at most 4, is \#P-complete. In the case of planar graphs whose vertices have degree at most 3, the computation of the undirected determinant remains \#P-complete while the permanent can be reduced to the FKT algorithm, and therefore is polynomial.
The undirected permanent is a Holant problem and its complexity can be deduced from the existing literature. The concept of the undirected determinant is new. Its introduction is motivated by the formal resemblance to the directed determinant, a property that may inspire generalizations of some of the many algorithms which compute the latter.
For a sizable class of planar 3-regular graphs, we are able to compute the undirected determinant in polynomial time.
Generalized sum-free sets and cycle saturated regular graphs
Gerbner, Patkós, Tuza, and Vizer recently initiated the study of $F$-saturated regular graphs. One of the essential problems in this line of research is determining when such a graph exists. Using generalized sum-free sets we prove that for any odd integer $k \geq 5$, there is an $n$-vertex regular $C_k$-saturated graph for all $n \geq n_k$. Our proof is based on constructing a special type of sum-free set in $\mathbb{Z}_n$. We prove that for all even $\ell \geq 4$ and integers $n > 12 \ell^2 + 36 \ell + 24$, there is a symmetric complete $( \ell , 1)$-sum-free set in $\mathbb{Z}_n$. We pose the problem of finding the minimum size of such a set, and present some examples found by a computer search.
Optimal Radio Labellings of Block Graphs and Line Graphs of Trees
Published
• View Publication
• BIB
A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of vertices $u$ and $v$, where $diam(G)$ is the diameter of $G$ and $d(u,v)$ is the distance between $u$ and $v$ in $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest $t$ such that $G$ admits a radio labeling with $t=\max\{|f(v)-f(u)|: v, u \in V(G)\}$. A block graph is a graph such that each block (induced maximal 2-connected subgraph) is a complete graph. In this paper, a lower bound for the radio number of block graphs is established. The block graph which achieves this bound is called a lower bound block graph. We prove three necessary and sufficient conditions for lower bound block graphs. Moreover, we give three sufficient conditions for a graph to be a lower bound block graph. Applying the established bound and conditions, we show that several families of block graphs are lower bound block graphs, including the level-wise regular block graphs and the extended star of blocks. The line graph of a graph $G(V,E)$ has $E(G)$ as the vertex set, where two vertices are adjacent if they are incident edges in $G$. We extend our results to trees as trees and its line graphs are block graphs. We prove that if a tree is a lower bound block graph then, under certain conditions, its line graph is also a lower bound block graph, and vice versa. Consequently, we show that the line graphs of many known lower bound trees, excluding paths, are lower bound block graphs.
Extremal Polygonal Cacti for General Sombor Index
The Sombor index of a graph $G$ was recently introduced by Gutman from the geometric point of view, defined as $SO(G)=\sum_{uv\in E(G)}\sqrt{d(u)^2+d(v)^2}$, where $d(u)$ is the degree of a vertex $u$. For two real numbers $α$ and $β$, the $α$-Sombor index and general Sombor index of $G$ are two generalized forms of the Sombor index defined as $SO_α(G)=\sum_{uv\in E(G)}(d(u)^α+d(v)^α)^{1/α}$ and $SO_α(G;β)=\sum_{uv\in E(G)}(d(u)^α+d(v)^α)^β$, respectively. A $k$-polygonal cactus is a connected graph in which every block is a cycle of length $k$. In this paper, we establish a lower bound on $α$-Sombor index for $k$-polygonal cacti and show that the bound is attained only by chemical $k$-polygonal cacti. The extremal $k$-polygonal cacti for $SO_α(G;β)$ with some particular $α$ and $β$ are also considered.
Exact solutions to the Erdős-Rothschild problem
Published
• View Publication
• BIB
Let $\textbf{k} := (k_1,\ldots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\textbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\textbf{k})$ to denote the maximum of $F(G;\textbf{k})$ over all graphs $G$ on $n$ vertices. There are currently very few known exact (or asymptotic) results for this problem, posed by Erdős and Rothschild in 1974. We prove some new exact results for $n \to \infty$:
(i) A sufficient condition on $\textbf{k}$ which guarantees that every extremal graph is a complete multipartite graph, which systematically recovers all existing exact results.
(ii) Addressing the original question of Erdős and Rothschild, in the case $\textbf{k}=(3,\ldots,3)$ of length $7$, the unique extremal graph is the complete balanced $8$-partite graph, with colourings coming from Hadamard matrices of order $8$.
(iii) In the case $\textbf{k}=(k+1,k)$, for which the sufficient condition in (i) does not hold, for $3 \leq k \leq 10$, the unique extremal graph is complete $k$-partite with one part of size less than $k$ and the other parts as equal in size as possible.
Steiner distance matrix of caterpillar graphs
Published
• View Publication
• BIB
For a connected graph $G:=(V,E)$, the Steiner distance $d_G(X)$ among a set of vertices $X$ is the minimum size among all the connected subgraphs of $G$ whose vertex set contains $X$. The $k-$Steiner distance matrix $D_k(G)$ of $G$ is a matrix whose rows and columns are indexed by $k-$subsets of $V$. For $k$-subsets $X_1$ and $X_2$, the $(X_1,X_2)-$entry of $D_k(G)$ is $d_G(X_1 \cup X_2)$. In this paper, we show that the rank of $2-$Steiner distance matrix of a caterpillar graph on $N$ vertices and with $p$ pendant veritices is $2N-p-1$.
The spectral property of hypergraph coverings
Published in Discrete Mathematics, Volume 347, Issue 3, March 2024, 113830
• View Publication
• BIB
Let $H$ be a connected $m$-uniform hypergraph, and let $\mathcal{A}(H)$ be the adjacency tensor of $H$ whose spectrum is simply called the spectrum of $H$. Let $s(H)$ denote the number of eigenvectors of $\mathcal{A}(H)$ associated with the spectral radius, and $c(H)$ denote the number of eigenvalues of $\mathcal{A}(H)$ with modulus equal to the spectral radius, which are respectively called the stabilizing index and cyclic index of $H$. Let $\bar{H}$ be a $k$-fold covering of $H$ which can be obtained from some permutation assignment in the symmetric group $\mathbf{S}_k$ on $H$. In this paper, we first characterize the connectedness of $\bar{H}$ by its incidence graph and the permutation assignment, and then investigate the relationship between the spectral property of $H$ and that of $\bar{H}$. By applying module theory and group representation, if $\bar{H}$ is connected, we prove that $s(H) \mid s(\bar{H})$ and $c(H) \mid c(\bar{H})$. In particular, when $\bar{H}$ is a $2$-fold covering of $H$, if $m$ is even, we show that regardless of multiplicities, the spectrum of $\bar{H}$ contains the spectrum of $H$ and the spectrum of a signed hypergraph with $H$ as underlying hypergraph; if $m$ is odd, we give an explicit formula for $s(\bar{H})$. We also find some differences on the spectral property between hypergraph coverings and graph coverings by examples.
Well-mixing vertices and almost expanders
Published
• View Publication
• BIB
We study regular graphs in which the random walks starting from a positive fraction of vertices have small mixing time. We prove that any such graph is virtually an expander and has no small separator. This answers a question of Pak [SODA, 2002]. As a corollary, it shows that sparse (constant degree) regular graphs with many well-mixing vertices have a long cycle, improving a result of Pak. Furthermore, such cycle can be found in polynomial time.
Secondly, we show that if the random walks from a positive fraction of vertices are well-mixing, then the random walks from almost all vertices are well-mixing (with a slightly worse mixing time).
Five-List-Coloring Graphs on Surfaces: The Many Faces Far-Apart Generalization of Thomassen's Theorem
Let $G$ be a plane graph with $C$ the boundary of the outer face and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of a subgraph $J$ of $G$ we mean a (proper) coloring $φ$ of $J$ such that $φ(v)\in L(v)$ for every vertex $v$ of $J$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)\setminus \{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)\setminus V(C)$, then $G$ has an $L$-coloring.
As one final application in this last part of our series on $5$-list-coloring, we derive from all of our theory a far-reaching generalization of Thomassen's theorem, namely the generalization of Thomassen's theorem to arbitrarily many such faces provided that the faces are pairwise distance $D$ apart for some universal constant $D>0$.
Arc reversals of cycles in orientations of $G$ vertex-multiplications
Published in Discrete Math., 345, (2022), Article 112999
• View Publication
• BIB
Ryser proved that any two tournaments with the same score sequence are $C_3$-equivalent while Beineke and Moon proved the $C_4$-equivalence for any two bipartite tournaments with the same score lists. In this paper, we extend these results to orientations of $G$ vertex-multiplications. We focus on two main areas, namely orientations with the same score list and with score-list parity. Our main tools are extensions of the refinement technique, directed difference graph and a reduction lemma.