graph
34793 papers tagged with this keyword
Graphical zonotopes with the same face vector
We are interested in constructing zonotopes which are combinatorially nonequivalent but have the same face vector. In this paper we introduce a quadrilateral flip operation on graphs. We show that, if one graph is obtained from another graph by a flip, then the face vectors of the graphical zonotopes of these two graphs are the same. In this way, we can easily construct a class of combinatorially nonequivalent graphical zonotopes which share the same face vector. It is known that all triangulations of the n-gon are connected through the flip operation. Thus their graphical zonotopes have the same face vector. We will compute this vector and the total number of faces.
The Balanced Connected Subgraph Problem
Published
• View Publication
• BIB
The problem of computing induced subgraphs that satisfy some specified restrictions arises in various applications of graph algorithms and has been well studied. In this paper, we consider the following Balanced Connected Subgraph (shortly, BCS) problem. The input is a graph $G=(V,E)$, with each vertex in the set $V$ having an assigned color, "red" or "blue". We seek a maximum-cardinality subset $V'\subseteq V$ of vertices that is color-balanced (having exactly $|V'|/2$ red nodes and $|V'|/2$ blue nodes), such that the subgraph induced by the vertex set $V'$ in $G$ is connected. We show that the BCS problem is NP-hard, even for bipartite graphs $G$ (with red/blue color assignment not necessarily being a proper 2-coloring). Further, we consider this problem for various classes of the input graph $G$, including, e.g., planar graphs, chordal graphs, trees, split graphs, bipartite graphs with a proper red/blue $2$-coloring, and graphs with diameter $2$. For each of these classes either we prove NP-hardness or design a polynomial time algorithm.
Edge metric dimension of some graph operations
Published
• View Publication
• BIB
Let $G=(V, E)$ be a connected graph. Given a vertex $v\in V$ and an edge $e=uw\in E$, the distance between $v$ and $e$ is defined as $d_G(e,v)=\min\{d_G(u,v),d_G(w,v)\}$. A nonempty set $S\subset V$ is an edge metric generator for $G$ if for any two edges $e_1,e_2\in E$ there is a vertex $w\in S$ such that $d_G(w,e_1)\ne d_G(w,e_2)$. The minimum cardinality of any edge metric generator for a graph $G$ is the edge metric dimension of $G$. The edge metric dimension of the join, lexicographic and corona product of graphs is studied in this article.
Sufficient condition for Reed's conjecture
From the research of several recent papers, we are concerned with domination number in cubic graphs and give a sufficient condition for Reed's conjecture.
On minimal Ramsey graphs and Ramsey equivalence in multiple colours
Published in Combinator. Probab. Comp. 29 (2020) 537-554
• View Publication
• BIB
For an integer $q\ge 2$, a graph $G$ is called $q$-Ramsey for a graph $H$ if every $q$-colouring of the edges of $G$ contains a monochromatic copy of $H$. If $G$ is $q$-Ramsey for $H$, yet no proper subgraph of $G$ has this property then $G$ is called $q$-Ramsey-minimal for $H$. Generalising a statement by Burr, Nešetřil and Rödl from 1977 we prove that, for $q\ge 3$, if $G$ is a graph that is not $q$-Ramsey for some graph $H$ then $G$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$, as long as $H$ is $3$-connected or isomorphic to the triangle. For such $H$, the following are some consequences.
(1) For $2\le r< q$, every $r$-Ramsey-minimal graph for $H$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$.
(2) For every $q\ge 3$, there are $q$-Ramsey-minimal graphs for $H$ of arbitrarily large maximum degree, genus, and chromatic number.
(3) The collection $\{{\cal M}_q(H) : H \text{ is 3-connected or } K_3\}$ forms an antichain with respect to the subset relation, where ${\cal M}_q(H)$ denotes the set of all graphs that are $q$-Ramsey-minimal for $H$.
We also address the question which pairs of graphs satisfy ${\cal M}_q(H_1)={\cal M}_q(H_2)$, in which case $H_1$ and $H_2$ are called $q$-equivalent. We show that two graphs $H_1$ and $H_2$ are $q$-equivalent for even $q$ if they are $2$-equivalent, and that in general $q$-equivalence for some $q\ge 3$ does not necessarily imply $2$-equivalence. Finally we indicate that for connected graphs this implication may hold: Results by Nešetřil and Rödl and by Fox, Grinshpun, Liebenau, Person and Szabó imply that the complete graph is not $2$-equivalent to any other connected graph. We prove that this is the case for an arbitrary number of colours.
On Eulerian orientations of even-degree hypercubes
Published in Operations Research Letters 46, 2018, 553 - 556
• View Publication
• BIB
It is well known that \textit{every} Eulerian orientation of an Eulerian $2k$-edge connected (undirected) graph is strongly $k$-edge connected. An important goal in the area is to obtain analogous results for other types of connectivity, such as node connectivity and element connectivity. We show that \textit{every} Eulerian orientation of the hypercube of degree $2k$ is strongly $k$-node connected.
A counterexample to a conjecture of Wang and Hou on signed graphs
Published
• View Publication
• BIB
We give a counterexample to a conjecture of Wang and Hou related with the sum of the $k$ largest Laplacian eigenvalues of signed graphs.
Unit Ball Graphs on Geodesic Spaces
Published
• View Publication
• BIB
Consider finitely many points in a geodesic space. If the distance of two points is less than a fixed threshold, then we regard these two points as "near". Connecting near points with edges, we obtain a simple graph on the points, which is called a unit ball graph. If the space is the real line, then it is known as a unit interval graph. Unit ball graphs on a geodesic space describe geometric characteristics of the space in terms of graphs. In this article, we show that every unit ball graph on a geodesic space is (strongly) chordal if and only if the space is an $ \mathbb{R} $-tree and that every unit ball graph on a geodesic space is (claw, net)-free if and only if the space is a connected manifold of dimension at most $ 1 $. As a corollary, we prove that the collection of unit ball graphs essentially characterizes the real line and the unit circle.
Bounds on the nonnegative signed domination number of graphs
The aim of this work is to investigate the nonnegative signed domination number $γ^{NN}_s$ with emphasis on regular, ($r+1$)-clique-free graphs and trees. We give lower and upper bounds on $γ^{NN}_s$ for regular graphs and prove that $n/3$ is the best possible upper bound on this parameter for a cubic graph of order $n$, specifically. As an application of the classic theorem of Turán we bound $γ^{NN}_s(G)$ from below, for an ($r+1$)-clique-free graph $G$ and characterize all such graphs for which the equality holds, which corrects and generalizes a result for bipartite graphs in [Electron. J. Graph Theory Appl. 4 (2) (2016), 231--237], simultaneously. Also, we bound $γ^{NN}_s(T)$ for a tree $T$ from above and below and characterize all trees attaining the bounds.
Combinatorial Designs for Deep Learning
Published in Journal of Combinaotrial Designs, 2020
• View Publication
• BIB
Deep learning is a machine learning methodology using multi-layer neural network. A multi-layer neural network can be regarded as a chain of complete bipartite graphs. The nodes of the first partita is the input layer and the last is the output layer. The edges of a bipartite graph function as weights which are represented as a matrix. The values of i-th partita are computed by multiplication of the weight matrix and values of (i-1)-th partita. Using mass training and teacher data, the weight parameters are estimated little by little. Overfitting (or Overlearning) refers to a model that models the `training data` too well. It then becomes difficult for the model to generalize to new data which were not in the training set. The most popular method to avoid overfitting is called dropout. Dropout deletes a random sample of activations (nodes) to zero during the training process. A random sample of nodes causes more irregular frequency of dropout edges. There is a similar sampling concept in the area of design of experiments. We propose a combinatorial design on dropout nodes from each partita which balances the frequency of edges. We analyze and construct such designs in this paper.
Sharp transition of the invertibility of the adjacency matrices of sparse random graphs
Published
• View Publication
• BIB
We consider three different models of sparse random graphs:~undirected and directed Erdős-Rényi graphs, and random bipartite graph with an equal number of left and right vertices. For such graphs we show that if the edge connectivity probability $p \in (0,1)$ satisfies $n p \ge \log n + k(n)$ with $k(n) \to \infty$ as $n \to \infty$, then the adjacency matrix is invertible with probability approaching one (here $n$ is the number of vertices in the two former cases and the number of left and right vertices in the latter case).
If $np \le \log n -k(n)$ then these matrices are invertible with probability approaching zero, as $n \to \infty$. In the intermediate region, when $np=\log n + k(n)$, for a bounded sequence $k(n) \in \mathbb{R}$, the event $Ω_0$ that the adjacency matrix has a zero row or a column and its complement both have non-vanishing probability. For such choices of $p$ our results show that conditioned on the event $Ω_0^c$ the matrices are again invertible with probability tending to one. This shows that the primary reason for the non-invertibility of such matrices is the existence of a zero row or a column.
The bounds on the probability of the invertibility of these matrices are a consequence of quantitative lower bounds on their smallest singular values. Combining this with an upper bound on the largest singular value of the centered version of these matrices we show that the (modified) condition number is $O(n^{1+o(1)})$ on the event that there is no zero row or column, with large probability. This matches with von Neumann's prediction about the condition number of random matrices up to a factor of $n^{o(1)}$, for the entire range of $p$.
Some notes on the signed bad number in bipartite graphs
Published in Discrete Mathematics, Algorithms and Applications, 2020
• View Publication
• BIB
In this paper, we deal with the signed bad number and the negative decision number of graphs. We show that two upper bounds concerning these two parameters for bipartite graphs in papers [Discrete Math. Algorithms Appl. 1 (2011), 33--41] and [Australas. J. Combin. 41 (2008), 263--272] are not true as they stand. We correct them by presenting more general bounds for triangle-free graphs by using the classic theorem of Mantel from the extremal graph theory and characterize all triangle-free graphs attaining these bounds.
On Bivariegated Graphs and Line Graphs
This note is on the structures of line graphs and 2-variegated graphs. We have given here solutions of some graph equations involving line graphs and 2-variegated graphs.
On Intersection Graphs of Graphs and Hypergraphs: A Survey
In this survey, we have attempted to show some developmental milestones on the characterizations of intersection graphs of hypergraphs. The theory of intersection graphs of hypergraphs has been a classical topic in the theory of special graphs. To conclude, at the end, we have listed some open problems posed by various authors whose work has contributed to this survey and also the new trends coming out of intersection graphs. Keywords: Hypergraphs, Intersection graphs, Line graphs, Representative graphs, Derived graphs, Algorithms (ALG), Forbidden induced subgraphs (FIS), Krausz partitions, Eigenvalues.
Symplectic Matroids, Circuits, and Signed Graphs
One generalization of ordinary matroids is symplectic matroids. While symplectic matroids were initially defined by their collections of bases, there has been no cryptomorphic definition of symplectic matroids in terms of circuits. We give a definition of symplectic matroids by collections of circuits. As an application, we construct a class of examples of symplectic matroids from graphs in terms of circuits.
On the relation of separability, bandwidth and embedding
Published
• View Publication
• BIB
In this paper we construct a class of bounded degree bipartite graphs with a small separator and large bandwidth. Furthermore, we also prove that graphs from this class are spanning subgraphs of graphs with minimum degree just slightly larger than $n/2$.
The distribution of Weierstrass points on a tropical curve
Published
• View Publication
• BIB
We show that on a metric graph of genus $g$, a divisor of degree $n$ generically has $g(n-g+1)$ Weierstrass points. For a sequence of generic divisors on a metric graph whose degrees grow to infinity, we show that the associated Weierstrass points become distributed according to the Zhang canonical measure. In other words, the limiting distribution is determined by effective resistances on the metric graph. This distribution result has an analogue for complex algebraic curves, due to Neeman, and for curves over non-Archimedean fields, due to Amini.
Distributed coloring of graphs with an optimal number of colors
This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e.\ with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so far has focused on coloring graphs of maximum degree $Δ$ with at most $Δ+1$ colors (or $Δ$ colors when some simple obstructions are forbidden). When $Δ$ is sufficiently large and $c\ge Δ-k_Δ+1$, for some integer $k_Δ\approx \sqrtΔ-2$, we give a distributed algorithm that given a $c$-colorable graph $G$ of maximum degree $Δ$, finds a $c$-coloring of $G$ in $\min\{O((\logΔ)^{1/12}\log n), 2^{O(\log Δ+\sqrt{\log \log n})}\}$ rounds, with high probability. The lower bound $Δ-k_Δ+1$ is best possible in the sense that for infinitely many values of $Δ$, we prove that when $χ(G)\le Δ-k_Δ$, finding an optimal coloring of $G$ requires $Ω(n)$ rounds. Our proof is a light adaptation of a remarkable result of Molloy and Reed, who proved that for $Δ$ large enough, for any $c\ge Δ- k_Δ$ deciding whether $χ(G)\le c$ is in {\textsf{P}}, while Embden-Weinert \emph{et al.}\ proved that for $c\le Δ-k_Δ-1$, the same problem is {\textsf{NP}}-complete. Note that the sequential and distributed thresholds differ by one. We also show that for any sufficiently large $Δ$, and $Ω(\log Δ)\le k \le Δ/100$, every graph of maximum degree $Δ$ and clique number at most $Δ-k$ can be efficiently colored with at most $Δ-\varepsilon k$ colors, for some absolute constant $\varepsilon >0$, with a randomized algorithm running in $O(\log n/\log \log n)$ rounds with high probability.
Data-compression for Parametrized Counting Problems on Sparse graphs
We study the concept of \emph{compactor}, which may be seen as a counting-analogue of kernelization in counting parameterized complexity. For a function $F:Σ^*\to \Bbb{N}$ and a parameterization $κ: Σ^*\to \Bbb{N}$, a compactor $({\sf P},{\sf M})$ consists of a polynomial-time computable function ${\sf P}$, called \emph{condenser}, and a computable function ${\sf M}$, called \emph{extractor}, such that $F={\sf M}\circ {\sf P}$, and the condensing ${\sf P}(x)$ of $x$ has length at most $s(κ(x))$, for any input $x\in Σ^*.$ If $s$ is a polynomial function, then the compactor is said to be of polynomial-size. Although the study on counting-analogue of kernelization is not unprecedented, it has received little attention so far. We study a family of vertex-certified counting problems on graphs that are MSOL-expressible; that is, for an MSOL-formula $φ$ with one free set variable to be interpreted as a vertex subset, we want to count all $A\subseteq V(G)$ where $|A|=k$ and $(G,A)\models φ.$ In this paper, we prove that every vertex-certified counting problems on graphs that is \emph{MSOL-expressible} and \emph{treewidth modulable}, when parameterized by $k$, admits a polynomial-size compactor on $H$-topological-minor-free graphs with condensing time $O(k^2n^2)$ and decoding time $2^{O(k)}.$ This implies the existence of an {\sf FPT}-algorithm of running time $O(n^2k^2)+2^{O(k)}.$ All aforementioned complexities are under the Uniform Cost Measure (UCM) model where numbers can be stored in constant space and arithmetic operations can be done in constant time.
A note on cycles in graphs with specified radius and diameter
Let $G$ be a graph of radius $r$ and diameter $d$ with $d\leq 2r-2$. We give a new proof that $G$ contains a cycle of length at least $4r-2d$, i.e. for its circumference it holds $c(G)\geq 4r-2d$.