graph
35436 papers tagged with this keyword
Counting and Sampling Perfect Matchings in Regular Expanding Non-Bipartite Graphs
We show that the ratio of the number of near perfect matchings to the number of perfect matchings in $d$-regular strong expander (non-bipartite) graphs, with $2n$ vertices, is a polynomial in $n$, thus the Jerrum and Sinclair Markov chain [JS89] mixes in polynomial time and generates an (almost) uniformly random perfect matching. Furthermore, we prove that such graphs have at least $Ω(d)^n$ any perfect matchings, thus proving the Lovasz-Plummer conjecture [LP86] for this family of graphs.
Approximation metatheorems for classes with bounded expansion
We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in any class of graphs with bounded expansion, * a QPTAS in any class with strongly sublinear separators, and * a PTAS in any fractionally treewidth-fragile class (which includes all common classes with strongly sublinear separators. Moreover, our tools also give an exact subexponential-time algorithm in any class with strongly sublinear separators.
Axis-Aligned Square Contact Representations
We introduce a new class $\mathcal{G}$ of bipartite plane graphs and prove that each graph in $\mathcal{G}$ admits a proper square contact representation. A contact between two squares is \emph{proper} if they intersect in a line segment of positive length. The class $\mathcal{G}$ is the family of quadrangulations obtained from the 4-cycle $C_4$ by successively inserting a single vertex or a 4-cycle of vertices into a face.
For every graph $G\in \mathcal{G}$, we construct a proper square contact representation. The key parameter of the recursive construction is the aspect ratio of the rectangle bounded by the four outer squares. We show that this aspect ratio may continuously vary in an interval $I_G$. The interval $I_G$ cannot be replaced by a fixed aspect ratio, however, as we show, the feasible interval $I_G$ may be an arbitrarily small neighborhood of any positive real.
Burning numbers of t-unicyclic graphs
Published
• View Publication
• BIB
Given a graph $G$, the burning number of $G$ is the smallest integer $k$ for which there are vertices $x_1, x_2,\ldots,x_k$ such that $(x_1,x_2,\ldots,x_k)$ is a burning sequence of $G$. It has been shown that the graph burning problem is NP-complete, even for trees with maximum degree three, or linear forests. A $t$-unicyclic graph is a unicycle graph with exactly one vertex of degree greater than $2$. In this paper, we first present the bounds for the burning number of $t$-unicyclic graphs, and then use the burning numbers of linear forests with at most three components to determine the burning number of all $t$-unicyclic graphs for $t\le 2$.
Decomposing and colouring some locally semicomplete digraphs
Published
• View Publication
• BIB
A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood and the in-neighbourhood of any vertex induce a semicomplete digraph. In this paper we study various subclasses of locally semicomplete digraphs for which we give structural decomposition theorems. As a consequence we obtain several applications, among which an answer to a conjecture of Naserasr and the first and third authors: if an oriented graph is such that the out-neighbourhood of every vertex induces a transitive tournament, then one can partition its vertex set into two acyclic digraphs.
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 eigenvalues of Erdos-Renyi random bipartite graphs
We analyse the eigenvalues of Erdös--Rényi random bipartite graphs. In particular, we consider $p$ satisfying $n_{1}p=Ω(\sqrt{n_{1}p}\log^{3}(n_{1})),$ $n_{2}p=Ω(\sqrt{n_{2}p}\log^{3}(n_{2})),$ and let $G\sim G(n_{1},n_{2},p)$. We show that with probability tending to $1$ as $n_{1}$ tends to infinity: $$μ_{2} (A(G))\leq 2[1+o(1)](\sqrt{n_{1}p}+\sqrt{n_{2}p}+\sqrt{(n_{1}+n_{2})p}).$$
The Sombor index of trees and unicyclic graphs with given maximum degree
Let $d_G(v)$ be the degree of the vertex $v$ in a graph $G$. The Sombor index of $G$ is defined as $SO(G) =\sum_{uv\in E(G)}\sqrt{d^2_G(u)+d^2_G(v)}$, which is a new degree-based topological index introduced by Gutman. Let $\mathscr{T}_{n,Δ}$ and $\mathscr{U}_{n,Δ}$ be the set of trees and unicyclic graphs with $n$ vertices and maximum degree $Δ$, respectively. In this paper, the tree and the unicyclic graph with minimum Sombor index among $\mathscr{T}_{n,Δ}$ and $\mathscr{U}_{n,Δ}$ are characterized.
Graph clustering via generalized colorings
Published
• View Publication
• BIB
We propose a new approach for defining and searching clusters in graphs that represent real technological or transaction networks. In contrast to the standard way of finding dense parts of a graph, we concentrate on the structure of edges between the clusters, as it is motivated by some earlier observations, e.g. in the structure of networks in ecology and economics and by applications of discrete tomography. Mathematically special colorings and chromatic numbers of graphs are studied.
Upper and lower bounds for topological indices on unicyclic graphs
The aim of this paper is to obtain new inequalities for a large family of topological indices restricted to unicyclic graphs and to characterize the set of extremal unicyclic graphs with respect to them. This family includes variable first Zagreb, variable sum exdeg, multiplicative second Zagreb and Narumi-Katayama indices. Our main results provide upper and lower bounds for these topological indices on unicyclic graphs, fixing or not the maximum degree or the number of pendant vertices.
Colouring polygon visibility graphs and their generalizations
Published
• View Publication
• BIB
Curve pseudo-visibility graphs generalize polygon and pseudo-polygon visibility graphs and form a hereditary class of graphs. We prove that every curve pseudo-visibility graph with clique number $ω$ has chromatic number at most $3\cdot 4^{ω-1}$. The proof is carried through in the setting of ordered graphs; we identify two conditions satisfied by every curve pseudo-visibility graph (considered as an ordered graph) and prove that they are sufficient for the claimed bound. The proof is algorithmic: both the clique number and a colouring with the claimed number of colours can be computed in polynomial time.
The expected values of Sombor indices in random hexagonal chains, phenylene chains and Sombor indices of some chemical graphs
Published
• View Publication
• BIB
Hexagonal chains are a special class of catacondensed benzenoid system and phenylene chains are a class of polycyclic aromatic compounds. Recently, A family of Sombor indices was introduced by Gutman in the chemical graph theory. It had been examined that these indices may be successfully applied on modeling thermodynamic properties of compounds. In this paper, we study the expected values of the Sombor indices in random hexagonal chains, phenylene chains, and consider the Sombor indices of some chemical graphs such as graphene, coronoid systems and carbon nanocones.
The giant component after percolation of product graphs
Published
• View Publication
• BIB
In this paper we show the existence of a sharp threshold for the appearance of a giant component after percolation of Cartesian products of graphs under assumptions on their maximum degrees and their isoperimetric constants. In particular, this generalises a work of Ajtai, Komlós and Szemerédi from 1982 concerning percolation of the hypercube in high dimension.
Sampling from the low temperature Potts model through a Markov chain on flows
Published
• View Publication
• BIB
In this paper we consider the algorithmic problem of sampling from the Potts model and computing its partition function at low temperatures. Instead of directly working with spin configurations, we consider the equivalent problem of sampling flows. We show, using path coupling, that a simple and natural Markov chain on the set of flows is rapidly mixing. As a result we find a $δ$-approximate sampling algorithm for the Potts model at low enough temperatures, whose running time is bounded by $O(m^2\log(mδ^{-1}))$ for graphs $G$ with $m$ edges.
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.
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.