graph
34828 papers tagged with this keyword
A characterization of domination weak bicritical graphs with large diameter
Published
• View Publication
• BIB
The domination number of a graph $G$, denoted by $γ(G)$, is the minimum cardinality of a dominating set of $G$. A vertex of a graph is called critical if its deletion decreases the domination number, and a graph is called critical if its all vertices are critical. A graph $G$ is called weak bicritical if for every non-critical vertex $x\in V(G)$, $G-x$ is a critical graph with $γ(G-x)=γ(G)$. In this paper, we characterize the connected weak bicritical graphs $G$ whose diameter is exactly $2γ(G)-2$. This is a generalization of some known results concerning the diameter of graphs with a domination-criticality.
Bounded Clique-Width of ($S_{1,2,2}$,Triangle)-Free Graphs
If a graph has no induced subgraph isomorphic to $H_1$ or $H_2$ then it is said to be ($H_1,H_2$)-free. Dabrowski and Paulusma found 13 open cases for the question whether the clique-width of ($H_1,H_2$)-free graphs is bounded. One of them is the class of ($S_{1,2,2}$,triangle)-free graphs. In this paper we show that these graphs have bounded clique-width. Thus, also ($P_1+2P_2$,triangle)-free graphs have bounded clique-width which solves another open problem of Dabrowski and Paulusma. Meanwhile we were informed by Paulusma that in December 2015, Dabrowski, Dross and Paulusma showed that ($S_{1,2,2}$,triangle)-free graphs (and some other graph classes) have bounded clique-width.
Graphons and cut metric on sigma-finite measure spaces
Borgs, Chayes, Cohn and Holden (2016+) recently extended the definition of graphons from probability spaces to arbitrary $σ$-finite measure spaces, in order to study limits of sparse graphs. They also extended the definition of the cut metric, and proved various results on the resulting metric space.
We continue this line of research and give various further results on graphons and the cut metric in this general setting, extending known results for the standard case of graphons on probability spaces. In particular, we characterize pairs of equivalent graphons, and we give new results on completeness and compactness.
On chromatic numbers of some distance graphs
Published
• View Publication
• BIB
In this paper we find chromatic numbers of distance graphs $G(n,3,2)$ for infinitely many n. Also we improve upper bound for $χ(G(n,r,s))$ in large part of cases.
A conjectured bound on the spanning tree number of bipartite graphs
The Ferrers bound conjecture is a natural graph-theoretic extension of the enumeration of spanning trees for Ferrers graphs. We document the current status of the conjecture and provide a further conjecture which implies it.
Skew-signings of positive weighted digraphs
Published
• View Publication
• BIB
An arc-weighted digraph is a pair $(D,ω)$ where $D$ is a digraph and $ω$ is an \emph{arc-weight function} that assigns\ to each arc $uv$ of $D$ a nonzero real number $ω(uv)$. Given an arc-weighted digraph $(D,ω)$ with vertices $v_{1},\ldots,v_{n}$, the weighted adjacency matrix of $(D,ω)$ is defined as the matrix $A(D,ω)=[a_{ij}]$ where $a_{ij}=ω(v_{i}v_{j})$, if $v_{i}v_{j}\ $an arc of $D$ and $0$ otherwise. Let $(D,ω)$ be a positive arc-weighted digraphs and assume that $D$ is loopless and symmetric. A skew-signing of $(D,ω)$ is an arc-weight function $ω^{\prime}$ such that $ω^{\prime}(uv)=\pm ω(uv)$ and $ω^{\prime}(uv)ω^{\prime}(vu)<0$ for every arc $uv$ of $D$. In this paper, we give necessary and sufficient conditions under which the characteristic polynomial of $A(D,ω^{\prime})$ is the same for every skew-signing $ω^{\prime}$ of $(D,ω)$. Our Main Theorem generalizes a result of Cavers et al (2012) about skew-adjacency matrices of graphs.
R-connectivity Augmentation in Trees
A \emph{vertex separator} of a connected graph $G$ is a set of vertices removing which will result in two or more connected components and a \emph{minimum vertex separator} is a set which contains the minimum number of such vertices, i.e., the cardinality of this set is least among all possible vertex separator sets. The cardinality of the minimum vertex separator refers to the connectivity of the graph G. A connected graph is said to be $k-connected$ if removing exactly $k$ vertices, $ k\geq 1$, from the graph, will result in two or more connected components and on removing any $(k-1)$ vertices, the graph is still connected. A \emph{connectivity augmentation} set is a set of edges which when augmented to a $k$-connected graph $G$ will increase the connectivity of $G$ by $r$, $r \geq 1$, making the graph $(k+r)$-$connected$ and a \emph{minimum connectivity augmentation} set is such a set which contains a minimum number of edges required to increase the connectivity by $r$. In this paper, we shall investigate a $r$-$connectivity$ augmentation in trees, $r \geq 2$. As part of lower bound study, we show that any minimum $r$-connectivity augmentation set in trees requires at least $ \lceil\frac{1}{2} \sum\limits_{i=1}^{r-1} (r-i) \times l_{i} \rceil $ edges, where $l_i$ is the number of vertices with degree $i$. Further, we shall present an algorithm that will augment a minimum number of edges to make a tree $(k+r)$-connected.
Six variations on a theme: almost planar graphs
Published in Involve 11 (2018) 413-448
• View Publication
• BIB
A graph is apex if it can be made planar by deleting a vertex, that is, $\exists v$ such that $G-v$ is planar. We define the related notions of edge apex, $\exists e$ such that $G-e$ is planar, and contraction apex, $\exists e$ such that $G/e$ is planar, as well as the analogues with a universal quantifier: $\forall v$, $G-v$ planar; $\forall e$, $G-e$ planar; and $\forall e$, $G/e$ planar. The Graph Minor Theorem of Robertson and Seymour ensures that each of these six gives rise to a finite set of obstruction graphs. For the three definitions with universal quantifiers we determine this set. For the remaining properties, apex, edge apex, and contraction apex, we show there are at least 36, 55, and 82 obstruction graphs respectively. We give two similar approaches to almost nonplanar ($\exists e$, $G+e$ is nonplanar and $\forall e$, $G+e$ is nonplanar) and determine the corresponding minor minimal graphs.
Properties of the Extended Graph Permanent
Published
• View Publication
• BIB
Previously, the graph permanent was introduced as a single-valued invariant for graphs $G$ with $|E(G)| = k(|V(G)|-1)$ for some $k \in \mathbb{Z}_{>0}$. Herein, we construct the extended graph permanent, an infinite sequence for all graphs. We prove that, like the graph permanent, the extended graph permanent is invariant under the graph operations that are known to preserve the period. Further, the original construction and extension arise from permanents of matrices, but we construct a novel graph polynomial such that the sequence can be generated from the point count of this polynomial, as a residue over prime-order finite fields.
On minimal graphs containing k perfect matchings
We call a finite undirected graph minimally k-matchable if it has at least k distinct perfect matchings but deleting any edge results in a graph which has not. An odd subdivision of some graph G is any graph obtained by replacing every edge of G by a path of odd length connecting its end vertices such that all these paths are internally disjoint. We prove that for every k>0 there exists a finite set of graphs S(k) such that every minimally k-matchable graph is isomorphic to a disjoint union of an odd subdivision of some graph from S(k) and any number of copies of the complete graph on two vertices.
An Exact Enumeration of Distance-Hereditary Graphs
Published
• View Publication
• BIB
Distance-hereditary graphs form an important class of graphs, from the theoretical point of view, due to the fact that they are the totally decomposable graphs for the split-decomposition. The previous best enumerative result for these graphs is from Nakano et al. (J. Comp. Sci. Tech., 2007), who have proven that the number of distance-hereditary graphs on $n$ vertices is bounded by ${2^{\lceil 3.59n\rceil}}$.
In this paper, using classical tools of enumerative combinatorics, we improve on this result by providing an exact enumeration of distance-hereditary graphs, which allows to show that the number of distance-hereditary graphs on $n$ vertices is tightly bounded by ${(7.24975\ldots)^n}$---opening the perspective such graphs could be encoded on $3n$ bits. We also provide the exact enumeration and asymptotics of an important subclass, the 3-leaf power graphs.
Our work illustrates the power of revisiting graph decomposition results through the framework of analytic combinatorics.
Enumerations, Forbidden Subgraph Characterizations, and the Split-Decomposition
Published
• View Publication
• BIB
Forbidden characterizations may sometimes be the most natural way to describe families of graphs, and yet these characterizations are usually very hard to exploit for enumerative purposes.
By building on the work of Gioan and Paul (2012) and Chauve et al. (2014), we show a methodology by which we constrain a split-decomposition tree to avoid certain patterns, thereby avoiding the corresponding induced subgraphs in the original graph.
We thus provide the grammars and full enumeration for a wide set of graph classes: ptolemaic, block, and variants of cactus graphs (2,3-cacti, 3-cacti and 4-cacti). In certain cases, no enumeration was known (ptolemaic, 4-cacti); in other cases, although the enumerations were known, an abundant potential is unlocked by the grammars we provide (in terms of asymptotic analysis, random generation, and parameter analyses, etc.).
We believe this methodology here shows its potential; the natural next step to develop its reach would be to study split-decomposition trees which contain certain prime nodes. This will be the object of future work.
The 2-surviving rate of planar graphs with average degree lower than $4\frac{1}{2}$
Published in Journal of Graph Theory, 89 (2018), 341-349
• View Publication
• BIB
Let $G$ be any connected graph on $n$ vertices, $n \ge 2.$ Let $k$ be any positive integer. Suppose that a fire breaks out at some vertex of $G.$ Then, in each turn firefighters can protect at most $k$ vertices of $G$ not yet on fire; Next the fire spreads to all unprotected neighbours. The $k$-surviving rate of G, denoted by $ρ_k(G),$ is the expected fraction of vertices that can be saved from the fire, provided that the starting vertex is chosen uniformly at random.
In this note, it is shown that for any planar graph $G$ with average degree $4\frac{1}{2} - ε,$ where $ε\in (0, 1],$ we have $ρ_2(G) \ge \frac{2}{9}ε$. In particular, the result implies a significant improvement of the bound for 2-surviving rate for triangle-free planar graphs (Esperet, van den Heuvel, Maffray and Sipma, 2013) and for planar graphs without 4-cycles (Kong, Wang, Zhang, 2012). The proof is done using the separator theorem for planar graphs.
This paper is the corrected version of (Gordinowicz, 2018) unified with the corrigendum.
Edge-Maximal Graphs on Surfaces
Published in Canadian J. Mathematics 70.4:925-942, 2018
• View Publication
• BIB
We prove that for every surface $Σ$ of Euler genus $g$, every edge-maximal embedding of a graph in $Σ$ is at most $O(g)$ edges short of a triangulation of $Σ$. This provides the first answer to an open problem of Kainen (1974).
On the F-index and F-coindex of the line graphs of the subdivision graphs
Published
• View Publication
• BIB
The aim of this work is to investigate the F-index and F-coindex of the line graphs of the cycle graphs, star graphs, tadpole graphs, wheel graphs and ladder graphs using the subdivision concepts. F-index of the line graph of subdivision graph of square grid graph, 2D-lattice, nanotube and nanotorus of $TUC_{4}C_{8}[p, q]$ are also investigated here.
The sandpile model on K_{m,n} and the rank of its configurations
We present an algorithm to compute the rank of a configuration of the sandpile model for the complete bipartite graph K_{m,n} of complexity O(m+n). Furthermore, we provide a formula for the generating function of parking sorted configurations on complete bipartite graphs K_{m,n} according to rank, degree, and the sizes m and n.
The results in the present paper are similar to those found by Robert Cori and the second named author for the complete graph K_{n+1}, and they rely on the analysis of certain operators on the stable sorted configurations of K_{m,n} developed in a previous work by the authors together with Jean-Christophe Aval and Mark Dukes.
Almost all trees are almost graceful
Published in Random Structures and Algorithms Volume 56 (4), 2020, pages 948-987
• View Publication
• BIB
The Graceful Tree Conjecture of Rosa from 1967 asserts that the vertices of each tree T of order n can be injectively labelled by using the numbers {1,2,...,n} in such a way that the absolute differences induced on the edges are pairwise distinct.
We prove the following relaxation of the conjecture for each c>0 and for all n>n_0(c). Suppose that (i) the maximum degree of T is bounded by O(n/log n), and (ii) the vertex labels are chosen from the set {1,2,..., (1+c)n}. Then there is an injective labelling of V(T) such that the absolute differences on the edges are pairwise distinct. In particular, asymptotically almost all trees on n vertices admit such a labelling.
As a consequence, for any such tree T we can pack (2+2c)n-1 copies of T into the complete graph of order (2+2c)n-1 cyclically. This proves an approximate version of the Ringel-Kotzig conjecture (which asserts the existence of a cyclic packing of 2n-1 copies of any T into the complete graph of order 2n-1) for these trees.
The proof proceeds by showing that a certain very natural randomized algorithm produces a desired labelling with high probability.
Coloring curves on surfaces
Published in Forum Math. Sigma 6 (2018), e17
• View Publication
• BIB
We study the chromatic number of the curve graph of a surface. We show that the chromatic number grows like k log k for the graph of separating curves on a surface of Euler characteristic -k. We also show that the graph of curves that represent a fixed non-zero homology class is uniquely t-colorable, where t denotes its clique number. Together, these results lead to the best known bounds on the chromatic number of the curve graph. We also study variations for arc graphs and obtain exact results for surfaces of low complexity. Our investigation leads to connections with Kneser graphs, the Johnson homomorphism, and hyperbolic geometry.
Separators in region intersection graphs
For undirected graphs $G=(V,E)$ and $G_0=(V_0,E_0)$, say that $G$ is a region intersection graph over $G_0$ if there is a family of connected subsets $\{ R_u \subseteq V_0 : u \in V \}$ of $G_0$ such that $\{u,v\} \in E \iff R_u \cap R_v \neq \emptyset$.
We show if $G_0$ excludes the complete graph $K_h$ as a minor for some $h \geq 1$, then every region intersection graph $G$ over $G_0$ with $m$ edges has a balanced separator with at most $c_h \sqrt{m}$ nodes, where $c_h$ is a constant depending only on $h$. If $G$ additionally has uniformly bounded vertex degrees, then such a separator is found by spectral partitioning.
A string graph is the intersection graph of continuous arcs in the plane. The preceding result implies that every string graph with $m$ edges has a balanced separator of size $O(\sqrt{m})$. This bound is optimal, as it generalizes the planar separator theorem. It confirms a conjecture of Fox and Pach (2010), and improves over the $O(\sqrt{m} \log m)$ bound of Matousek (2013).
Eulerian properties of hypergraphs
Published
• View Publication
• BIB
In this paper we study three substructures in hypergraphs that generalize the notion of an Euler tour in a graph. A flag-traversing tour of a hypergraph corresponds to an Euler tour of its incidence graph, hence complete characterization of hypergraphs with an Euler tour follows from Euler's Theorem. An Euler tour is a closed walk that traverses each edge of the hypergraph exactly once; and an Euler family is a family of closed walks that cannot be concatenated and that jointly traverse each edge of the hypergraph exactly once. Lonc and Naroski have shown that the problem of existence of an Euler tour is NP-complete even on a very restricted subclass of 3-uniform hypergraphs, while we show that the problem of existence of an Euler family is polynomial on the class of all hypergraphs.
Furthermore, we examine the necessary conditions for a hypergraph to admit an Euler family (Euler tour, respectively); we show that while these necessary conditions are sufficient for connected graphs, they are not sufficient for general hypergraphs. On the other hand, we exhibit a new class of hypergraphs for which these necessary conditions are also sufficient, extending a result by Lonc and Naroski. We give a partial characterization of hypergraphs with an Euler family (Euler tour, respectively) in terms of the intersection graph of the hypergraph, and a complete (but not easy to verify) characterization in terms of the incidence graph. For hypergraphs with an Euler family, we give a complete verifiable characterization using a theorem of Lovász, and then show that every 3-uniform hypergraph without cut edges admits an Euler family. Finally, we show that a hypergraph admits an Euler family if and only if it can be decomposed into cycles, and exhibit a relationship between 2-factors in a hypergraph and eulerian properties of its dual.