arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35396 papers tagged with this keyword
2017-05-12 v4
A catalog of 4-regular and (2;4)-regular matchstick graphs
The first part (page 1 - 7) of this article presents the currently known examples of 4-regular matchstick graphs with 63 - 70 vertices. The second part (page 8 - 15) presents the currently known examples of $(2;4)$-regular matchstick graphs with less than 42 vertices which contain only two vertices of degree 2.
On the weak Roman domination number of lexicographic product graphs
Published • View Publication • BIB
A vertex $v$ of a graph $G=(V,E)$ is said to be undefended with respect to a function $f: V \longrightarrow \{0,1,2\}$ if $f(v)=0$ and $f(u)=0$ for every vertex $u$ adjacent to $v$. We call the function $f$ a weak Roman dominating function if for every $v$ such that $f(v)=0$ there exists a vertex $u$ adjacent to $v$ such that $f(u)\in \{1,2\}$ and the function $f': V \longrightarrow \{0,1,2\}$ defined by $f'(v)=1$, $f'(u)=f(u)-1$ and $f'(z)=f(z)$ for every $z\in V \setminus\{u,v\}$, has no undefended vertices. The weight of $f$ is $w(f)=\sum_{v\in V(G) }f(v)$. The weak Roman domination number of a graph $G$, denoted by $γ_r(G)$, is the minimum weight among all weak Roman dominating functions on $G$. Henning and Hedetniemi [Discrete Math. 266 (2003) 239-251] showed that the problem of computing $γ_r(G)$ is NP-Hard, even when restricted to bipartite or chordal graphs. This suggests finding $γ_r(G)$ for special classes of graphs or obtaining good bounds on this invariant. In this article, we obtain closed formulae and tight bounds for the weak Roman domination number of lexicographic product graphs in terms of invariants of the factor graphs involved in the product.
2017-05-12 v2
Graphs with $α_1$ and $τ_1$ both large
Published • View Publication • BIB
Given a graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of an edge set containing at most one edge from each triangle of $G$. Erdős, Gallai, and Tuza introduced several problems with the unifying theme that $α_1(G)$ and $τ_1(G)$ cannot both be "very large"; the most well-known such problem is their conjecture that $α_1(G) + τ_1(G) \leq |V(G)|^2/4$, which was proved by Norin and Sun. We consider three other problems within this theme (two introduced by Erdős, Gallai, and Tuza, another by Norin and Sun), all of which request an upper bound either on $\min\{α_1(G), τ_1(G)\}$ or on $α_1(G) + kτ_1(G)$ for some constant $k$, and prove the existence of graphs for which these quantities are "large".
2017-05-11
On the minimum degree, edge-connectivity and connectivity of power graphs of finite groups
Published • View Publication • BIB
The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. In this paper, the minimum degree of power graphs of certain classes of cyclic groups, abelian $p$-groups, dihedral groups and dicyclic groups are obtained. It is ascertained that the edge-connectivity and minimum degree of power graphs are equal, and consequently the minimum disconnecting sets of power graphs of the aforementioned groups are determined. Then the equality of connectivity and minimum degree of power graphs of finite groups is investigated and in this connection, certain necessary conditions are produced. A necessary and sufficient condition for the equality of connectivity and minimum degree of power graphs of finite cyclic groups is obtained. Moreover, the equality is examined for the power graphs of abelian $p$-groups, dihedral groups and dicyclic groups.
2017-05-11 v3
Asymptotics for the Turán number of Berge-$K_{2,t}$
Published • View Publication • BIB
Let $F$ be a graph. A hypergraph is called Berge-$F$ if it can be obtained by replacing each edge of $F$ by a hyperedge containing it. Let $\mathcal{F}$ be a family of graphs. The Turán number of Berge-$\mathcal{F}$ is the maximum possible number of edges in an $r$-uniform hypergraph on $n$ vertices containing no Berge-$F$ as a subhypergraph (for every $F \in \mathcal{F}$) and is denoted by $ex_r(n,\mathcal{F})$. We determine the asymptotics for the Turán number of Berge-$K_{2,t}$ by showing $$ex_3(n,K_{2,t})=\frac{1}{6}(t-1)^{3/2} \cdot n^{3/2}(1+o(1))$$ for any given $t \ge 7$. We study the analogous question for linear hypergraphs and show that $$ex_3(n,\{C_2, K_{2,t}\}) = \frac{1}{6}\sqrt{t-1} \cdot n^{3/2}(1+o_{t}(1)).$$ We also prove general upper and lower bounds on the Turán numbers of a class of graphs including $ex_r(n, K_{2,t})$, $ex_r(n,\{C_2, K_{2,t}\})$, and $ex_r(n, C_{2k})$ for $r \ge 3$. Our bounds improve results of Gerbner and Palmer, Füredi and Özkahya, Timmons, and provide a new proof of a result of Jiang and Ma.
2017-05-11 v3
Induced subgraphs of graphs with large chromatic number. X. Holes of specific residue
Published • View Publication • BIB
A large body of research in graph theory concerns the induced subgraphs of graphs with large chromatic number, and especially which induced cycles must occur. In this paper, we unify and substantially extend results from a number of previous papers, showing that, for every positive integer k, every graph with large chromatic number contains either a large complete subgraph or induced cycles of all lengths modulo k. As an application, we prove two conjectures of Kalai and Meshulam from the 1990's connecting the chromatic number of a graph with the homology of its independence complex.
2017-05-11
Unit Incomparability Dimension and Clique Cover Width in Graphs
Published in Congressus Numerantium, 213 (2012), 91-98 • Search Publication
For a clique cover $C$ in the undirected graph $G$, the {\it clique cover graph} of $C$ is the graph obtained by contracting the vertices of each clique in $C$ into a single vertex. The {\it clique cover width} of $G$, denoted by $CCW(G)$, is the minimum value of the bandwidth of all clique cover graphs in $G$. Any $G$ with $CCW(G)=1$ is known to be an incomparability graph, and hence is called, a {\it unit incomparability graph}. We introduced the {\it unit incomparability dimension of $G$}, denoted by$Udim(G)$, to be the smallest integer $d$ so that there are unit incomparability graphs $H_i$ with $V(H_i)=V(G), i=1,2,...,d$, so that $E(G)=\cap_{i=1}^d E(G_i)$. We prove a decomposition theorem establishing the inequality $Udim(G)\le CCW(G)$. Specifically, given any $G$, there are unit incomparability graphs $H_1,H_2,...,H_{CC(W)}$ with $V(H_i)=V(G)$ so that and $E(G)=\cap_{i=1}^{CCW} E(H_i)$. In addition, $H_i$ is co-bipartite, for $i=1,2,...,CCW(G)-1$. Furthermore, we observe that $CCW(G)\ge s(G)/2-1$, where $s(G)$ is the number of leaves in a largest induced star of $G$ , and use Ramsey Theory to give an upper bound on $s(G)$, when $G$ is represented as an intersection graph using our decomposition theorem. Finally, when $G$ is an incomparability graph we prove that $CCW (G)\le s(G)-1$.
2017-05-10 v2
On sufficient conditions for rainbow cycles in edge-colored graphs
Published in Discrete Mathematics, 342(2019) no. 7, 1956--1965 • View Publication • BIB
Let $G$ be an edge-colored graph. We use $e(G)$ and $c(G)$ to denote the number of edges of $G$ and the number of colors appearing on $E(G)$, respectively. For a vertex $v\in V(G)$, the \emph{color neighborhood} of $v$ is defined as the set of colors assigned to the edges incident to $v$. A subgraph of $G$ is \emph{rainbow} if all of its edges are assigned with distinct colors. The well-known Mantel's theorem states that a graph $G$ on $n$ vertices contains a triangle if $e(G)\geq\lfloor\frac{n^2}{4}\rfloor+1$. Rademacher (1941) showed that $G$ contains at least $\lfloor\frac{n}{2}\rfloor$ triangles under the same condition. Li, Ning, Xu and Zhang (2014) proved a rainbow version of Mantel's theorem: An edge-colored graph $G$ has a rainbow triangle if $e(G)+c(G)\geq n(n+1)/2$. In this paper, we first characterize all graphs $G$ satisfying $e(G)+c(G)\geq n(n+1)/2-1$ but containing no rainbow triangles. Motivated by Rademacher's theorem, we then characterize all graphs $G$ which satisfy $e(G)+c(G)\geq n(n+1)/2$ but contain only one rainbow triangle. We further obtain two results on color neighborhood conditions for the existence of rainbow short cycles. Our results improve a previous theorem due to Broersma, Li, Woeginger, and Zhang (2005). Moreover, we provide a sufficient condition in terms of color neighborhood for the existence of a specified number of vertex-disjoint rainbow cycles.
2017-05-10
Benchmark Graphs for Practical Graph Isomorphism
The state-of-the-art solvers for the graph isomorphism problem can readily solve generic instances with tens of thousands of vertices. Indeed, experiments show that on inputs without particular combinatorial structure the algorithms scale almost linearly. In fact, it is non-trivial to create challenging instances for such solvers and the number of difficult benchmark graphs available is quite limited. We describe a construction to efficiently generate small instances for the graph isomorphism problem that are difficult or even infeasible for said solvers. Up to this point the only other available instances posing challenges for isomorphism solvers were certain incidence structures of combinatorial objects (such as projective planes, Hadamard matrices, Latin squares, etc.). Experiments show that starting from 1500 vertices our new instances are several orders of magnitude more difficult on comparable input sizes. More importantly, our method is generic and efficient in the sense that one can quickly create many isomorphism instances on a desired number of vertices. In contrast to this, said combinatorial objects are rare and difficult to generate and with the new construction it is possible to generate an abundance of instances of arbitrary size. Our construction hinges on the multipedes of Gurevich and Shelah and the Cai-Fürer-Immerman gadgets that realize a certain abelian automorphism group and have repeatedly played a role in the context of graph isomorphism. Exploring limits of such constructions, we also explain that there are group theoretic obstructions to generalizing the construction with non-abelian gadgets.
2017-05-10
A Local Prime Factor Decomposition Algorithm for Strong Product Graphs
This work is concerned with the prime factor decomposition (PFD) of strong product graphs. A new quasi-linear time algorithm for the PFD with respect to the strong product for arbitrary, finite, connected, undirected graphs is derived. Moreover, since most graphs are prime although they can have a product-like structure, also known as approximate graph products, the practical application of the well-known "classical" prime factorization algorithm is strictly limited. This new PFD algorithm is based on a local approach that covers a graph by small factorizable subgraphs and then utilizes this information to derive the global factors. Therefore, we can take advantage of this approach and derive in addition a method for the recognition of approximate graph products.
Local algorithms for the prime factorization of strong product graphs
The practical application of graph prime factorization algorithms is limited in practice by unavoidable noise in the data. A first step towards error-tolerant "approximate" prime factorization, is the development of local approaches that cover the graph by factorizable patches and then use this information to derive global factors. We present here a local, quasi-linear al- gorithm for the prime factorization of "locally unrefined" graphs with respect to the strong product. To this end we introduce the backbone B(G) for a given graph G and show that the neighborhoods of the backbone vertices provide enough information to determine the global prime factors.
2017-05-09
Validity of Borodin & Kostochka Conjecture for a Class of Graphs
Borodin & Kostochka conjectured that if maximum degree of a graph is greater than or equal to 9, then the chromatic number of the graph is less than or equal to maximum of ω and maximum degree minus 1. Here we prove that this Conjecture is true for {P3 UNION K1}-free graphs and {K2 UNION complement of K2}-free graphs.
2017-05-09 v2
On Selkow's Bound on the Independence Number of Graphs
Published in Discussiones Mathematicae Graph Theory, ISSN (Online) 2083-5892 • View Publication • BIB
For a graph $G$ with vertex set $V(G)$ and independence number $α(G)$, S. M. Selkow (Discrete Mathematics, 132(1994)363--365) established the famous lower bound $\sum\limits_{v\in V(G)}\frac{1}{d(v)+1}(1+\max\{\frac{d(v)}{d(v)+1}-\sum\limits_{u\in N(v)}\frac{1}{d(u)+1},0 \})$ on $α(G)$, where $N(v)$ and $d(v)=|N(v)|$ denote the neighborhood and the degree of a vertex $v\in V(G)$, respectively. However, Selkow's original proof of this result is incorrect. We give a new probabilistic proof of Selkow's bound here.
2017-05-09 v3
Asymptotics for Turán numbers of cycles in 3-uniform linear hypergraphs
Published • View Publication • BIB
Let $\mathcal{F}$ be a family of $3$-uniform linear hypergraphs. The linear Turán number of $\mathcal F$ is the maximum possible number of edges in a $3$-uniform linear hypergraph on $n$ vertices which contains no member of $\mathcal{F}$ as a subhypergraph. In this paper we show that the linear Turán number of the five cycle $C_5$ (in the Berge sense) is $\frac{1}{3 \sqrt3}n^{3/2}$ asymptotically. We also show that the linear Turán number of the four cycle $C_4$ and $\{C_3, C_4\}$ are equal asmptotically, which is a strengthening of a theorem of Lazebnik and Verstraëte. We establish a connection between the linear Turán number of the linear cycle of length $2k+1$ and the extremal number of edges in a graph of girth more than $2k-2$. Combining our result and a theorem of Collier-Cartaino, Graber and Jiang, we obtain that the linear Turán number of the linear cycle of length $2k+1$ is $Θ(n^{1+\frac{1}{k}})$ for $k = 2, 3, 4, 6$.
2017-05-08 v2
On degree sum conditions for 2-factors with a prescribed number of cycles
Published • View Publication • BIB
For a vertex subset $X$ of a graph $G$, let $Δ_{t}(X)$ be the maximum value of the degree sums of the subsets of $X$ of size $t$. In this paper, we prove the following result: Let $k$ be a positive integer, and let $G$ be an $m$-connected graph of order $n \ge 5k - 2$. If $Δ_{2}(X) \ge n$ for every independent set $X$ of size $\lceil m/k \rceil+1$ in $G$, then $G$ has a 2-factor with exactly $k$ cycles. This is a common generalization of the results obtained by Brandt et al. [Degree conditions for 2-factors, J. Graph Theory 24 (1997) 165-173] and Yamashita [On degree sum conditions for long cycles and cycles through specified vertices, Discrete Math. 308 (2008) 6584-6587], respectively.
2017-05-08
Quantum Chaos on random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$
Published • View Publication • BIB
We investigate the statistical behavior of the eigenvalues and diameter of random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ %and the Symmetric group $S_n$ as the prime number $p$ goes to infinity. We prove a density theorem for the number of exceptional eigenvalues of random Cayley graphs i.e. the eigenvalues with absolute value bigger than the optimal spectral bound. Our numerical results suggest that random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ and the explicit LPS Ramanujan projective graphs of $\mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ have optimal spectral gap and diameter as the prime number $p$ goes to infinity.
Partial Domination in Graphs
A set $S\subseteq V$ is a dominating set of $G$ if every vertex in $V - S$ is adjacent to at least one vertex in $S$. The domination number $γ(G)$ of $G$ equals the minimum cardinality of a dominating set $S$ in $G$; we say that such a set $S$ is a $γ$-set. The single greatest focus of research in domination theory is the determination of the value of $γ(G)$. By definition, all vertices must be dominated by a $γ$-set. In this paper we propose relaxing this requirement, by seeking sets of vertices that dominate a prescribed fraction of the vertices of a graph. We focus particular attention on $1/2$ domination, that is, sets of vertices that dominate at least half of the vertices of a graph $G$. Keywords: partial domination, dominating set, partial domination number, domination number
2017-05-07
Largest reduced neighborhood clique cover number revisited
Published in Congresses Numerntium 229(2017), 173-179 • Search Publication
Let $G$ be a graph and $t\ge 0$. The largest reduced neighborhood clique cover number of $G$, denoted by ${\hatβ}_t(G)$, is the largest, overall $t$-shallow minors $H$ of $G$, of the smallest number of cliques that can cover any closed neighborhood of a vertex in $H$. It is known that ${\hatβ}_t(G)\le s_t$, where $G$ is an incomparability graph and $s_t$ is the number of leaves in a largest $t-$shallow minor which is isomorphic to an induced star on $s_t$ leaves. In this paper we give an overview of the properties of ${\hatβ}_t(G)$ including the connections to the greatest reduced average density of $G$, or $\bigtriangledown_t(G)$, introduce the class of graphs with bounded neighborhood clique cover number, and derive a simple lower and an upper bound for this important graph parameter. We announce two conjectures, one for the value of ${\hatβ}_t(G)$, and another for a separator theorem (with respect to a certain measure) for an interesting class of graphs, namely the class of incomparability graphs which we suspect to have a polynomial bounded neighborhood clique cover number, when the size of a largest induced star is bounded.
2017-05-07
Gaps in full homomorphism order
Published • View Publication • BIB
We characterise gaps in the full homomorphism order of graphs.
2017-05-06 v2
Periodic Steiner networks minimizing length
Published • View Publication • BIB
We study a problem of geometric graph theory: We determine the triply periodic graph in Euclidean 3-space which minimizes length among all graphs spanning a fundamental domain of 3-space with the same volume. The minimizer is the so-called srs network with quotient the complete graph on four vertices $K_4$. The network spans the body centred cubic lattice and is related to the gyroid triply periodic surface.