connected graph
2596 papers tagged with this keyword
The general Albertson irregularity index of graphs
Published
• View Publication
• BIB
We introduce the general Albertson irregularity index of a connected graph $G$ and define it as $A_{p}(G) =(\sum_{uv\in E(G)}|d(u)-d(v)|^p)^{\frac{1}{p}}$, where $p$ is a positive real number and $d(v)$ is the degree of the vertex $v$ in $G$. The new index is not only generalization of the well-known Albertson irregularity index and $σ$-index, but also it is the Minkowski norm of the degree of vertex. We present lower and upper bounds on the general Albertson irregularity index. In addition, we study the extremal value on the general Albertson irregularity index for trees of given order. Finally, we give the calculation formula of the general Albertson index of generalized Bethe trees and Kragujevac trees.
Counterexamples to a conjecture on matching Kneser graphs
Let $G$ be a graph and $r\in\mathbb{N}$. The matching Kneser graph $\textsf{KG}(G, rK_2)$ is a graph whose vertex set is the set of $r$-matchings in $G$ and two vertices are adjacent if their corresponding matchings are edge-disjoint. In [Alishahi, M. and Hajiabolhassan, H., On the Chromatic Number of Matching Kneser Graphs, Combin. Probab. and Comput. 29 (2020), no. 1, 1--21.] it was conjectured that for any connected graph $G$ and positive integer $r\geq 2$, the chromatic number of $\textsf{KG}(G, rK_2)$ is equal to $|E(G)|-\textsf{ex}(G,rK_2)$, where $\textsf{ex}(G,rK_2)$ denotes the largest number of edges in $G$ avoiding a matching of size $r$. In this note, we show that the conjecture is not true for snarks.
Cubic planar bipartite graphs are dispersable
A graph is called dispersable if it has a book embedding in which each page has maximum degree 1 and the number of pages is the maximum degree. Bernhart and Kainen conjectured every k-regular bipartite graph is dispersable. Forty years later, Alam, Bekos, Gronemann, Kaufmann, and Pupyrev have disproved this conjecture, identifying nonplanar 3- and 4-regular bipartite graphs that are not dispersable. They also proved all cubic planar bipartite 3-connected graphs are dispersable and conjectured that the connectivity condition could be relaxed. We prove that every cubic planar bipartite multigraph is dispersable. A postscript is added which includes new references.
Connected $k$-partition of $k$-connected graphs and $c$-claw-free graphs
A connected partition is a partition of the vertices of a graph into sets that induce connected subgraphs. Such partitions naturally occur in many application areas such as road networks, and image processing. We consider Balanced Connected Partitions (BCP), where the two classical objectives for BCP are to maximize the weight of the smallest, or minimize the weight of the largest component. We study BCP on c-claw-free graphs, the class of graphs that do not have $K_{1,c}$ as an induced subgraph, and present efficient (c-1)-approximation algorithms for both objectives. In particular, due to the (3-)claw-freeness of line graphs, this also implies a 2-approximations for the edge-partition version of BCP in general graphs.
In the 1970s Győri and Lovász showed for natural numbers $w_1,\dots,w_k$ where $\sum_i w_i$ is the vertex size, that if $G$ is k-connected, then there exist a connected k-partition with part sizes $w_1,\dots,w_k$. However, to this day no polynomial algorithm to compute such partitions exists for k>4. Towards finding such a partition $T_1,\dots, T_k$, we show how to efficiently compute connected partitions that at least approximately meet the target weights, subject to the mild assumption that each $w_i$ is greater than the weight of the heaviest vertex. In particular, we give a 3-approximation for both the lower and the upper bounded version i.e. we guarantee that each $T_i$ has weight at least $\frac{w_i}{3}$ or that each $T_i$ has weight most $3w_i$, respectively. Also, we present a both-side bounded version that produces a connected partition where each $T_i$ has size at least $\frac{w_i}{3}$ and at most $\max(\{r,3\}) w_i$, where $r \geq 1$ is the ratio between the largest and smallest value in $w_1, \dots, w_k$. In particular for the balanced version, i.e.~$w_1=w_2=, \dots,=w_k$, this gives a partition with $\frac{1}{3}w_i \leq w(T_i) \leq 3w_i$.
Nordhaus-Guddum type results for the Steiner Gutman index of graphs
Published
• View Publication
• BIB
Building upon the notion of Gutman index $\operatorname{SGut}(G)$, Mao and Das recently introduced the Steiner Gutman index by incorporating Steiner distance for a connected graph $G$. The \emph{Steiner Gutman $k$-index} $\operatorname{SGut}_k(G)$ of $G$ is defined by $\operatorname{SGut}_k(G)$ $=\sum_{S\subseteq V(G), \ |S|=k}\left(\prod_{v\in S}deg_G(v)\right) d_G(S)$, in which $d_G(S)$ is the Steiner distance of $S$ and $deg_G(v)$ is the degree of $v$ in $G$. In this paper, we derive new sharp upper and lower bounds on $\operatorname{SGut}_k$, and then investigate the Nordhaus-Gaddum-type results for the parameter $\operatorname{SGut}_k$. We obtain sharp upper and lower bounds of $\operatorname{SGut}_k(G)+\operatorname{SGut}_k(\overline{G})$ and $\operatorname{SGut}_k(G)\cdot \operatorname{SGut}_k(\overline{G})$ for a connected graph $G$ of order $n$, $m$ edges and maximum degree $Δ$, minimum degree $δ$.
A note on 1-2-3 and 1-2 Conjectures for 3-regular graphs
The 1-2-3 Conjecture, posed by Karoński, Łuczak and Thomason, asked whether every connected graph $G$ different from $K_2$ can be 3-edge-weighted so that every two adjacent vertices of $G$ get distinct sums of incident weights. The 1-2 Conjecture states that if vertices also receive colors and the vertex color is added to the sum of its incident edges, then adjacent vertices can be distinguished using only $\{ 1,2\}$. In this paper we confirm 1-2 Conjecture for 3-regular graphs. Meanwhile, we show that every 3-regular graph can achieve a neighbor sum distinguishing edge coloring by using 4 colors, which answers 1-2-3 Conjecture positively.
Combinatorial generation via permutation languages. IV. Elimination trees
Published
• View Publication
• BIB
An elimination tree for a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $x$ and recursing on the connected components of $G-x$ to produce the subtrees of $x$. Elimination trees appear in many guises in computer science and discrete mathematics, and they encode many interesting combinatorial objects, such as bitstrings, permutations and binary trees. We apply the recent Hartung-Hoang-Mütze-Williams combinatorial generation framework to elimination trees, and prove that all elimination trees for a chordal graph $G$ can be generated by tree rotations using a simple greedy algorithm. This yields a short proof for the existence of Hamilton paths on graph associahedra of chordal graphs. Graph associahedra are a general class of high-dimensional polytopes introduced by Carr, Devadoss, and Postnikov, whose vertices correspond to elimination trees and whose edges correspond to tree rotations. As special cases of our results, we recover several classical Gray codes for bitstrings, permutations and binary trees, and we obtain a new Gray code for partial permutations. Our algorithm for generating all elimination trees for a chordal graph $G$ can be implemented in time $\mathcal{O}(σ)$ on average per generated elimination tree, where $σ=σ(G)$ denotes the maximum number of edges of an induced star in $G$. If $G$ is a tree, we improve this to a loopless algorithm running in time $\mathcal{O}(1)$ per generated elimination tree. We also prove that our algorithm produces a Hamilton cycle on the graph associahedron of $G$, rather than just Hamilton path, if the graph $G$ is chordal and 2-connected. Moreover, our algorithm characterizes chordality, i.e., it computes a Hamilton path on the graph associahedron of $G$ if and only if $G$ is chordal.
Radio-k-Labeling of Cycles for Large k
Published
• View Publication
• BIB
Let $G$ be a simple connected graph. For any two vertices $u$ and $v$, let $d(u,v)$ denote the distance between $u$ and $v$ in $G$. A radio-$k$-labeling of $G$ for a fixed positive integer $k$ is a function $f$ which assigns to each vertex a non-negative integer label such that for every two vertices $u$ and $ v $ in $G$, $|f(u)-f(v)| \geq k - d(u,v) +1$. The span of $f$ is the difference between the largest and smallest labels of $f(V)$. The radio-$k$-number of a graph $G$, denoted by $rn_k(G)$, is the smallest span among all radio-$k$-labelings admitted by $G$. A cycle $C_n$ has diameter $d=\lfloor n/2 \rfloor$. In this paper, we combine a lower bound approach with cyclic group structure to determine the value of $ rn_k(C_n)$ for $k \geq n-3$. For $d \leq k < n-3$, we obtain the values of $rn_k(C_n)$ when $n$ and $k$ have the same parity, and prove partial results when $n$ and $k$ have different parities. Our results extend the known values of $rn_d (C_n)$ and $rn_{d+1} (C_n)$ shown by Liu and Zhu, and by Karst, Langowitz, Oehrlein and Troxell, respectively.
On normalized Laplacian eigenvalues of power graphs associated to finite cyclic groups
Published
• View Publication
• BIB
For a simple connected graph $ G $ of order $ n $, the normalized Laplacian is a square matrix of order $ n $, defined as $\mathcal{L}(G)= D(G)^{-\frac{1}{2}}L(G)D(G)^{-\frac{1}{2}}$, where $ D(G)^{-\frac{1}{2}} $ is the diagonal matrix whose $ i$-th diagonal entry is $ \frac{1}{\sqrt{d_{i}}} $. In this article, we find the normalized Laplacian eigenvalues of the joined union of regular graphs in terms of the adjacency eigenvalues and the eigenvalues of quotient matrix associated with graph $ G $. For a finite group $\mathcal{G}$, the power graph $\mathcal{P}(\mathcal{G})$ of a group $ \mathcal{G} $ is defined as the simple graph in which two distinct vertices are joined by an edge if and only if one is the power of other. As a consequence of the joined union of graphs, we investigate the normalized Laplacian eigenvalues of power graphs of finite cyclic group $ \mathbb{Z}_{n}. $
Distance-$k$ locating-dominating sets in graphs
Published in Bull. Inst. Combin. Appl., Vol. 95 (2022) pp.38-56
• Search Publication
Let $G$ be a graph with vertex set $V$, and let $k$ be a positive integer. A set $D \subseteq V$ is a \emph{distance-$k$ dominating set} of $G$ if, for each vertex $u \in V-D$, there exists a vertex $w\in D$ such that $d(u,w) \le k$, where $d(u,w)$ is the minimum number of edges linking $u$ and $w$ in $G$. Let $d_k(x, y)=\min\{d(x,y), k+1\}$. A set $R\subseteq V$ is a \emph{distance-$k$ resolving set} of $G$ if, for any pair of distinct $x,y\in V$, there exists a vertex $z\in R$ such that $d_k(x,z) \neq d_k(y,z)$. The \emph{distance-$k$ domination number} $γ_k(G)$ (\emph{distance-$k$ dimension} $\dim_k(G)$, respectively) of $G$ is the minimum cardinality of all distance-$k$ dominating sets (distance-$k$ resolving sets, respectively) of $G$. The \emph{distance-$k$ location-domination number}, $γ_L^k(G)$, of $G$ is the minimum cardinality of all sets $S\subseteq V$ such that $S$ is both a distance-$k$ dominating set and a distance-$k$ resolving set of $G$. Note that $γ_L^1(G)$ is the well-known location-domination number introduced by Slater in 1988. For any connected graph $G$ of order $n\ge 2$, we obtain the following sharp bounds: (1) $γ_k(G) \le \dim_k(G)+1$; (2) $2\leγ_k(G)+\dim_k(G) \le n$; (3) $1\le \max\{γ_k(G), \dim_k(G)\} \le γ_L^k(G) \le \min\{\dim_k(G)+1, n-1\}$. We characterize $G$ for which $γ_L^k(G)\in\{1, |V|-1\}$. We observe that $\frac{\dim_k(G)}{γ_k(G)}$ can be arbitrarily large. Moreover, for any tree $T$ of order $n\ge 2$, we show that $γ_L^k(T)\le n-ex(T)$, where $ex(T)$ denotes the number of exterior major vertices of $T$, and we characterize trees $T$ achieving equality. We also examine the effect of edge deletion on the distance-$k$ location-domination number of graphs.
On almost self-centered graphs and almost peripheral graphs
Published
• View Publication
• BIB
An almost self-centered graph is a connected graph of order $n$ with exactly $n-2$ central vertices, and an almost peripheral graph is a connected graph of order $n$ with exactly $n-1$ peripheral vertices. We determine (1) the maximum girth of an almost self-centered graph of order $n;$ (2) the maximum independence number of an almost self-centered graph of order $n$ and radius $r;$ (3) the minimum order of a $k$-regular almost self-centered graph and (4) the maximum size of an almost peripheral graph of order $n;$ (5) which numbers are possible for the maximum degree of an almost peripheral graph of order $n;$ (6) the maximum number of vertices of maximum degree in an almost peripheral graph of order $n$ whose maximum degree is the second largest possible. Whenever the extremal graphs have a neat form, we also describe them.
Three steps away from Shapiro's problem: lower bounds for graphic sums with functions `max' or `min' in denominators
Taking Shapiro's cyclic sums $\sum_{i=1}^n x_i/(x_{i+1}+x_{i+2})$ (assuming index addition mod $n$) as a starting point, we introduce a broader class of cyclic sums, called generalized Shapiro-Diananda sums, where the denominators are $p$-th order power means of the sets $\{x_{i+j_1},\dots,x_{i+j_k}\}$ with fixed distinct integers $j_1,\dots,j_k$ and $1\leq i\leq n$.
Generalizing further, we replace the set of arguments of the power mean in the $i$-th denominator by an arbitrary nonempty subset of $\{1,\dots,n\}$ interpreted as the set of out-neighbors of the node number $i$ in a directed graph with $n$ nodes. We call such sums graphic power sums since their structure is controlled by directed graphs.
The inquiry, as in the well-researched case of Shapiro's sums, concerns the greatest lower bound of the given ``sum'' as a function of positive variables $x_1,\dots,x_n$. We show that the cases of $p=+\infty$ (max-sums) and $p=-\infty$ (min-sums) are tractable.
For the max-sum associated with a given graph the g.l.b. is always an integer; for a strongly connected graph it equals to graph's girth.
For the similar min-sum, we could not relate the g.l.b. to a known combinatorial invariant; we only give some estimates and describe a method for finding the g.l.b., which has factorial complexity in $n$.
A satisfactory analytical treatment is available for the secondary minimization -- when the g.l.b.'s of min-sums for individual graphs are mininized over the class of strongly connected graphs with $n$ nodes. The result (depending only on $n$) is found to be asymptotic to $e\ln n$.
Revisiting the Maximum Principal Ratio of Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph, the principal ratio of $G$ is the ratio of the maximum and minimum entries of its Perron eigenvector. In 2007, Cioab\v a and Gregory conjectured that among all connected graphs on $n$ vertices, the kite graph attains the maximum principal ratio. In 2018, Tait and Tobin confirmed the conjecture for sufficientlty large $n$. In this article, we show the conjecture is true for all $n\geq 5000$.
Iwasawa Theory of Jacobians of Graphs
Published
• View Publication
• BIB
The Jacobian group (also known as the critical group or sandpile group) is an important invariant of a finite, connected graph $X$; it is a finite abelian group whose cardinality is equal to the number of spanning trees of $X$ (Kirchhoff's Matrix Tree Theorem). A specific type of covering graph, called a derived graph, that is constructed from a voltage graph with voltage group $G$ is the object of interest in this paper. Towers of derived graphs are studied by using aspects of classical Iwasawa Theory (from number theory). Formulas for the orders of the Sylow $p$-subgroups of Jacobians in an infinite voltage $p$-tower, for any prime $p$, are obtained in terms of classical $μ$ and $λ$ invariants by using the decomposition of a finitely generated module over the Iwasawa Algebra.
Graphs with at most two moplexes
Published
• View Publication
• BIB
A moplex is a natural graph structure that arises when lifting Dirac's classical theorem from chordal graphs to general graphs. While every non-complete graph has at least two moplexes, little is known about structural properties of graphs with a bounded number of moplexes. The study of these graphs is, in part, motivated by the parallel between moplexes in general graphs and simplicial modules in chordal graphs: unlike in the moplex setting, properties of chordal graphs with a bounded number of simplicial modules are well understood. For instance, chordal graphs having at most two simplicial modules are interval.
In this work, we initiate an investigation of $k$-moplex graphs, which are defined as graphs containing at most $k$ moplexes. Of particular interest is the smallest nontrivial case $k=2$, which forms a counterpart to the class of interval graphs. As our main structural result, we show that, when restricted to connected graphs, the class of $2$-moplex graphs is sandwiched between the classes of proper interval graphs and cocomparability graphs; moreover, both inclusions are tight for hereditary classes. From a complexity theoretic viewpoint, this leads to the natural question of whether the presence of at most two moplexes guarantees a sufficient amount of structure to efficiently solve problems that are known to be intractable on cocomparability graphs, but not on proper interval graphs. We develop new reductions that answer this question negatively for two prominent problems fitting this profile, namely Graph Isomorphism and Max-Cut. On the other hand, we prove that every connected $2$-moplex graph contains a Hamiltonian path, generalising the same property of connected proper interval graphs.
On the spectral radius of unicyclic and bicyclic graphs with a fixed diameter
Published
• View Publication
• BIB
The $α$-spectral radius of a connected graph $G$ is the spectral radius of $A_α$-matrix of $G$. In this paper, we discuss the methods for comparing $α$-spectral radius of graphs. As applications, we characterize the graphs with the maximal $α$-spectral radius among all unicyclic and bicyclic graphs of order $n$ with diameter $d$, respectively. Finally, we determine the unique graph with maximal signless Laplacian spectral radius among bicyclic graphs of order $n$ with diameter $d$.
Injective coloring of graphs revisited
Published in Discrete Mathematics, 2023
• View Publication
• BIB
An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $χ_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $χ_i(G)\ge Δ(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $χ_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property.
Restrained double Roman domination of a graph
Published
• View Publication
• BIB
For a graph G=(V,E), a restrained double Roman dominating function is a function f:V\rightarrow\{0,1,2,3\} having the property that if f(v)=0, then the vertex v must have at least two neighbors assigned 2 under f or one neighbor w with f(w)=3, and if f(v)=1, then the vertex v must have at least one neighbor w with f(w)\geq2, and at the same time, the subgraph G[V_0] which includes vertices with zero labels has no isolated vertex. The weight of a restrained double Roman dominating function f is the sum f(V)=\sum_{v\in V}f(v), and the minimum weight of a restrained double Roman dominating function on G is the restrained double Roman domination number of G. We initiate the study of restrained double Roman domination with proving that the problem of computing this parameter is NP-hard. Then we present an upper bound on the restrained double Roman domination number of a connected graph G in terms of the order of G and characterize the graphs attaining this bound. We study the restrained double Roman domination versus the restrained Roman domination. Finally, we characterized all trees T attaining the exhibited bound.
Sufficient conditions for 2-dimensional global rigidity
Published
• View Publication
• BIB
The 2-dimensional global rigidity has been shown to be equivalent to 3-connectedness and redundant rigidity by a combination of two results due to Jackson and Jordán, and Connelly, respectively. By the characterization, a theorem of Lovász and Yemini implies that every $6$-connected graph is redundantly rigid, and thus globally rigid. The 6-connectedness is best possible, since there exist infinitely many 5-connected non-rigid graphs. Jackson, Servatius and Servatius used the idea of ``essential connectivity'' and proved that every 4-connected ``essentially 6-connected'' graph is redundantly rigid and thus global rigid. Since 3-connectedness is a necessary condition of global rigidity, it is interesting to study 3-connected graphs for redundant rigidity and thus globally rigidity. We utilize a different ``essential connectivity'', and prove that every 3-connected essentially 9-connected graph is redundantly rigid and thus globally rigid. The essential 9-connectedness is best possible. Under this essential connectivity, we also prove that every 4-connected essentially 6-connected graph is redundantly rigid and thus global rigid. Our proofs are based on discharging arguments.
$1$-independent percolation on $\mathbb{Z}^2 \times K_n$
Published
• View Publication
• BIB
A random graph model on a host graph H is said to be 1-independent if for every pair of vertex-disjoint subsets A,B of E(H), the state of edges (absent or present) in A is independent of the state of edges in B. For an infinite connected graph H, the 1-independent critical percolation probability $p_{1,c}(H)$ is the infimum of the p in [0,1] such that every 1-independent random graph model on H in which each edge is present with probability at least p almost surely contains an infinite connected component.
Balister and Bollobás observed in 2012 that $p_{1,c}(\mathbb{Z}^d)$ is nonincreasing and tends to a limit in [1/2, 1] as d tends to infinity. They asked for the value of this limit. We make progress towards this question by showing that \[\lim_{n\rightarrow \infty}p_{1,c}(\mathbb{Z}^2\times K_n)=4-2\sqrt{3}=0.5358\ldots \ .\] In fact, we show that the equality above remains true if the sequence of complete graphs $K_n$ is replaced by a sequence of weakly pseudorandom graphs on n vertices with average degree $ω(\log n)$. We conjecture that the equality also remains true if $K_n$ is replaced instead by the n-dimensional hypercube $Q_n$. This latter conjecture would imply the answer to Balister and Bollobás's question is $4-2\sqrt{3}$.
Using our results, we are also able to resolve a problem of Day, Hancock and the first author on the emergence of long paths in 1-independent random graph models on $\mathbb{Z}\times K_n$. Finally, we prove some results on component evolution in 1-independent random graphs, and discuss a number of open problems arising from our work that may pave the way for further progress on the question of Balister and Bollobás.