graph
34629 papers tagged with this keyword
Bears with Hats and Independence Polynomials
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (October 16, 2023) dmtcs:10802
• View Publication
• BIB
Consider the following hat guessing game. A bear sits on each vertex of a graph $G$, and a demon puts on each bear a hat colored by one of $h$ colors. Each bear sees only the hat colors of his neighbors. Based on this information only, each bear has to guess $g$ colors and he guesses correctly if his hat color is included in his guesses. The bears win if at least one bear guesses correctly for any hat arrangement.
We introduce a new parameter - fractional hat chromatic number $\hatμ$, arising from the hat guessing game. The parameter $\hatμ$ is related to the hat chromatic number which has been studied before. We present a surprising connection between the hat guessing game and the independence polynomial of graphs. This connection allows us to compute the fractional hat chromatic number of chordal graphs in polynomial time, to bound fractional hat chromatic number by a function of maximum degree of $G$, and to compute the exact value of $\hatμ$ of cliques, paths, and cycles.
Rigid Gorenstein toric Fano varieties arising from directed graphs
Published in Collectanea Mathematica 74 (2023), 333--351
• View Publication
• BIB
A directed edge polytope $\mathcal{A}_G$ is a lattice polytope arising from root system $A_n$ and a finite directed graph $G$. If every directed edge of $G$ belongs to a directed cycle in $G$, then $\mathcal{A}_G$ is terminal and reflexive, that is, one can associate this polytope to a Gorenstein toric Fano variety $X_G$ with terminal singularities. It is shown by Totaro that a toric Fano variety which is smooth in codimension $2$ and $\mathbb{Q}$-factorial in codimension $3$ is rigid. In the present paper, we classify all directed graphs $G$ such that $X_G$ is a toric Fano variety which is smooth in codimension $2$ and $\mathbb{Q}$-factorial in codimension $3$.
Hitting minors on bounded treewidth graphs. II. Single-exponential algorithms
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION (resp. ${\cal F}$-TM-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 (resp. topological minor). We are interested in the parameterized complexity of both problems when the parameter is the treewidth of $G$, denoted by $tw$, and specifically in the cases where ${\cal F}$ contains a single connected planar graph $H$. We present algorithms running in time $2^{O(tw)} \cdot n^{O(1)}$, called single-exponential, when $H$ is either $P_3$, $P_4$, $C_4$, the paw, the chair, and the banner for both $\{H\}$-M-DELETION and $\{H\}$-TM-DELETION, and when $H=K_{1,i}$, with $i \geq 1$, for $\{H\}$-TM-DELETION. Some of these algorithms use the rank-based approach introduced by Bodlaender et al. [Inform Comput, 2015]. This is the second 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$.
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.
Arc-Completion of 2-Colored Best Match Graphs to Binary-Explainable Best Match Graphs
Published
• View Publication
• BIB
Best match graphs (BMGs) are vertex-colored digraphs that naturally arise in mathematical phylogenetics to formalize the notion of evolutionary closest genes w.r.t. an a priori unknown phylogenetic tree. BMGs are explained by unique least resolved trees. We prove that the property of a rooted, leaf-colored tree to be least resolved for some BMG is preserved by the contraction of inner edges. For the special case of two-colored BMGs, this leads to a characterization of the least resolved trees (LRTs) of binary-explainable trees and a simple, polynomial-time algorithm for the minimum cardinality completion of the arc set of a BMG to reach a BMG that can be explained by a binary tree.
From Modular Decomposition Trees to Rooted Median Graphs
Published
• View Publication
• BIB
The modular decomposition of a symmetric map $δ\colon X\times X \to Υ$ (or, equivalently, a set of symmetric binary relations, a 2-structure, or an edge-colored undirected graph) is a natural construction to capture key features of $δ$ in labeled trees. A map $δ$ is explained by a vertex-labeled rooted tree $(T,t)$ if the label $δ(x,y)$ coincides with the label of the last common ancestor of $x$ and $y$ in $T$, i.e., if $δ(x,y)=t(\mathrm{lca}(x,y))$. Only maps whose modular decomposition does not contain prime nodes, i.e., the symbolic ultrametrics, can be exaplained in this manner. Here we consider rooted median graphs as a generalization to (modular decomposition) trees to explain symmetric maps. We first show that every symmetric map can be explained by "extended" hypercubes and half-grids. We then derive a a linear-time algorithm that stepwisely resolves prime vertices in the modular decomposition tree to obtain a rooted and labeled median graph that explains a given symmetric map $δ$. We argue that the resulting "tree-like" median graphs may be of use in phylogenetics as a model of evolutionary relationships.
The spectrum of a class of graphs derived from Grassmann graphs
Let $n,k$ be positive integers such that $n\geq 3$, $k < \frac {n}{2} $. Let $q$ be a power of a prime $p$ and $\mathbb{F}_q$ be a finite field of order $q$. Let $V(q,n)$ be a vector space of dimension $n$ over $\mathbb{F}_q$. We define the graph $S(q,n,k)$ as a graph with the vertex set $V=V_k \cup V_{k+1}$, where $V_k$ and $V_{k+1}$ are the family of subspaces in $V(q,n)$ of dimension $k$ and $k+1$ respectively, in which two vertices $v$ and $w$ are adjacent whenever $v$ is a subspace of $w$ or $w$ is a subspace of $v$.
It is clear that the graph $S(q,n,k)$ is a bipartite graph. In this paper, we study some properties of this graph. In particular, we determine the spectrum of the graph $S(q,n,k)$.
Spanning cycles in random directed graphs
Published
• View Publication
• BIB
We show that, in almost every $n$-vertex random directed graph process, a copy of every possible $n$-vertex oriented cycle will appear strictly before a directed Hamilton cycle does, except of course for the directed cycle itself. Furthermore, given an arbitrary $n$-vertex oriented cycle, we determine the sharp threshold for its appearance in the binomial random directed graph. These results confirm, in a strong form, a conjecture of Ferber and Long.
Hamiltonian cycles in 2-tough $2K_2$-free graphs
Published
• View Publication
• BIB
A graph $G$ is called a $2K_2$-free graph if it does not contain $2K_2$ as an induced subgraph. In 2014, Broersma, Patel and Pyatkin showed that every 25-tough $2K_2$-free graph on at least three vertices is Hamiltonian. Recently, Shan improved this result by showing that 3-tough is sufficient instead of 25-tough. In this paper, we show that every 2-tough $2K_2$-free graph on at least three vertices is Hamiltonian, which was conjectured by Gao and Pasechnik.
Ramsey numbers of large books
Published
• View Publication
• BIB
A book $B_n$ is a graph which consists of $n$ triangles sharing a common edge. In 1978, Rousseau and Sheehan conjectured that the Ramsey number satisfies $r(B_m,B_n)\le 2(m+n)+c$ for some constant $c>0$. In this paper, we obtain that $r(B_m, B_n)\le 2(m+n)+o(n)$ for all $m\le n$ and $n$ large, which confirms the conjecture of Rousseau and Sheehan asymptotically. As a corollary, our result implies that a related conjecture of Faudree, Rousseau and Sheehan (1982) on strongly regular graph holds asymptotically.
Characterization of Graphs with Villainy 2
Let $f$ be an optimal proper coloring of a graph $G$ and let $c$ be a coloring of the vertices of $G$ obtained by permuting the colors on vertices in the proper coloring $f$. The villainy of $c$, written $B(c)$, is the minimum number of vertices that must be recolored to obtain a proper coloring of $G$ with the additional condition that the number of times each color is used does not change. The villainy of $G$ is defined as $B(G)=max_{c}B(c)$, over all optimal proper colorings of $G$. In this paper, we characterize graphs $G$ with $B(G)=2$.
Expansion in Cayley graphs, Cayley sum graphs and their twists
The Cayley graphs of finite groups are known to provide several examples of families of expanders, and some of them are Ramanujan graphs. Babai studied isospectral non-isomorphic Cayley graphs of the dihedral groups. Lubotzky, Samuels and Vishne proved that there are isospectral non-isomorphic Cayley graphs of $\mathrm{PSL}_d(\mathbb F_q)$ for every $d\geq 5$ ($d \neq 6$) and prime power $q> 2$. In this article, we focus on three variants of Cayley graphs, viz., the Cayley sum graphs, the twisted Cayley graphs, and the twisted Cayley sum graphs. We prove the existence of non-isomorphic expander families of bounded degree, whose spectra are related by the values of certain characters. We also provide several new examples of expander families, and examples of non-expanders and Ramanujan graphs formed by these three variants.
Ordering chemical graphs by Sombor indices and its applications
Published
• View Publication
• BIB
Topological indices are a class of numerical invariants that predict certain physical and chemical properties of molecules. Recently, two novel topological indices, named as Sombor index and reduced Sombor index, were introduced by Gutman, defined as $$SO(G)=\sum_{uv\in E(G)}\sqrt{d_{G}^{2}(u)+d_{G}^{2}(v)},$$ $$SO_{red}(G)=\sum_{uv\in E(G)}\sqrt{(d_{G}(u)-1)^{2}+(d_{G}(v)-1)^{2}},$$ where $d_{G}(u)$ denotes the degree of vertex $u$ in $G$.
In this paper, our aim is to order the chemical trees, chemical unicyclic graphs, chemical bicyclic graphs and chemical tricyclic graphs with respect to Sombor index and reduced Sombor index. We determine the first fourteen minimum chemical trees, the first four minimum chemical unicyclic graphs, the first three minimum chemical bicyclic graphs, the first seven minimum chemical tricyclic graphs. At last, we consider the applications of reduced Sombor index to octane isomers.
Hitting all maximum independent sets
We describe an infinite family of graphs $G_n$, where $G_n$ has $n$ vertices, independence number at least $n/4$, and no set of less than $\sqrt{n}/2$ vertices intersects all its maximum independent sets. This is motivated by a question of Bollobás, Erdős and Tuza, and disproves a recent conjecture of Friedgut, Kalai and Kindler. Motivated by a related question of the last authors, we show that for every graph $G$ on $n$ vertices with independence number $(1/4+\eps)n$, the average independence number of an induced subgraph of $G$ on a uniform random subset of the vertices is at most $(1/4+\eps-Ω(\eps^2)) n$.
Heuristic Algorithms for Best Match Graph Editing
Published
• View Publication
• BIB
Best match graphs (BMGs) are a class of colored digraphs that naturally appear in mathematical phylogenetics and can be approximated with the help of similarity measures between gene sequences, albeit not without errors. The corresponding graph editing problem can be used as a means of error correction. Since the arc set modification problems for BMGs are NP-complete, efficient heuristics are needed if BMGs are to be used for the practical analysis of biological sequence data. Since BMGs have a characterization in terms of consistency of a certain set of rooted triples, we consider heuristics that operate on triple sets. As an alternative, we show that there is a close connection to a set partitioning problem that leads to a class of top-down recursive algorithms that are similar to Aho's supertree algorithm and give rise to BMG editing algorithms that are consistent in the sense that they leave BMGs invariant. Extensive benchmarking shows that community detection algorithms for the partitioning steps perform best for BMG editing.
Paint Cost and the Frugal Distinguishing Number
Published
• View Publication
• BIB
You are handed a graph with vertices in a neutral color and asked to color a subset of vertices with expensive paints in $d$ colors in such a way that only the trivial symmetry preserves the color classes. Your goal is to minimize the number of vertices needing this expensive paint. This paper address the issues surrounding your choices. In particular, a graph is said to be $d$-distinguishable if there exists a coloring with $d$ colors so that only the trivial automorphism preserves the color classes. The distinguishing number of $G$, denoted ${\rm Dist}(G)$, is the smallest $d$ for which $G$ is $d$-distinguishable. We define the -paint cost of $d$-distinguishing, denoted $ρ^d(G)$, to be the minimum number of vertices that need to be painted to $d$-distinguish $G$. This cost varies with $d$. The maximum paint cost for $G$ is called the upper paint cost, denoted $ρ^u(G)$, and occurs when $d={\rm Dist}(G)$; the minimum paint cost is called the lower paint cost, denoted $ρ^\ell(G)$. Further, we define the smallest $d$ for which the paint cost is $ρ^\ell(G)$, to be the frugal distinguishing number, ${\rm Fdist}(G)$. In this paper we formally define $ρ^d(G)$, $ρ^u(G)$, $ρ^\ell(G)$, and ${\rm Fdist}(G)$. We also show that $ρ^u(G)$ and $ρ^\ell(G)$, as well as ${\rm Fdist}(G)$ and ${\rm Dist}(G)$, can be arbitrarily large multiples of each other. Lastly, we find these parameters for the book graph $B_{m,n}$, summarized as follows. For $n\geq 2$ and $m\geq 4$, we show
$\bullet$ $ρ^\ell(B_{m,n}) = n-1;$
$\bullet$ $ρ^u(B_{m,n}) \geq (m-2) \left( n-k^{m-3} \right) +1$, where $k={\rm Dist}(B_{m,n});$
$\bullet$ ${\rm Fdist}(B_{m,n}) = 2+\left\lfloor \frac{n-1}{m-2} \right\rfloor.$
Cycle factors in randomly perturbed graphs
We study the problem of finding pairwise vertex-disjoint copies of the $\ell$-vertex cycle $C_\ell$ in the randomly perturbed graph model, which is the union of a deterministic $n$-vertex graph $G$ and the binomial random graph $G(n,p)$. For $\ell \ge 3$ we prove that asymptotically almost surely $G \cup G(n,p)$ contains $\min \{δ(G), \lfloor n/\ell \rfloor \}$ pairwise vertex-disjoint cycles $C_\ell$, provided $p \ge C \log n/n$ for $C$ sufficiently large. Moreover, when $δ(G) \geαn$ with $0<α\le 1/\ell$ and $G$ is not `close' to the complete bipartite graph $K_{αn,(1-α) n}$, then $p \ge C/n$ suffices to get the same conclusion. This provides a stability version of our result. In particular, we conclude that $p \ge C/n$ suffices when $α>1/\ell$ for finding $\lfloor n/\ell \rfloor$ cycles $C_\ell$.
Our results are asymptotically optimal. They can be seen as an interpolation between the Johansson--Kahn--Vu Theorem for $C_\ell$-factors and the resolution of the El-Zahar Conjecture for $C_\ell$-factors by Abbasi.
Bounds on half graph orders in powers of sparse graphs
Half graphs and their variants, such as ladders, semi-ladders and co-matchings, are combinatorial objects that encode total orders in graphs. Works by Adler and Adler (Eur. J. Comb.; 2014) and Fabiański et al. (STACS; 2019) prove that in the powers of sparse graphs, one cannot find arbitrarily large objects of this kind. However, these proofs either are non-constructive, or provide only loose upper bounds on the orders of half graphs and semi-ladders. In this work we provide nearly tight asymptotic lower and upper bounds on the maximum order of half graphs, parameterized on the distance, in the following classes of sparse graphs: planar graphs, graphs with bounded maximum degree, graphs with bounded pathwidth or treewidth, and graphs excluding a fixed clique as a minor.
The most significant part of our work is the upper bound for planar graphs. Here, we employ techniques of structural graph theory to analyze semi-ladders in planar graphs through the notion of cages, which expose a topological structure in semi-ladders. As an essential building block of this proof, we also state and prove a new structural result, yielding a fully polynomial bound on the neighborhood complexity in the class of planar graphs.
Modular Relations of the Tutte Symmetric Function
Published in Journal of Combinatorial Theory Series A, Volume 187, April 2022, 105572
• View Publication
• BIB
For a graph $G$, its Tutte symmetric function $XB_G$ generalizes both the Tutte polynomial $T_G$ and the chromatic symmetric function $X_G$. We may also consider $XB$ as a map from the $t$-extended Hopf algebra $\mathbb{G}[t]$ of labelled graphs to symmetric functions.
We show that the kernel of $XB$ is generated by vertex-relabellings and a finite set of modular relations, in the same style as a recent analogous result by Penaguiao on the chromatic symmetric function $X$. In particular, we find one such relation that generalizes the well-known triangular modular relation of Orellana and Scott, and build upon this to give a modular relation of the Tutte symmetric function for any two-edge-connected graph that generalizes the $n$-cycle relation of Dahlberg and van Willigenburg. Additionally, we give a structural characterization of all local modular relations of the chromatic and Tutte symmetric functions, and prove that there is no single local modification that preserves either function on simple graphs.
We also give an expansion relating $XB_G$ to $X_{G/S}$ as $S$ ranges over all subsets of $E(G)$, use this to extend results on the chromatic symmetric function to the Tutte symmetric function, and show that analogous formulas hold for a Tutte quasisymmetric function on digraphs.
Inducibility of the Net Graph
A graph $F$ is called a fractalizer if for all $n$ the only graphs which maximize the number of induced copies of $F$ on $n$ vertices are the balanced iterated blow ups of $F$. While the net graph is not a fractalizer, we show that the net is nearly a fractalizer. Let $N(n)$ be the maximum number of induced copies of the net graph among all graphs on $n$ vertices. For sufficiently large $n$ we show that, $N(n) = x_1\cdot x_2 \cdot x_3 \cdot x_4 \cdot x_5 \cdot x_6 + N(x_1) + N(x_2) + N(x_3) + N(x_4) + N(x_5) + N(x_6)$ where $σx_i = n$ and all $x_i$ are as equal as possible. Furthermore, we show that the unique graph which maximizes $N(6^k)$ is the balanced iterated blow up of the net for $k$ sufficiently large. We expand on the standard flag algebra and stability techniques through more careful counting and numerical optimization techniques.