connected graph
2596 papers tagged with this keyword
Factorizations of regular graphs of infinite degree
Published
• View Publication
• BIB
Let $\mathcal{H}=\{H_i: i<α\}$ be an indexed family of graphs for some ordinal number $α$. $\mathcal{H}$-decomposition of a graph $G$ is a family $\mathcal{G}=\{G_i: i<α\}$ of edge-disjoint subgraphs of $G$ such that $G_i$ is isomorphic to $H_i$ for every $i<α$ and $\bigcup\{E(G_i):i<α\}=E(G)$. $\mathcal{H}$-factorization of $G$ is a $\mathcal{H}$-decomposition of $G$ such that every element of $\mathcal{H}$ is a spanning subgraph of $G$. Let $κ$ be an infinite cardinal. Kőnig in 1936 proved that every $κ$-regular graph has a factorization into perfect matchings. Andersen and Thomassen using this theorem proved in 1980 that every $κ$-regular connected graph has a $κ$-regular spanning tree. We generalize both these results and establish the existence of a factorization of $κ$-regular graph into $λ$-regular subgraphs for every non-zero $λ\leq κ$. Furthermore, we show that every $κ$-regular connected graph has a $\mathcal{H}$-factorization for every family $\mathcal{H}$ of $κ$ forests with $κ$ components of order at most $κ$ and without isolated vertices.
On the edge dimension and fractional edge dimension of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and let $d(u,w)$ denote the length of a $u-w$ geodesic in $G$. For any $v\in V(G)$ and $e=xy\in E(G)$, let $d(e,v)=\min\{d(x,v),d(y,v)\}$. For distinct $e_1, e_2\in E(G)$, let $R\{e_1,e_2\}=\{z\in V(G):d(z,e_1)\neq d(z,e_2)\}$. Kelenc et al. [Discrete Appl. Math. 251 (2018) 204-220] introduced the edge dimension of a graph: A vertex subset $S\subseteq V(G)$ is an edge resolving set of $G$ if $|S\cap R\{e_1,e_2\}|\ge 1$ for any distinct $e_1, e_2\in E(G)$, and the edge dimension $edim(G)$ of $G$ is the minimum cardinality among all edge resolving sets of $G$.
For a real-valued function $g$ defined on $V(G)$ and for $U\subseteq V(G)$, let $g(U)=\sum_{s\in U}g(s)$. Then $g:V(G)\rightarrow[0,1]$ is an edge resolving function of $G$ if $g(R\{e_1,e_2\})\ge1$ for any distinct $e_1,e_2\in E(G)$. The fractional edge dimension $edim_f(G)$ of $G$ is $\min\{g(V(G)):g\mbox{ is an edge resolving function of }G\}$. Note that $edim_f(G)$ reduces to $edim(G)$ if the codomain of edge resolving functions is restricted to $\{0,1\}$.
We introduce and study fractional edge dimension and obtain some general results on the edge dimension of graphs. We show that there exist two non-isomorphic graphs on the same vertex set with the same edge metric coordinates. We construct two graphs $G$ and $H$ such that $H \subset G$ and both $edim(H)-edim(G)$ and $edim_f(H)-edim_f(G)$ can be arbitrarily large. We show that a graph $G$ with $edim(G)=2$ cannot have $K_5$ or $K_{3,3}$ as a subgraph, and we construct a non-planar graph $H$ satisfying $edim(H)=2$. It is easy to see that, for any connected graph $G$ of order $n\ge3$, $1\le edim_f(G) \le \frac{n}{2}$; we characterize graphs $G$ satisfying $edim_f(G)=1$ and examine some graph classes satisfying $edim_f(G)=\frac{n}{2}$. We also determine the fractional edge dimension for some classes of graphs.
Hitting minors on bounded treewidth graphs. III. Lower bounds
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor. We are interested in the parameterized complexity of ${\cal F}$-M-DELETION when the parameter is the treewidth of $G$, denoted by $tw$. Our objective is to determine, for a fixed ${\cal F}$, the smallest function $f_{\cal F}$ such that ${\cal F}$-M-DELETION can be solved in time $f_{\cal F}(tw) \cdot n^{O(1)}$ on $n$-vertex graphs. We provide lower bounds under the ETH on $f_{\cal F}$ for several collections ${\cal F}$. We first prove that for any ${\cal F}$ containing connected graphs of size at least two, $f_{\cal F}(tw)= 2^{Ω(tw)}$, even if the input graph $G$ is planar. Our main contribution consists of superexponential lower bounds for a number of collections ${\cal F}$, inspired by a reduction of Bonnet et al.~[IPEC, 2017]. In particular, we prove that when ${\cal F}$ contains a single connected graph $H$ that is either $P_5$ or is not a minor of the banner (that is, the graph consisting of a $C_4$ plus a pendent edge), then $f_{\cal F}(tw)= 2^{Ω(tw \cdot \log tw)}$. This is the third of a series of articles on this topic, and the results given here together with other ones allow us, in particular, to provide a tight dichotomy on the complexity of $\{H\}$-M-DELETION, in terms of $H$, when $H$ is connected.
On the first three minimum Mostar indices of tree-like phenylenes
Published
• View Publication
• BIB
Let $G =(V_{G}, E_{G})$ be a simple connected graph with its vertex set $V_{G}$ and edge set $E_{G}$. The Mostar index $Mo(G)$ was defined as $Mo(G)=\sum\limits_{e=uv\in E(G)}|n_{u}-n_{v}|$, where $n_{u}$ (resp., $n_{v}$) is the number of vertices whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$). In this study, we determine the first three minimum Mostar indices of tree-like phenylenes and characterize all the tree-like phenylenes attaining these values. At last, we give some numerical examples and discussion.
Uniformly connected graphs
In this article we investigate the structure of uniformly $k$-connected and uniformly $k$-edge-connected graphs. Whereas both types have previously been studied independent of each other, we analyze relations between these two classes. We prove that any uniformly $k$-connected graph is also uniformly $k$-edge-connected for $k\le 3$ and demonstrate that this is not the case for $k>3$. Furthermore, uniformly $k$-connected and uniformly $k$-edge-connected graphs are well understood for $k\le 2$ and it is known how to construct uniformly $3$-edge-connected graphs. We contribute here a constructive characterization of uniformly $3$-connected graphs that is inspired by Tuttes Wheel Theorem. Eventually, these results help us to prove a tight bound on the number of vertices of minimum degree in uniformly $3$-connected graphs.
A note on the metric and edge metric dimensions of 2-connected graphs
Published
• View Publication
• BIB
For a given graph $G$, the metric and edge metric dimensions of $G$, $\dim(G)$ and ${\rm edim}(G)$, are the cardinalities of the smallest possible subsets of vertices in $V(G)$ such that they uniquely identify the vertices and the edges of $G$, respectively, by means of distances. It is already known that metric and edge metric dimensions are not in general comparable. Infinite families of graphs with pendant vertices in which the edge metric dimension is smaller than the metric dimension are already known. In this article, we construct a 2-connected graph $G$ such that $\dim(G)=a$ and ${\rm edim}(G)=b$ for every pair of integers $a,b$, where $4\le b<a$. For this we use subdivisions of complete graphs, whose metric dimension is in some cases smaller than the edge metric dimension. Along the way, we present an upper bound for the metric and edge metric dimensions of subdivision graphs under some special conditions.
Minimum Spanning Tree Cycle Intersection Problem
Published
• View Publication
• BIB
Consider a connected graph $G$ and let $T$ be a spanning tree of $G$. Every edge $e \in G-T$ induces a cycle in $T \cup \{e\}$. The intersection of two distinct such cycles is the set of edges of $T$ that belong to both cycles. We consider the problem of finding a spanning tree that has the least number of such non-empty intersections.
Obstructions for local tournament orientation completions
The orientation completion problem for a class of oriented graphs asks whether a given partially oriented graph can be completed to an oriented graph in the class by orienting the unoriented edges of the partially oriented graph. Orientation completion problems have been studied recently for several classes of oriented graphs, yielding both polynomial time solutions as well as NP-completeness results. Local tournaments are a well-structured class of oriented graphs that generalize tournaments and their underlying graphs are intimately related to proper circular-arc graphs. According to Skrien, a connected graph can be oriented as a local tournament if and only if it is a proper circular-arc graph. Proper interval graphs are precisely the graphs which can be oriented as acyclic local tournaments. It has been proved that the orientation completion problems for the classes of local tournaments and acyclic local tournaments are both polynomial time solvable. In this paper we characterize the partially oriented graphs that can be completed to local tournaments by determining the complete list of obstructions. These are in a sense minimal partially oriented graphs that cannot be completed to local tournaments. The result may be viewed as an extension of the well-known forbidden subgraph characterization of proper circular-arc graphs obtained by Tucker. The complete list of obstructions for acyclic local tournament orientation completions has been given in a companion paper.
Gorenstein Binomial Edge Ideals
We classify connected graphs $G$ whose binomial edge ideal is Gorenstein. The proof uses methods in prime characteristic.
The Distance Energy of Clique Trees
Published in Linear Algebra and its Applications; 2021
• View Publication
• BIB
The distance energy of a simple connected graph $G$ is defined as the sum of absolute values of its distance eigenvalues. In this paper, we mainly give a positive answer to a conjecture of distance energy of clique trees proposed by Lin, Liu and Lu [H.~Q.~ Lin, R.~F.~Liu, X.~W.~Lu, The inertia and energy of the distance matrix of a connected graph, {\it Linear Algebra Appl.,} 467 (2015), 29-39.]
On graphs with exactly one anti-adjacency eigenvalue and beyond
Published
• View Publication
• BIB
The anti-adjacency matrix of a graph is constructed from the distance matrix of a graph by keeping each row and each column only the largest distances. This matrix can be interpreted as the opposite of the adjacency matrix, which is instead constructed from the distance matrix of a graph by keeping in each row and each column only the distances equal to 1. The (anti-)adjacency eigenvalues of a graph are those of its (anti-)adjacency matrix. Employing a novel technique introduced by Haemers [Spectral characterization of mixed extensions of small graphs, Discrete Math. 342 (2019) 2760--2764], we characterize all connected graphs with exactly one positive anti-adjacency eigenvalue, which is an analog of Smith's classical result that a connected graph with exactly one positive adjacency eigenvalue iff it is a complete multipartite graph. On this basis, we identify the connected graphs with all but at most two anti-adjacency eigenvalues equal to $-2$ and $0$. Moreover, for the anti-adjacency matrix we determine the HL-index of graphs with exactly one positive anti-adjacency eigenvalue, where the HL-index measures how large in absolute value may be the median eigenvalues of a graph. We finally propose some problems for further study.
A combinatorial proof of Aldous-Broder theorem for general Markov chains
Published
• View Publication
• BIB
Aldous-Broder algorithm is a famous algorithm used to sample a uniform spanning tree of any finite connected graph $G$, but it is more general: given an irreducible and reversible Markov chain $M$ on $G$ started at $r$, the tree rooted at $r$ formed by the first entrance steps in each node (different from the root) has a probability proportional to $\prod_{e=(e^-,e^+)\in {\sf Edges}(t,r)} M_{e^{-},e^+}$, where the edges are directed toward $r$. In this paper we give proofs of Aldous-Broder theorem in the general case, where the kernel $M$ is irreducible but not assumed to be reversible (this generalized version appeared recently in Hu, Lyons and Tang )
Counting Hamiltonian cycles in 2-tiled graphs
Published
• View Publication
• BIB
In 1930, Kuratowski showed that $K_{3,3}$ and $K_5$ are the only two minor-minimal non-planar graphs. Robertson and Seymour extended finiteness of the set of forbidden minors for any surface. Širáň and Kochol showed that there are infinitely many $k$-crossing-critical graphs for any $k\ge 2$, even if restricted to simple $3$-connected graphs. Recently, $2$-crossing-critical graphs have been completely characterized by Bokal, Oporowski, Richter, and Salazar. We present a simplified description of large 2-crossing-critical graphs and use this simplification to count Hamiltonian cycles in such graphs. We generalize this approach to an algorithm counting Hamiltonian cycles in all 2-tiled graphs, thus extending the results of Bodroža-Pantić, Kwong, Doroslovački, and Pantić for $n = 2$.
The Structure of Minimum Vertex Cuts
In this paper we continue a long line of work on representing the cut structure of graphs. We classify the types minimum vertex cuts, and the possible relationships between multiple minimum vertex cuts.
As a consequence of these investigations, we exhibit a simple $O(κn)$-space data structure that can quickly answer pairwise $(κ+1)$-connectivity queries in a $κ$-connected graph. We also show how to compute the "closest" $κ$-cut to every vertex in near linear $\tilde{O}(m+poly(κ)n)$ time.
On a representation of the automorphism group of a graph in a unimodular group
We investigate a representation of the automorphism group of a connected graph $X$ in the group of unimodular matrices $U_β$ of dimension $β$, where $β$ is the Betti number of graph $X$. We classify the graphs for which the automorphism group does not embed into $U_β$. It follows that if $X$ has no pendant vertices and $X$ is not a simple cycle, then the representation is faithful and $\mathrm{Aut}\,X$ acts faithfully on $H_1(X,\mathbb{Z})$. The latter statement can be viewed as a discrete analogue of a classical Hurwitz's theorem on Riemann surfaces of genera greater than one.
Optimally reconnecting weighted graphs against an edge-destroying adversary
Published
• View Publication
• BIB
We introduce a model involving two adversaries Buster and Fixer taking turns modifying a connected graph, where each round consists of Buster deleting a subset of edges and Fixer responding by adding edges from a reserve set of weighted edges to leave the graph connected. With the weights representing the cost for Fixer to use specific reserve edges to reconnect the graph, we provide a reasonable definition for what should constitute an optimal strategy for Fixer to keep the graph connected for as long as possible as cheaply as possible, and prove that a greedy strategy for Fixer satisfies our conditions for optimality.
A note on $Oct_{1}^{+}$-free graphs and $Oct_{2}^{+}$-free graphs
Published
• View Publication
• BIB
Let $Oct_{1}^{+}$ and $Oct_{2}^{+}$ be the planar and non-planar graphs that obtained from the Octahedron by 3-splitting a vertex respectively. For $Oct_{1}^{+}$, we prove that a 4-connected graph is $Oct_{1}^{+}$-free if and only if it is $C_{6}^{2}$, $C_{2k+1}^{2}$ $(k \geq 2)$ or it is obtained from $C_{5}^{2}$ by repeatedly 4-splitting vertices. We also show that a planar graph is $Oct_{1}^{+}$-free if and only if it is constructed by repeatedly taking 0-, 1-, 2-sums starting from $\{K_{1}, K_{2} ,K_{3}\} \cup \mathscr{K} \cup \{Oct,L_{5} \}$, where $\mathscr{K}$ is the set of graphs obtained by repeatedly taking the special 3-sums of $K_{4}$. For $Oct_{2}^{+}$, we prove that a 4-connected graph is $Oct_{2}^{+}$-free if and only if it is planar, $C_{2k+1}^{2}$ $(k \geq 2)$, $L(K_{3,3})$ or it is obtained from $C_{5}^{2}$ by repeatedly 4-splitting vertices.
Mader's conjecture for graphs with small connectivity
Published
• View Publication
• BIB
Mader conjectured that for any tree $T$ of order $m$, every $k$-connected graph $G$ with minimum degree at least $\lfloor\frac{3k}{2}\rfloor +m-1$ contains a subtree $T'\cong T$ such that $G-V(T')$ is $k$-connected. In this paper, we give a characterization for a subgraph to contain an embedding of a specified tree avoiding some vertex. As a corollary, we confirm Mader's conjecture for $k\leq3$.
Some binary products and integer linear programming for computing $k$-metric dimension of graphs
Let $G$ be a connected graph. For an ordered set $S=\{v_1,\ldots, v_\ell\}\subseteq V(G)$, the vector $r_G(v|S) = (d_G(v_1,v), \ldots, d_G(v_\ell,v))$ is called the metric $S$-representation of $v$. If for any pair of different vertices $u,v\in V(G)$, the vectors $r(v|S)$ and $r(u|S)$ differ in at least $k$ positions, then $S$ is a $k$-metric generator for $G$. A smallest $k$-metric generator for $G$ is a $k$-{\em metric basis} for $G$, its cardinality being the $k$-metric dimension of $G$. A sharp upper bound and a closed formulae for the $k$-metric dimension of the hierarchical product of graphs is proved. Also, sharp lower bounds for the $k$-metric dimension of the splice and link products of graphs are presented. An integer linear programming model for computing the $k$-metric dimension and a $k$-metric basis of a given graph is proposed. These results are applied to bound or to compute the $k$-metric dimension of some classes of graphs that are of interest in mathematical chemistry.
Hamiltonian paths, unit-interval complexes, and determinantal facet ideals
Published
• View Publication
• BIB
We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are:
(1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".)
(2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".)
(3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.)
(4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".)
(5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure.