graph
35436 papers tagged with this keyword
The diameter of the fractional matching polytope and its hardness implications
Published
• View Publication
• BIB
The (combinatorial) diameter of a polytope $P \subseteq \mathbb R^d$ is the maximum value of a shortest path between a pair of vertices on the 1-skeleton of $P$, that is the graph where the nodes are given by the $0$-dimensional faces of $P$, and the edges are given the 1-dimensional faces of $P$. The diameter of a polytope has been studied from many different perspectives, including a computational complexity point of view. In particular, [Frieze and Teng, 1994] showed that computing the diameter of a polytope is (weakly) NP-hard.
In this paper, we show that the problem of computing the diameter is strongly NP-hard even for a polytope with a very simple structure: namely, the \emph{fractional matching} polytope. We also show that computing a pair of vertices at maximum shortest path distance on the 1-skeleton of this polytope is an APX-hard problem. We prove these results by giving an \emph{exact characterization} of the diameter of the fractional matching polytope, that is of independent interest.
Acyclic orientations with degree constraints
In this note we study the complexity of some generalizations of the notion of $st$-numbering.
Suppose that given some functions $f$ and $g$, we want to order the vertices of a graph such that every vertex $v$ is preceded by at least $f(v)$ of its neighbors and succeeded by at least $g(v)$ of its neighbors.
We prove that this problem is solvable in polynomial time if $fg\equiv 0$, but it becomes NP-complete for $f\equiv g \equiv 2$.
This answers a question of the first author posed in 2009.
Deza graphs with parameters $(n,k,k-1,a)$ and $β=1$
Published
• View Publication
• BIB
A Deza graph with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices in which any two vertices have $a$ or $b$ ($a\leq b$) common neighbours. A Deza graph is strictly Deza if it has diameter $2$, and is not strongly regular. In an earlier paper, the two last authors et el. characterized the strictly Deza graphs with $b=k-1$ and $β> 1$, where $β$ is the number of vertices with $b$ common neighbours with a given vertex. Here we deal with the case $β=1$, thus we complete the characterization of strictly Deza graphs with $b=k-1$. It follows that all Deza graphs with $b=k-1$ and $β=1$ can be made from special strongly regular graphs, and we present several examples of such strongly regular graphs.
A divisible design graph is a special Deza graph, and a Deza graph with $β=1$ is a divisible design graph. The present characterization reveals an error in a paper on divisible design graphs by the second author et al. We discuss the cause and the consequences of this mistake and give the required errata.
On a Ramsey-Turán variant of the Hajnal-Szemerédi theorem
Published
• View Publication
• BIB
A seminal result of Hajnal and Szemerédi states that if a graph $G$ with $n$ vertices has minimum degree $δ(G) \ge (r-1)n/r$ for some integer $r \ge 2$, then $G$ contains a $K_r$-factor, assuming $r$ divides $n$. Extremal examples which show optimality of the bound on $δ(G)$ are very structured and, in particular, contain large independent sets. In analogy to the Ramsey-Turán theory, Balogh, Molla, and Sharifzadeh initiated the study of how the absence of such large independent sets influences sufficient minimum degree. We show the following two related results:
$\bullet$ For any $r > \ell \ge 2$, if $G$ is a graph satisfying $δ(G) \ge (r - \ell)n/(r - \ell + 1) +Ω(n)$ and $α_\ell(G)=o(n)$, that is, a largest $K_\ell$-free induced subgraph has at most $o(n)$ vertices, then $G$ contains a $K_r$-factor. This is optimal for $\ell = r - 1$ and extends a result of Balogh, Molla, and Sharifzadeh who considered the case $r = 3$.
$\bullet$ If a graph $G$ satisfies $δ(G) =Ω(n)$ and $α_r^*(G) =o(n)$, that is, every induced $K_r$-free $r$-partite subgraph of $G$ has at least one vertex class of size $o(n)$, then it contains a $K_r$-factor. A similar statement is proven for a general graph $H$.
The characterization of perfect Roman domination stable trees
A \emph{perfect Roman dominating function} (PRDF) on a graph $G = (V, E)$ is a function $f : V \rightarrow \{0, 1, 2\}$ satisfying the condition that every vertex $u$ for which $f(u) = 0$ is adjacent to exactly one vertex $v$ for which $f(v) = 2$. The weight of a PRDF is the value $w(f) = \sum_{u \in V}f(u)$. The minimum weight of a PRDF on a graph $G$ is called the \emph{perfect Roman domination number $γ_R^p(G)$} of $G$. A graph $G$ is perfect Roman domination domination stable if the perfect Roman domination number of $G$ remains unchanged under the removal of any vertex. In this paper, we characterize all trees that are perfect Roman domination stable.
A large number of $m$-coloured complete infinite subgraphs
Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is $m$-\textit{coloured} if each of the $m$ colours is used. For an $m$-colouring $Δ$ of $\mathbb{N}^{(2)}$, the complete graph on $\mathbb{N}$, we denote by $\mathcal{F}_Δ$ the set all values $γ$ for which there exists an infinite subset $X\subset \mathbb{N}$ such that $X^{(2)}$ is $γ$-coloured. Properties of this set were first studied by Erickson in $1994$. Here, we are interested in estimating the minimum size of $\mathcal{F}_Δ$ over all $m$-colourings $Δ$ of $\mathbb{N}^{(2)}$. Indeed, we shall prove the following result. There exists an absolute constant $α> 0$ such that for any positive integer $m \neq \left\{ {n \choose 2}+1, {n \choose 2}+2: n\geq 2\right\}$, $|\mathcal{F}_Δ| \geq (1+α)\sqrt{2m}$, for any $m$-colouring $Δ$ of $\mathbb{N}^{(2)}$, thus proving a conjecture of Narayanan. This result is tight up to the order of the constant $α$.
Rigidity with few locations
Published
• View Publication
• BIB
Graphs triangulating the $2$-sphere are generically rigid in $3$-space, due to Gluck-Dehn-Alexandrov-Cauchy. We show there is a \emph{finite} subset $A$ in $3$-space so that the vertices of each graph $G$ as above can be mapped into $A$ to make the resulted embedding of $G$ infinitesimally rigid. This assertion extends to the triangulations of any fixed compact connected surface, where the upper bound obtained on the size of $A$ increases with the genus. The assertion fails, namely no such finite $A$ exists, for the larger family of all graphs that are generically rigid in $3$-space and even in the plane.
The $A_α$-spectral radius of graphs with given degree sequence
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$, and let $D(G)$ be the diagonal matrix of the degrees of $G$. For any real $α\in[0,1]$, write $A_α(G)$ for the matrix $$A_α(G)=αD(G)+(1-α)A(G).$$ This paper presents some extremal results about the spectral radius $ρ(A_α(G))$ of $A_α(G)$ that generalize previous results about $ρ(A_0(G))$ and $ρ(A_{\frac{1}{2}}(G))$. In this paper, we give some results on graph perturbation for $A_α$-matrix with $α\in [0,1)$. As applications, we characterize all extremal trees with the maximum $A_α$-spectral radius in the set of all trees with prescribed degree sequence firstly. Furthermore, we characterize the unicyclic graphs that have the largest $A_α$-spectral radius for a given unicycilc degree sequence.
On the spectral determinations of the connected multicone graphs $ K_r\bigtriangledown sK_t $
Published
• View Publication
• BIB
In this study we investigate the spectra of the family of connected multicone graphs. A multicone graph is defined to be the join of a clique and a regular graph. Let $ r $, $ t $ and $ s $ be natural numbers, and let $ K_r $ denote a complete graph on $ r $ vertices. It is proved that connected multicone graphs $ K_r\bigtriangledown sK_t $, a natural generalization of friendship graphs, are determined by their adjacency spectra as well as their Laplacian spectra. Also, we show that the complement of multicone graphs $ K_r\bigtriangledown sK_t $ are determined by their adjacency spectra, where $ s\neq 2 $.
On a characterization of the Grassmann graphs
Published
• View Publication
• BIB
In 1995, Metsch showed that the Grassmann graph $J_q(n,D)$ of diameter $D\geq 3$ is characterized by its intersection numbers with the following possible exceptions:
(-) $n=2D$ or $n=2D+1$, $q\geq 2$;
(-) $n=2D+2$ and $q\in \{2,3\}$;
(-) $n=2D+3$ and $q=2$.
In 2005, Van Dam and Koolen constructed the twisted Grassmann graphs with the same intersection numbers as the Grassmann graphs $J_q(2D+1,D)$, for any prime power $q$ and diameter $D\geq 2$, but they are not isomorphic.
We show that the Grassmann graph $J_q(2D,D)$ is characterized by its intersection numbers provided that the diameter $D$ is large enough.
Correlation bounds for fields and matroids
Published in Journal of the European Mathematical Society 24 (2022), 1335-1351
• View Publication
• BIB
Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated for any distinct edges $e_1$ and $e_2$. What can be said for such events when the underlying matroid is not necessarily graphic? We use Hodge theory for matroids to bound the correlation between the events $e \in B$, where $B$ is a randomly chosen basis of a matroid. As an application, we prove Mason's conjecture that the number of $k$-element independent sets of a matroid forms an ultra-log-concave sequence in $k$.
Connectedness of projective codes in the Grassmann graph
Using the concept of projective systems for linear codes and elementary linear algebra, we show that projective $[n,k]_q$ codes form a connected subgraph in the Grassmann graph consisting of $k$-dimensional subspaces of an $n$-dimensional vector space over the $q$-element field.
Spectral lower bounds for the orthogonal and projective ranks of a graph
Published
• View Publication
• BIB
The orthogonal rank of a graph $G=(V,E)$ is the smallest dimension $ξ$ such that there exist non-zero column vectors $x_v\in\mathbb{C}^ξ$ for $v\in V$ satisfying the orthogonality condition $x_v^\dagger x_w=0$ for all $vw\in E$. We prove that many spectral lower bounds for the chromatic number, $χ$, are also lower bounds for $ξ$. This result complements a previous result by the authors, in which they showed that spectral lower bounds for $χ$ are also lower bounds for the quantum chromatic number $χ_q$. It is known that the quantum chromatic number and the orthogonal rank are incomparable.
We conclude by proving an inertial lower bound for the projective rank $ξ_f$, and conjecture that a stronger inertial lower bound for $ξ$ is also a lower bound for $ξ_f$.
Partial vertex covers and the complexity of some problems concerning static and dynamic monopolies
Published in Utilitas Mathematica, Vol. 106 (2018)
• Search Publication
Let $G$ be a graph and $τ$ be an assignment of nonnegative integer thresholds to the vertices of $G$. Denote the average of thresholds in $τ$ by $\barτ$. A subset of vertices $D$ is said to be a $τ$-dynamic monopoly, if $V(G)$ can be partitioned into subsets $D_0, D_1, \ldots, D_k$ such that $D_0=D$ and for any $i\in \{0, \ldots, k-1\}$, each vertex $v$ in $D_{i+1}$ has at least $τ(v)$ neighbors in $D_0\cup \ldots \cup D_i$. Denote the size of smallest $τ$-dynamic monopoly by $dyn_τ(G)$. Also a subset of vertices $M$ is said to be a $τ$-static monopoly (or simply $τ$-monopoly) if any vertex $v\in V(G)\setminus M$ has at least $τ(v)$ neighbors in $M$. Denote the size of smallest $τ$-monopoly by $mon_τ(G)$. For a given positive number $t$, denote by $Sdyn_t(G)$ (resp. $Smon_t(G)$), the minimum $dyn_τ(G)$ (resp. $mon_τ(G)$) among all threshold assignments $τ$ with $\overlineτ\geq t$. In this paper we consider the concept of partial vertex cover as follows. Let $G=(V, E)$ be a graph and $t$ be any positive integer. A subset $S\subseteq V$ is said to be a $t$-partial vertex cover of $G$, if $S$ covers at least $t$ edges of $G$. Denote the smallest size of a $t$-partial vertex cover of $G$ by $Pβ_t(G)$. Let $ρ$, $0<ρ<1$ be any fixed number and $G$ be a given bipartite graph with $m$ edges. We first prove that to determine the smallest cardinality of a set $S\subseteq V(G)$ such that $S$ covers at least $ρm$ edges of $G$, is an NP-hard problem. Then we prove that for any constant $t$, $Sdyn_{t}(G)=Pβ_{nt-m}(G)$ and $Smon_t(G)=Pβ_{nt/2}(G)$, where $n$ and $m$ are the order and size of $G$, respectively.
Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world networks) while still guaranteeing approximation ratios. The idea is to $\textit{edit}$ a given graph via vertex- or edge-deletions to put the graph into an algorithmically tractable class, apply known approximation algorithms for that class, and then $\textit{lift}$ the solution to apply to the original graph. We give a general characterization of when an optimization problem is amenable to this approach, and show that it includes many well-studied graph problems, such as Independent Set, Vertex Cover, Feedback Vertex Set, Minimum Maximal Matching, Chromatic Number, ($\ell$-)Dominating Set, Edge ($\ell$-)Dominating Set, and Connected Dominating Set.
To enable this framework, we develop new editing algorithms that find the approximately-fewest edits required to bring a given graph into one of several important graph classes (in some cases, also approximating the target parameter of the family). For bounded degeneracy, we obtain a bicriteria $(4,4)$-approximation which also extends to a smoother bicriteria trade-off. For bounded treewidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w}))$-approximation, and for bounded pathwidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w} \cdot \log n))$-approximation. For treedepth $2$ (also related to bounded expansion), we obtain a $4$-approximation. We also prove complementary hardness-of-approximation results assuming $\mathrm{P} \neq \mathrm{NP}$: in particular, these problems are all log-factor inapproximable, except the last which is not approximable below some constant factor ($2$ assuming UGC).
Weak dynamic monopolies in social graphs
Published in Utilitas Mathematica 2017
• Search Publication
Dynamic monopolies were already defined and studied for the formulation of the phenomena of the spread of influence in social networks such as disease, opinion, adaptation of new product and etc. The elements of the network which have been influenced (e.g. infected or adapted an opinion) are called active vertices. It is assumed in these models that when an element is activated, it remains active until the end of the process. But in some phenomena of the spread of influence this property does not hold. For example in some diseases the infection lasts only a limited period of time or consider the spread of disease or propagation of computer virus together with some quarantination or decontamination methods. Dynamic monopolies are not useful for the study of these latter phenomena. For this purpose, we introduce a new model for such diffusions of influence and call it weak dynamic monopoly. A social network is represented by a graph $G$. Assume that any vertex $v$ of $G$ has a threshold $τ(v)\in \Bbb{N}$. Then a subset $D\subseteq V(G)$ is said to be a weak dynamic monopoly if $V(G)$ can be partitioned into $D_0=D, D_1, \ldots, D_k$ such that for any $i$, any vertex $v$ of $D_i$ has at least $τ(v)$ neighbors in $D_{i-1}$. In this definition, by the size and the processing time of $D$ we mean $|D|$ and $k$, respectively. We first investigate the relationships between weak dynamic monopolies and other related concepts and then obtain some bounds for the smallest size of weak dynamic monopolies. Next we obtain some results concerning the processing time of weak dynamic monopolies in terms of some graph parameters. Finally, a hardness result concerning inapproximibility of the determining the smallest size of weak dynamic monopolies in general graphs is obtained.
On Turán exponents of bipartite graphs
Published in Combinator. Probab. Comp. 31 (2022) 333-344
• View Publication
• BIB
A long-standing conjecture of Erdős and Simonovits asserts that for every rational number $r\in (1,2)$ there exists a bipartite graph $H$ such that $\ex(n,H)=Θ(n^r)$. So far this conjecture is known to be true only for rationals of form $1+1/k$ and $2-1/k$, for integers $k\geq 2$. In this paper we add a new form of rationals for which the conjecture is true; $2-2/(2k+1)$, for $k\geq 2$. This in its turn also gives an affirmative answer to a question of Pinchasi and Sharir on cube-like graphs.
Recently, a version of Erdős and Simonovits's conjecture where one replaces a single graph by a family, was confirmed by Bukh and Conlon. They proposed a construction of bipartite graphs which should satisfy Erdős and Simonovits's conjecture. Our result can also be viewed as a first step towards verifying Bukh and Conlon's conjecture.
We also prove the an upper bound on the Turán's number of $θ$-graphs in an asymmetric setting and employ this result to obtain yet another new rational exponent for Turán exponents; $r=7/5$.
A Sharp Threshold for Bootstrap Percolation in a Random Hypergraph
Published
• View Publication
• BIB
Given a hypergraph $\mathcal{H}$, the $\mathcal{H}$-bootstrap process starts with an initial set of infected vertices of $\mathcal{H}$ and, at each step, a healthy vertex $v$ becomes infected if there exists a hyperedge of $\mathcal{H}$ in which $v$ is the unique healthy vertex. We say that the set of initially infected vertices percolates if every vertex of $\mathcal{H}$ is eventually infected. We show that this process exhibits a sharp threshold when $\mathcal{H}$ is a hypergraph obtained by randomly sampling hyperedges from an approximately $d$-regular $r$-uniform hypergraph satisfying some mild degree and codegree conditions; this confirms a conjecture of Morris. As a corollary, we obtain a sharp threshold for a variant of the graph bootstrap process for strictly $2$-balanced graphs which generalises a result of Korándi, Peled and Sudakov. Our approach involves an application of the differential equations method.
New Lower Bounds for the First Variable Zagreb Index
The aim of this paper is to obtain new sharp inequalities for a large family of topological indices, including the first variable Zagreb index $M_1^α$, and to characterize the set of extremal graphs with respect to them. Our main results provide lower bounds on this family of topological indices involving just the minimum and the maximum degree of the graph. These inequalities are new even for the first Zagreb, the inverse and the forgotten indices.
Blockers for simple Hamiltonian paths in convex geometric graphs of odd order
Let G be a complete convex geometric graph, and let F be a family of subgraphs of G. A blocker for F is a set of edges, of smallest possible size, that has an edge in common with every element of F. In [C. Keller and M. A. Perles, Blockers for simple Hamiltonian paths in convex geometric graphs of even order, Disc. Comput. Geom., 60(1) (2018), pp. 1-8] we gave an explicit description of all blockers for the family of simple (i.e., non-crossing) Hamiltonian paths (SHPs) in G in the `even' case |V(G)|=2m. It turned out that all the blockers are simple caterpillar trees of a certain class. In this paper we give an explicit description of all blockers for the family of SHPs in the `odd' case |V(G)|=2m-1. In this case, the structure of the blockers is more complex, and in particular, they are not necessarily simple. Correspondingly, the proof is more complicated.