graph
34604 papers tagged with this keyword
The DP Color Function of Clique-Gluings of Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvořák and Postle in 2015. As the analogue of the chromatic polynomial of a graph $G$, $P(G,m)$, the DP color function of $G$, denoted by $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. Formulas for chromatic polynomials of clique-gluings of graphs, a fundamental graph operation, are well-known, but the effect of such gluings on the DP color function is not well understood. In this paper we study the DP color function of $K_p$-gluings of graphs. Recently, Becker et. al. asked whether $P_{DP}(G,m) \leq (\prod_{i=1}^n P_{DP}(G_i,m))/\left( \prod_{i=0}^{p-1} (m-i) \right)^{n-1}$ whenever $m \geq p$, where the expression on the right is the DP-coloring analogue of the corresponding chromatic polynomial formula for a $K_p$-gluing, $G$, of $G_1, \ldots, G_n$. Becker et. al. showed this inequality holds when $p=1$. In this paper we show this inequality holds for edge-gluings ($p=2$). On the other hand, we show it does not hold for triangle-gluings ($p=3$), which also answers a question of Dong and Yang (2021). Finally, we show a relaxed version, based on a class of $m$-fold covers that we conjecture would yield the fewest DP-colorings for a given graph, of the inequality holds when $p \geq 3$.
Maximum zeroth-order general Randić index of orientations of trees, unicyclic and bicyclic graphs with given matching number
The zeroth-order general Randić index $R^{0}_{a}$ of a digraph $D$ is the sum of $(d^{+}_{v})^{a}+(d^{-}_{w})^{a}$ over all arcs $vw$ of $D$, where $a$, $d^{+}_{v}$ and $d^{-}_{w}$ are an arbitrary real number, the out-degree of the vertex $v$ and the in-degree of the vertex $w$, respectively. We determine maximum zeroth-order general Randić index of oriented trees, unicyclic and bicyclic graphs in terms of matching number and order in this paper.
Relating the outer-independent total Roman domination number with some classical parameters of graphs
For a given graph $G$ without isolated vertex we consider a function $f: V(G) \rightarrow \{0,1,2\}$. For every $i\in \{0,1,2\}$, let $V_i=\{v\in V(G):\; f(v)=i\}$. The function $f$ is known to be an outer-independent total Roman dominating function for the graph $G$ if it is satisfied that; (i) every vertex in $V_0$ is adjacent to at least one vertex in $V_2$; (ii) $V_0$ is an independent set; and (iii) the subgraph induced by $V_1\cup V_2$ has no isolated vertex. The minimum possible weight $ω(f)=\sum_{v\in V(G)}f(v)$ among all outer-independent total Roman dominating functions for $G$ is called the outer-independent total Roman domination number of $G$. In this article we obtain new tight bounds for this parameter that improve some well-known results. Such bounds can also be seen as relationships between this parameter and several other classical parameters in graph theory like the domination, total domination, Roman domination, independence, and vertex cover numbers. In addition, we compute the outer-independent total Roman domination number of Sierpiński graphs, circulant graphs, and the Cartesian and direct products of complete graphs.
Complexity of Paired Domination in AT-free and Planar Graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a subset $D$ of vertex set $V$, is a dominating set of $G$ if every vertex not in $D$ is adjacent to atleast one vertex of $D$. A dominating set $D$ of a graph $G$ with no isolated vertices is called a paired dominating set (PD-set), if $G[D]$, the subgraph induced by $D$ in $G$ has a perfect matching. The Min-PD problem requires to compute a PD-set of minimum cardinality. The decision version of the Min-PD problem remains NP-complete even when $G$ belongs to restricted graph classes such as bipartite graphs, chordal graphs etc. On the positive side, the problem is efficiently solvable for many graph classes including intervals graphs, strongly chordal graphs, permutation graphs etc. In this paper, we study the complexity of the problem in AT-free graphs and planar graph. The class of AT-free graphs contains cocomparability graphs, permutation graphs, trapezoid graphs, and interval graphs as subclasses. We propose a polynomial-time algorithm to compute a minimum PD-set in AT-free graphs. In addition, we also present a linear-time $2$-approximation algorithm for the problem in AT-free graphs. Further, we prove that the decision version of the problem is NP-complete for planar graphs, which answers an open question asked by Lin et al. (in Theor. Comput. Sci., $591 (2015): 99-105$ and Algorithmica, $ 82 (2020) :2809-2840$).
From Modular Decomposition Trees to Level-1 Networks: Pseudo-Cographs, Polar-Cats and Prime Polar-Cats
Published
• View Publication
• BIB
The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". This information, however, gets lost whenever $(T,t)$ contains vertices with label "prime". In this contribution, we aim at replacing "prime" vertices in $(T,t)$ by simple 0/1-labeled cycles, which leads to the concept of rooted labeled level-1 networks $(N,t)$.
We characterize graphs that can be explained by such level-1 networks $(N,t)$, which generalizes the concept of graphs that can be explained by labeled trees, that is, cographs. We provide three novel graph classes: \emph{polar-cats} are a proper subclass of \emph{pseudo-cographs} which forms a proper subclass of \emph{prime polar-cats}. In particular, every cograph is a pseudo-cograph and prime polar-cats are precisely those graphs that can be explained by a labeled level-1 network. The class of prime polar-cats is defined in terms of the modular decomposition of graphs and the property that all prime modules "induce" polar-cats. We provide a plethora of structural results and characterizations for graphs of these new classes. In addition, we show under which conditions there is a unique least-resolved labeled level-1 network that explains a given graph and provide linear-time algorithms to recognize all these types of graphs and to construct level-1 networks to explain them.
A Schwartz-Zippel Type Estimate for Homogenous Finite Field Polynomials
In this paper, we obtain a Schwartz-Zippel type estimate for homogenous finite field polynomials. Specifically, we use a probabilistic recursion technique to find upper and lower bounds for the number of zeros of a homogenous polynomial and illustrate our result with two examples involving perfect matching in bipartite graphs and common zeros in a collection of polynomials, respectively.
On Cayley representations of central Cayley graphs over almost simple groups
Published in J. Algebr. Comb .57, 227-237 (2023)
• View Publication
• BIB
A Cayley graph over a group $G$ is said to be central if its connection set is a normal subset of $G$. We prove that every central Cayley graph over a simple group $G$ has at most two pairwise nonequivalent Cayley representations over $G$ associated with the subgroups of $Sym(G)$ induced by left and right multiplications of $G$. We also provide an algorithm which, given a central Cayley graph $Γ$ over an almost simple group $G$ whose socle is of a bounded index, finds the full set of pairwise nonequivalent Cayley representations of $Γ$ over $G$ in time polynomial in size of $G$.
Mean Hitting Time on Recursive Growth Tree Network
In this paper, we are concerned with mean hitting time $\langle\mathcal{H}\rangle$ for random walks on recursive growth tree networks that are built based on an arbitrary tree as the seed via implementing various primitive graphic operations, and propose a series of combinatorial techniques that are called Mapping Transformation to exactly determine the associated $\langle\mathcal{H}\rangle-$polynomial. Our formulas can be able to completely cover the previously published results in some well-studied and specific cases where a single edge or a star is often chose to serve as seed for creating recursive growth models. The techniques proposed are more convenient than the commonly-used spectral methods mainly because of getting around the operations of matrix inversion and multiplication. Accordingly, our results can be extended for both many other stochastic models including BA-scale-free tree and random uniform tree as well as graphs of great interest consisting of line graph of tree and Vicsek fractal network to derive numerical solutions of related structural parameters. And then, the closed-form solutions of two extensions of Wiener index with respect to multiplicative and additive degrees on an arbitrary tree are conveniently obtained as well. In addition, we discuss some extremal problems of random walks on tree networks and outline the related research directions in the next step.
Depth of Binomial Edge Ideals in terms of Diameter and Vertex Connectivity
Published
• View Publication
• BIB
Let $G$ be a simple connected non-complete graph and $J_G$ be its binomial edge ideal in a polynomial ring $S$. Using certain invariants associated to graphs, say $U(G)$, Banerjee and Núñez-Betancourt gave an upper bound for the depth of $S/J_G$, and Rouzbahani Malayeri, Saeedi Madani and Kiani obtained a lower bound, say $L(G)$. Hibi and Saeedi Madani gave a structural classification of graphs satisfying $L(G)=U(G)$. In this article, we give structural classification of graphs satisfying $L(G)+1=U(G)$. We also compute the depth of $S/J_G$ for all such graphs $G$.
Properties of Large 2-Crossing-Critical Graphs
Published
• View Publication
• BIB
A $c$-crossing-critical graph is one that has crossing number at least $c$ but each of its proper subgraphs has crossing number less than $c$. Recently, a set of explicit construction rules was identified by Bokal, Oporowski, Richter, and Salazar to generate all large $2$-crossing-critical graphs (i.e., all apart from a finite set of small sporadic graphs). They share the property of containing a generalized Wagner graph $V_{10}$ as a subdivision.
In this paper, we study these graphs and establish their order, simple crossing number, edge cover number, clique number, maximum degree, chromatic number, chromatic index, and treewidth. We also show that the graphs are linear-time recognizable and that all our proofs lead to efficient algorithms for the above measures.
A solution to Ringel's circle problem
Published
• View Publication
• BIB
We construct families of circles in the plane such that their tangency graphs have arbitrarily large girth and chromatic number. This provides a strong negative answer to Ringel's circle problem (1959). The proof relies on a (multidimensional) version of Gallai's theorem with polynomial constraints, which we derive from the Hales-Jewett theorem and which may be of independent interest.
Proving hamiltonian properties in connected 4-regular graphs: an ILP-based approach
Published
• View Publication
• BIB
In this paper we study some open questions related to the smallest order $f({\cal C},\lnot {\cal H})$ of a 4-regular graph which has a connectivity property ${\cal C}$ but does not have a hamiltonian property ${\cal H}$. In particular, ${\cal C}$ is either connectivity, 2-connectivity or 1-toughness and ${\cal H}$ is hamiltonicity, homogeneously traceability or traceability. A standard theoretical approach to these questions had already been used in the literature, but did not succeed in determining the exact value of $f()$. Here we have chosen to use Integer Linear Programming and to encode the graphs that we are looking for as the binary solutions to a suitable set of linear inequalities. This way, there would exist a graph of order $n$ with certain properties if and only if the corresponding ILP had a feasible solution, which we have determined through a branch-and-cut procedure. By using our approach, we have been able to compute $f({\cal C},\lnot {\cal H})$ for all the pairs of considered properties with the exception of ${\cal C}=$1-toughness, ${\cal H}=$traceability. Even in this last case, we have nonetheless significantly reduced the interval $[LB, UB]$ in which $f({\cal C},\lnot {\cal H})$ was known to lie. Finally, we have shown that for each $n \geq f({\cal C},\lnot {\cal H})$ ($n \geq UB$ in the last case) there exists a 4-regular graph on $n$ vertices which has property ${\cal C}$ but not property ${\cal H}$.
Characterization of digraphs with three complementarity eigenvalues
Published
• View Publication
• BIB
Given a digraph D, the complementarity spectrum of the digraph is defined as the set of complementarity eigenvalues of its adjacency matrix. This complementarity spectrum has been shown to be useful in several fields, particularly in spectral graph theory. The differences between the properties of the complementarity spectrum for (undirected) graphs and for digraphs, makes the study of the latter of particular interest, and characterizing strongly connected digraphs with a small number of complementarity eigenvalues is a non trivial problem. Recently, strongly connected digraphs with one and two complementarity eigenvalues have been completely characterized. In this paper we study strongly connected digraphs with exactly three elements in the complementarity spectrum, ending with a complete characterization. This leads to a structural characterization of general digraphs having three complementarity eigenvalues.
Spanning trees of a claw-free graph whose reducible stems have few leaves
Published
• View Publication
• BIB
Let $T$ be a tree, a vertex of degree one is a leaf of $T$ and a vertex of degree at least three is a branch vertex of $T$. For two distinct vertices $u,v$ of $T$, let $P_T[u,v]$ denote the unique path in $T$ connecting $u$ and $v.$ For a leaf $x$ of $T$, let $y_x$ denote the nearest branch vertex to $x$. For every leaf $x$ of $T$, we remove the path $P_T [x, y_x)$ from $T$, where $P_T [x, y_x)$ denotes the path connecting $x$ to $y_x$ in $T$ but not containing $y_x$. The resulting subtree of $T$ is called the {\it reducible stem } of $T$. In this paper, we first use a new technique of Gould and Shull to state a new short proof for a result of Kano et al. on the spanning tree with a bounded number of leaves in a claw-free graph. After that, we use that proof to give a sharp sufficient condition for a claw-free graph having a spanning tree whose reducible stem has few leaves.
On local antimagic chromatic number of cycle-related join graphs II
Published
• View Publication
• BIB
An edge labeling of a graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label of $x$ is $f^+(x)= \sum_{e\in E(x)} f(e)$ ($E(x)$ is the set of edges incident to $x$). The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, several sufficient conditions to determine the local antimagic chromatic number of the join of graphs are obtained. We then determine the exact value of the local antimagic chromatic number of many join graphs.
Divisorial and geometric gonality of higher-rank tropical curves
We consider a variant of metrised graphs where the edge lengths take values in a commutative monoid, as a higher-rank generalisation of the notion of a tropical curve. Divisorial gonality, which Baker and Norine defined on combinatorial graphs in terms of a chip firing game, is extended to these monoid-metrised graphs. We define geometric gonality of a monoid-metrised graph as the minimal degree of a horizontally conformal, non-degenerate morphism onto an monoid-metrised tree, and prove that geometric gonality is an upper bound for divisorial gonality in the monoid-metrised case. We also show the existence of a subdivision of the underlying graph whose gonality is no larger than the monoid-metrised gonality. We relate this to the minimal degree of a map between logarithmic curves.
Graceful labellings of variable windmills using Skolem sequences
Published
• View Publication
• BIB
In this paper, we introduce graceful and near graceful labellings of several families of windmills. In particular, we use Skolem-type sequences to prove (near) graceful labellings exist for windmills with $C_3$ and $C_4$ vanes, and infinite families of $3,5$-windmills and $3,6$-windmills. Furthermore, we offer a new solution showing that the graph obtained from the union of $t$ 5-cycles with one vertex in common ($C_5^t$) is graceful if and only if $t \equiv 0,3\!\!\pmod{4}$ and is near graceful when $t\equiv 1,2 \pmod{4}$.
A new $k$-partite graph $k$-clique iterator and the optimal colored Tverberg problem for ten colored points
We provide an algorithm that verifies the optimal colored Tverberg problem for $10$ points in the plane: Every $10$ points in the plane in color classes of size at most $3$ can be partitioned in $4$ rainbow pieces such that their convex hulls intersect in a common point. This is achieved by translating the problem to $k$-partite graphs and using a new algorithm to verify that those graphs do not have a $k$-clique.
Morphology of small snarks
The aim of this paper is to classify all snarks up to order $36$ and explain the reasons of their uncolourability. The crucial part of our approach is a computer-assisted structural analysis of cyclically $5$-connected critical snarks, which is justified by the fact that every other snark can be constructed from them by a series of simple operations while preserving uncolourability. Our results reveal that most of the analysed snarks are built up from pieces of the Petersen graph and can be naturally distributed into a small number of classes having the same reason for uncolourability. This sheds new light on the structure of all small snarks. Based on our analysis, we generalise certain individual snarks to infinite families and identify a rich family of cyclically $5$-connected critical snarks.
Sequentially Cohen-Macaulay binomial edge ideals of closed graphs
Published in Res Math Sci (2022) 9:39
• View Publication
• BIB
In this paper we provide a full combinatorial characterization of sequentially Cohen-Macaulay binomial edge ideals of closed graphs. In addition, we show that a binomial edge ideal of a closed graph is approximately Cohen-Macaulay if and only if it is almost Cohen-Macaulay.