graph
34665 papers tagged with this keyword
Distinguishing Generalized Mycielskian Graphs
A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so that $N(u_i)~=~N_G(v_i)~\cup~\{w\}$. The generalized Mycielskian $μ_t(G)$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below. This paper examines the distinguishing number of the traditional and generalized Mycielskian graphs. Notably, if $G~\neq ~K_1,~K_2$ and the number of isolated vertices in $μ_t(G)$ is at most $\operatorname{Dist}(G)$, then $\operatorname{Dist}(μ_t(G)) \le \operatorname{Dist}(G)$. This result proves and exceeds a conjecture of Alikhani and Soltani.
Hamilton Cycles in the Semi-random Graph Process
Published
• View Publication
• BIB
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the problem of constructing a Hamilton cycle in as few rounds as possible. In particular, we present a novel strategy for the player which achieves a Hamiltonian cycle in $(2+4e^{-2}+0.07+o(1)) \, n < 2.61135 \, n$ rounds, assuming that a specific non-convex optimization problem has a negative solution (a premise we numerically support). Assuming that this technical condition holds, this improves upon the previously best known upper bound of $3 \, n$ rounds. We also show that the previously best lower bound of $(\ln 2 + \ln (1+\ln 2) + o(1)) \, n$ is not tight.
Gallai-Ramsey numbers for graphs with chromatic number three
Published
• View Publication
• BIB
Given a graph $H$ and an integer $k\ge1$, the Gallai-Ramsey number $GR_k(H)$ is defined to be the minimum integer $n$ such that every $k$-edge coloring of the complete graph $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $H$. In this paper, we study Gallai-Ramsey numbers for graphs with chromatic number three such as $\widehat{K}_m$ for $m\ge2$, where $\widehat{K}_m$ is a kipas with $m+1$ vertices obtained from the join of $K_1$ and $P_m$, and a class of graphs with five vertices, denoted by $\mathscr{H}$. We first study the general lower bound of such graphs and propose a conjecture for the exact value of $GR_k(\widehat{K}_m)$. Then we give a unified proof to determine the Gallai-Ramsey numbers for many graphs in $\mathscr{H}$ and obtain the exact value of $GR_k(\widehat{K}_4)$ for $k\ge1$. Our outcomes not only indicate that the conjecture on $GR_k(\widehat{K}_m)$ is true for $m\le4$, but also imply several results on $GR_k(H)$ for some $H\in \mathscr{H}$ which are proved individually in different papers.
On Rall's $1/2$-conjecture on the domination game
The $1/2$-conjecture on the domination game asserts that if $G$ is a traceable graph, then the game domination number $γ_g(G)$ of $G$ is at most $\left\lceil \frac{n(G)}{2} \right\rceil$. A traceable graph is a $1/2$-graph if $γ_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil$ holds. It is proved that the so-called hatted cycles are $1/2$-graphs and that unicyclic graphs fulfill the $1/2$-conjecture. Several additional families of graphs that support the conjecture are determined and computer experiments related to the conjecture described.
The Enclaveless Competition Game
Published
• View Publication
• BIB
For a subset $S$ of vertices in a graph $G$, a vertex $v \in S$ is an enclave of $S$ if $v$ and all of its neighbors are in $S$, where a neighbor of $v$ is a vertex adjacent to $v$. A set $S$ is enclaveless if it does not contain any enclaves. The enclaveless number $Ψ(G)$ of $G$ is the maximum cardinality of an enclaveless set in $G$. As first observed in 1997 by Slater [J. Res. Nat. Bur. Standards 82 (1977), 197--202], if $G$ is a graph with $n$ vertices, then $γ(G) + Ψ(G) = n$ where $γ(G)$ is the well-studied domination number of $G$. In this paper, we continue the study of the competition-enclaveless game introduced in 2001 by Phillips and Slater [Graph Theory Notes N. Y. 41 (2001), 37--41] and defined as follows. Two players take turns in constructing a maximal enclaveless set $S$, where one player, Maximizer, tries to maximize $|S|$ and one player, Minimizer, tries to minimize~$|S|$. The competition-enclaveless game number $Ψ_g^+(G)$ of $G$ is the number of vertices played when Maximizer starts the game and both players play optimally. We study among other problems the conjecture that if $G$ is an isolate-free graph of order $n$, then $Ψ_g^+(G) \ge \frac{1}{2}n$. We prove this conjecture for regular graphs and for claw-free graphs.
An inverse formula for the distance matrix of a wheel graph with even number of vertices
Published
• View Publication
• BIB
Let $n \geq 4$ be an even integer and $W_n$ be the wheel graph with $n$ vertices. The distance $d_{ij}$ between any two distinct vertices $i$ and $j$ of $W_n$ is the length of the shortest path connecting $i$ and $j$. Let $D$ be the $n \times n$ symmetric matrix with diagonal entries equal to zero and off-diagonal entries equal to $d_{ij}$. In this paper, we find a positive semidefinite matrix $\widetilde{L}$ such that ${\rm rank}(\widetilde{L})=n-1$, all row sums of $\widetilde{L}$ equal to zero and a rank one matrix $ww^T$ such that \[D^{-1}=-\frac{1}{2}\widetilde{L} + \frac{4}{n-1}ww^T. \] An interlacing property between the eigenvalues of $D$ and $\widetilde{L}$ is also proved.
On the number of minimal codewords in codes generated by the adjacency matrix of a graph
Published
• View Publication
• BIB
Minimal codewords have applications in decoding linear codes and in cryptography. We study the number of minimal codewords in binary linear codes that arise by appending a unit matrix to the adjacency matrix of a graph.
An integer program and new lower bounds for computing the strong rainbow connection numbers of graphs
Published
• View Publication
• BIB
We present an integer programming model to compute the strong rainbow connection number, $src(G)$, of any simple graph $G$. We introduce several enhancements to the proposed model, including a fast heuristic, and a variable elimination scheme. Moreover, we present a novel lower bound for $src(G)$ which may be of independent research interest. We solve the integer program both directly and using an alternative method based on iterative lower bound improvement, the latter of which we show to be highly effective in practice. To our knowledge, these are the first computational methods for the strong rainbow connection problem. We demonstrate the efficacy of our methods by computing the strong rainbow connection numbers of graphs containing up to $379$ vertices.
Quickly proving Diestel's normal spanning tree criterion
Published
• View Publication
• BIB
We present two short proofs for Diestel's criterion that a connected graph has a normal spanning tree provided it contains no subdivision of a countable clique in which every edge has been replaced by uncountably many parallel edges.
4-cop-win graphs have at least 19 vertices
Published in Discrete Applied Mathematics, 301:74-98, October 2021
• View Publication
• BIB
We show that the cop number of any graph on 18 or fewer vertices is at most 3. This answers a question posed by Andreae in 1986, as well as more recently by Baird et al. We also find all 3-cop-win graphs on 11 vertices, narrow down the possible 4-cop-win graphs on 19 vertices and make some progress on finding the minimum order of 3-cop-win planar graphs.
List-three-coloring $ P_t $-free graphs with no induced 1-subdivision of $ K_{1,s} $
Let $s$ and $t$ be positive integers. We use $P_t$ to denote the path with $t$ vertices and $K_{1,s}$ to denote the complete bipartite graph with parts of size $1$ and $s$ respectively. The one-subdivision of $K_{1,s}$ is obtained by replacing every edge $\{u,v\}$ of $K_{1,s}$ by two edges $\{u,w\}$ and $\{v,w\}$ with a new vertex $w$. In this paper, we give a polynomial-time algorithm for the list-three-coloring problem restricted to the class of $P_t$-free graph with no induced 1-subdivision of $K_{1,s}$.
Optimal Sensor Placement in Power Grids: Power Domination, Set Covering, and the Neighborhoods of Zero Forcing Forts
Published
• View Publication
• BIB
To monitor electrical activity throughout the power grid and mitigate outages, sensors known as phasor measurement units can installed. Due to implementation costs, it is desirable to minimize the number of sensors deployed while ensuring that the grid can be effectively monitored. This optimization problem motivates the graph theoretic power dominating set problem. In this paper, we propose a novel integer program for identifying minimum power dominating sets by formulating a set cover problem. This problem's constraints correspond to neighborhoods of zero forcing forts; we study their structural properties and show they can be separated, allowing the proposed model to be solved via row generation. The proposed and existing methods are compared in several computational experiments in which the proposed method consistently exhibits an order of magnitude improvement in runtime performance.
The harmonic polytope
Published
• View Publication
• BIB
We study the harmonic polytope, which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We describe its combinatorial structure, showing that it is a $(2n-2)$-dimensional polytope with $(n!)^2(1+\frac12+\cdots+\frac1n)$ vertices and $3^n-3$ facets. We also give a formula for its volume: it is a weighted sum of the degrees of the projective varieties of all the toric ideals of connected bipartite graphs with $n$ edges; or equivalently, a weighted sum of the lattice point counts of all the corresponding trimmed generalized permutahedra.
A conjecture of eigenvalues of threshold graphs
Published
• View Publication
• BIB
Let $A_n$ be the anti-regular graph of order $n.$ It was conjectured that among all threshold graphs on $n$ vertices, $A_n$ has the smallest positive eigenvalue and the largest eigenvalue less than $-1.$ Recently, in \cite{Cesar2} was given partial results for this conjecture and identified the critical cases where a more refined method is needed. In this paper, we deal with these cases and confirm that conjecture holds.
Coloring $(P_5, \text{gem})$-free graphs with $Δ-1$ colors
Published in Journal of Graph Theory. Vol. 101(4), December 2022, pp. 633-642
• View Publication
• BIB
The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G) \geq 9$ and $ω(G) \leq Δ(G)-1$, then $χ(G)\leqΔ(G) -1$. We prove the Borodin-Kostochka Conjecture for $(P_5, \text{gem})$-free graphs, i.e., graphs with no induced $P_5$ and no induced $K_1\vee P_4$.
Anti-Ramsey threshold of cycles
Published
• View Publication
• BIB
For graphs $G$ and $H$, let $G \overset{\mathrm{rb}}{\longrightarrow} H$ denote the property that for every proper edge colouring of $G$ there is a rainbow copy of $H$ in $G$. Extending a result of Nenadov, Person, Škorić and Steger [J. Combin. Theory Ser. B 124 (2017),1-38], we determine the threshold for $G(n,p) \overset{\mathrm{rb}}{\longrightarrow} C_\ell$ for cycles $C_\ell$ of any given length $\ell \geq 4$.
Italian domination in rooted product graphs
Published
• View Publication
• BIB
In this article, we obtain closed formulae for the Italian domination number of rooted product graphs. As a particular case of the study, we derive the corresponding formulas for corona graphs, and we provide an alternative proof that the problem of computing the Italian domination number of a graph is NP-hard.
Complete Characterization of Incorrect Orthology Assignments in Best Match Graphs
Published
• View Publication
• BIB
Genome-scale orthology assignments are usually based on reciprocal best matches. In the absence of horizontal gene transfer (HGT), every pair of orthologs forms a reciprocal best match. Incorrect orthology assignments therefore are always false positives in the reciprocal best match graph. We consider duplication/loss scenarios and characterize unambiguous false-positive (u-fp) orthology assignments, that is, edges in the best match graphs (BMGs) that cannot correspond to orthologs for any gene tree that explains the BMG. Moreover, we provide a polynomial-time algorithm to identify all u-fp orthology assignments in a BMG. Simulations show that at least $75\%$ of all incorrect orthology assignments can be detected in this manner. All results rely only on the structure of the BMGs and not on any a priori knowledge about underlying gene or species trees.
Tangles: a structural approach to artificial intelligence in the empirical sciences (Part I)
Traditional clustering identifies groups of objects that share certain qualities. Tangles do the converse: they identify groups of qualities that often occur together. They can thereby discover, relate, and structure types: of behaviour, political views, texts, or viruses.
If desired, tangles can also be used as a new method for traditional clustering. They offer a precise, quantitative paradigm suited particularly to fuzzy clusters, since they do not require any assignment of objects to the clusters which these collectively form.
This is the first of four parts of a book with the above title. The book explores applications outside mathematics of the notion and theory of tangles generalised from the graph tangles know from graph minor theory.
Standard Monomials of 1-Skeleton Ideals of Graphs and Their Signless Laplace Matrices
Published
• View Publication
• BIB
Let $G$ be a (multi) graph on the vertex set $V=\{0,1,\ldots ,n\}$ with root $0$. The $G$-parking function ideal $\mathcal{M}_G$ is a monomial ideal in the polynomial ring $R=\mathbb{K}[x_1,\ldots ,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G}\right)=\det\left(\widetilde{L}_G\right)$, where $\widetilde{L}_G$ is the truncated Laplace matrix of $G$ and $\det\left(\widetilde L_G\right)$ is the determinant of $\widetilde L_G$. In other words, standard monomials of the Artinian quotient $\frac{R}{\mathcal{M}_G}$ correspond bijectively with the spanning trees of $G$. For $0\leq k\leq n-1$, the $k$-skeleton ideal $\mathcal{M}_G^{(k)}$ of $G$ is the monomial subideal $\mathcal{M}_G^{(k)}=\left\langle m_A:\emptyset\neq A\subseteq[n]\text{ and }|A|\leq k+1\right\rangle$ of the $G$-parking function ideal $\mathcal{M}_G=\left\langle m_A : \emptyset \neq A\subseteq[n]\right\rangle\subseteq R$. For a simple graph $G$, Dochtermann conjectured that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G^{(1)}}\right)\geq\det\left(\widetilde{Q}_G\right)$, where $\widetilde Q_G$ is the truncated signless Laplace matrix of $G$. We show that Dochtermann conjecture holds for any (simple or multi) graph $G$ on $V$.