graph
34934 papers tagged with this keyword
Proof of a conjecture of Bauer, Fan and Veldman
For a 1-tough graph $G$ we define $σ_3(G) = \min\{°(u) + °(v)+ °(w):$ $\{u, v, w\}$ is an independent set of vertices$\}$ and $NC2(G)=\min \{|N(u)\cup N(v)|: d(u,v)=2\}$. D. Bauer, G. Fan and H.J.Veldman proved that $c(G)\geq \min\{n,2NC2(G)\}$ for any 1-tough graph $G$ with $σ_3(G)\geq n\geq 3$, where $c(G)$ is the circumference of $G$ (D. Bauer, G. Fan and H.J.Veldman,Hamiltonian properties of graphs with large neighborhood unions,Discrete Mathematics, 1991). They also conjectured a stronger upper bound for the circumference: $c(G)\geq\min\{n,2NC2(G)+4\}$.In this paper, we prove this conjecture.
Cops and Robbers is EXPTIME-complete
Published
• View Publication
• BIB
We investigate the computational complexity of deciding whether k cops can capture a robber on a graph G. In 1995, Goldstein and Reingold conjectured that the problem is EXPTIME-complete when both G and k are part of the input; we prove this conjecture.
Maxima of the Q-index: degenerate graphs
Published
• View Publication
• BIB
Let $G$ be a $k$-degenerate graph of order $n.$ It is well-known that $G\ $has no more edges than $S_{n,k},$ the join of a complete graph of order $k$ and an independent set of order $n-k.$ In this note it is shown that $S_{n,k}$ is extremal for some spectral parameters of $G$ as well. More precisely, letting $μ\left( H\right) $ and $q\left( H\right) $ denote the largest eigenvalues of the adjacency matrix and the signless Laplacian of a graph $H,$ the inequalities \[ μ\left( G\right) <μ\left( S_{n,k}\right) \text{ and }q\left( G\right) <q\left( S_{n,k}\right) \] hold, unless $G=S_{n,k}$.
The latter inequality is deduced from the following general bound, which improves some previous bounds on $q\left( G\right) $:
If $G$ is a graph of order $n$, with $m$ edges, with maximum degree $Δ$ and minimum degree $δ,$ then \[ q\left( G\right) \leq\min\left\{ 2Δ,\frac{1}{2}\left( Δ+2δ-1+\sqrt{\left( Δ+2δ-1\right) ^{2}+16m-8\left( n-1+Δ\right) δ}\right) \right\} . \] Equality holds if and only if $G$ is regular or $G$ has a component of order $Δ+1$ in which every vertex is of degree $δ$ or $Δ,$ and all other components are $δ$-regular.
3-extra connectivity of 3-ary n-cube networks
Published
• View Publication
• BIB
Let G be a connected graph and S be a set of vertices. The h-extra connectivity of G is the cardinality of a minimum set S such that G-S is disconnected and each component of G-S has at least h+1 vertices. The h-extra connectivity is an important parameter to measure the reliability and fault tolerance ability of large interconnection networks. The h-extra connectivity for h=1,2 of k-ary n-cube are gotten by Hsieh et al. in [Theoretical Computer Science, 443 (2012) 63-69] for k>=4 and Zhu et al. in [Theory of Computing Systems, arxiv.org/pdf/1105.0991v1 [cs.DM] 5 May 2011] for k=3. In this paper, we show that the h-extra connectivity of the 3-ary n-cube networks for h=3 is equal to 8n-12, where n>=3.
On generalized Ramsey numbers for 3-uniform hypergraphs
Published
• View Publication
• BIB
The well-known Ramsey number $r(t,u)$ is the smallest integer $n$ such that every $K_t$-free graph of order $n$ contains an independent set of size $u$. In other words, it contains a subset of $u$ vertices with no $K_2$. Erd{\H o}s and Rogers introduced a more general problem replacing $K_2$ by $K_s$ for $2\le s<t$. Extending the problem of determining Ramsey numbers they defined the numbers $$ f_{s,t}(n)=\min \big{\{} \max \{|W| : W\subseteq V(G) \text{and} G[W] \text{contains no} K_s\}\big{\}}, $$ where the minimum is taken over all $K_t$-free graphs $G$ of order $n$. In this note, we study an analogous function $f_{s,t}^{(3)}(n)$ for 3-uniform hypergraphs. In particular, we show that there are constants $c_1$ and $c_2$ depending only on $s$ such that $$ c_1(\log n)^{1/4} \left(\frac{\log\log n}{\log\log\log n}\right)^{1/2} < f_{s, s+1}^{(3)}(n) < c_2 \log n. $$
On directed versions of the Corrádi-Hajnal Corollary
Published
• View Publication
• BIB
For $k \in \mathbb N$, Corrádi and Hajnal proved that every graph $G$ on $3k$ vertices with minimum degree $δ(G) \ge 2k$ has a $C_3$-factor, i.e., a partitioning of the vertex set so that each part induces the 3-cycle $C_3$. Wang proved that every directed graph $\overrightarrow G$ on $3k$ vertices with minimum total degree $δ_t(\overrightarrow G):=\min_{v\in V}(deg^-(v)+deg^+(v)) \ge 3(3k-1)/2$ has a $\overrightarrow C_3$-factor, where $\overrightarrow C_3$ is the directed 3-cycle. The degree bound in Wang's result is tight. However, our main result implies that for all integers $a \ge 1$ and $b \ge 0$ with $a+b=k$, every directed graph $\overrightarrow G$ on $3k$ vertices with minimum total degree $δ_t(\overrightarrow G)\ge 4k-1$ has a factor consisting of $a$ copies of $\overrightarrow T_3$ and $b$ copies of $\overrightarrow C_3$, where $\overrightarrow T_3$ is the transitive tournament on three vertices. In particular, using $b=0$, there is a $\overrightarrow T_3$-factor of $\overrightarrow G $, and using $a=1$, it is possible to obtain a $\overrightarrow C_3$-factor of $\overrightarrow G$ by reversing just one edge of $\overrightarrow G$. All these results are phrased and proved more generally in terms of undirected multigraphs.
We conjecture that every directed graph $\overrightarrow G$ on $3k$ vertices with minimum semidegree $δ_0(\overrightarrow G):=\min_{v\in V}\min(deg^-(v),deg^+(v)) \ge 2k$ has a $\overrightarrow C_3$-factor, and prove that this is asymptotically correct.
On generalized Ramsey numbers of Erdős and Rogers
Published
• View Publication
• BIB
Extending the concept of Ramsey numbers, Erd{\H o}s and Rogers introduced the following function. For given integers $2\le s<t$ let $$ f_{s,t}(n)=\min \{\max \{|W| : W\subseteq V(G) {and} G[W] {contains no} K_s\} \}, $$ where the minimum is taken over all $K_t$-free graphs $G$ of order $n$. In this paper, we show that for every $s\ge 3$ there exist constants $c_1=c_1(s)$ and $c_2=c_2(s)$ such that $f_{s,s+1}(n) \le c_1 (\log n)^{c_2} \sqrt{n}$. This result is best possible up to a polylogarithmic factor. We also show for all $t-2 \geq s \geq 4$, there exists a constant $c_3$ such that $f_{s,t}(n) \le c_3 \sqrt{n}$. In doing so, we partially answer a question of Erdős by showing that $\lim_{n\to \infty} \frac{f_{s+1,s+2}(n)}{f_{s,s+2}(n)}=\infty$ for any $s\ge 4$.
Set Systems Containing Many Maximal Chains
Published in Combinator. Probab. Comp. 24 (2015) 480-485
• View Publication
• BIB
The purpose of this short problem paper is to raise an extremal question on set systems which seems to be natural and appealing. Our question is: which set systems of a given size maximise the number of $(n+1)$-element chains in the power set $\mathcal{P}(\{1,2,\dots,n\})$? We will show that for each fixed $α>0$ there is a family of $α2^n$ sets containing $(α+o(1))n!$ such chains, and that this is asymptotically best possible. For smaller set systems we are unable to answer the question. We conjecture that a `tower of cubes' construction is extremal. We finish by mentioning briefly a connection to an extremal problem on posets and a variant of our question for the grid graph.
DNA origami and the complexity of Eulerian circuits with turning costs
Published
• View Publication
• BIB
Building a structure using self-assembly of DNA molecules by origami folding requires finding a route for the scaffolding strand through the desired structure. When the target structure is a 1-complex (or the geometric realization of a graph), an optimal route corresponds to an Eulerian circuit through the graph with minimum turning cost. By showing that it leads to a solution to the 3-SAT problem, we prove that the general problem of finding an optimal route for a scaffolding strand for such structures is NP-hard. We then show that the problem may readily be transformed into a Traveling Salesman Problem (TSP), so that machinery that has been developed for the TSP may be applied to find optimal routes for the scaffolding strand in a DNA origami self-assembly process. We give results for a few special cases, showing for example that the problem remains intractable for graphs with maximum degree 8, but is polynomial time for 4-regular plane graphs if the circuit is restricted to following faces. We conclude with some implications of these results for related problems, such as biomolecular computing and mill routing problems.
SEFE with No Mapping via Large Induced Outerplane Graphs in Plane Graphs
Published
• View Publication
• BIB
We show that every $n$-vertex planar graph admits a simultaneous embedding with no mapping and with fixed edges with any $(n/2)$-vertex planar graph. In order to achieve this result, we prove that every $n$-vertex plane graph has an induced outerplane subgraph containing at least $n/2$ vertices. Also, we show that every $n$-vertex planar graph and every $n$-vertex planar partial 3-tree admit a simultaneous embedding with no mapping and with fixed edges.
Concentration of the Stationary Distribution on General Random Directed Graphs
We consider a random model for directed graphs whereby an arc is placed from one vertex to another with a prescribed probability which may vary from arc to arc. Using perturbation bounds as well as Chernoff inequalities, we show that the stationary distribution of a Markov process on a random graph is concentrated near that of the "expected" process under mild conditions. These conditions involve the ratio between the minimum and maximum in- and out-degrees, the ratio of the minimum and maximum entry in the stationary distribution, and the smallest singu- lar value of the transition matrix. Lastly, we give examples of applications of our results to well-known models such as PageRank and G(n, p).
A neighborhood condition for fractional ID-[a,b]-factor-critical graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$, and let $a$ and $b$ be two integers with $1\leq a\leq b$. Let $h: E(G)\rightarrow [0,1]$ be a function. If $a\leq\sum_{e\ni x}h(e)\leq b$ holds for any $x\in V(G)$, then we call $G[F_h]$ a fractional $[a,b]$-factor of $G$ with indicator function $h$ where $F_h=\{e\in E(G): h(e)>0\}$. A graph $G$ is fractional independent-set-deletable $[a,b]$-factor-critical (in short, fractional ID-$[a,b]$-factor-critical) if $G-I$ has a fractional $[a,b]$-factor for every independent set $I$ of $G$. In this paper, it is proved that if $n\geq\frac{(a+2b)(2a+2b-3)+1}{b}$, $δ(G)\geq\frac{bn}{a+2b}+a$ and $|N_G(x)\cup N_G(y)|\geq\frac{(a+b)n}{a+2b}$ for any two nonadjacent vertices $x,y\in V(G)$, then $G$ is fractional ID-$[a,b]$-factor-critical. Furthermore, it is shown that this result is best possible in some sense.
Equal Entries in Totally Positive Matrices
Published
• View Publication
• BIB
We show that the maximal number of equal entries in a totally positive (resp. totally nonsingular) $n\textrm{-by-}n$ matrix is $Θ(n^{4/3})$ (resp. $Θ(n^{3/2}$)). Relationships with point-line incidences in the plane, Bruhat order of permutations, and $TP$ completability are also presented. We also examine the number and positionings of equal $2\textrm{-by-}2$ minors in a $2\textrm{-by-}n$ $TP$ matrix, and give a relationship between the location of equal $2\textrm{-by-}2$ minors and outerplanar graphs.
Enumeration of labeled and unlabeled k-gonal and polygonal 2-trees and succulents by vertices
We use the theory of Γ-species to enumerate k-gonal and polygonal 2-trees with respect to their vertices. We then extend this result to enumerate "succulents", a tree-like class of graphs which generalize cacti.
Packing $(2^{k+1}-1)$-order perfect binary trees into (\emph{k}+1)-connected graph
Let $G=(V,E)$ and $H$ be two graphs. Packing problem is to find in $G$ the largest number of independent subgraphs each of which is isomorphic to $H$. Let $U\subset{V}$. If the graph $G-U$ has no subgraph isomorphic to $H$, $U$ is a cover of $G$. Covering problem is to find the smallest set $U$. The vertex-disjoint tree packing was not sufficiently discussed in literature but has its applications in data encryption and in communication networks such as multi-cast routing protocol design. In this paper, we give the kind of $(k+1)$-connected graph $G'$ into which we can pack independently the subgraphs that are each isomorphic to the $(2^{k+1}-1)$-order perfect binary tree $T_k$. We prove that in $G'$ the largest number of vertex-disjoint subgraphs isomorphic to $T_k$ is equal to the smallest number of vertices that cover all subgraphs isomorphic to $T_k$. Then, we propose that $T_k$ does not have the \emph{Erdős-Pósa} property. We also prove that the $T_k$ packing problem in an arbitrary graph is NP-hard, and propose the distributed approximation algorithms.
Improved bounds for the shortness coefficient of cyclically 4-edge connected cubic graphs and snarks
We present a construction which shows that there is an infinite set of cyclically 4-edge connected cubic graphs on $n$ vertices with no cycle longer than $c_4 n$ for $c_4=\frac{12}{13}$, and at the same time prove that a certain natural family of cubic graphs cannot be used to lower the shortness coefficient $c_4$ to 0.
The graphs we construct are snarks so we get the same upper bound for the shortness coefficient of snarks, and we prove that the constructed graphs have an oddness growing linearly with the number of vertices.
Calculating Ramsey numbers by partitioning coloured graphs
Published
• View Publication
• BIB
In this paper we prove a new result about partitioning coloured complete graphs and use it to determine certain Ramsey numbers exactly. The partitioning theorem we prove is that for k at least 1, in every edge colouring of a complete graph with the colours red and blue, it is possible to cover all the vertices with k disjoint red paths and a disjoint blue balanced complete (k+1)-partite graph. When the colouring is connected in red, we prove a stronger result - that it is possible to cover all the vertices with k red paths and a blue balanced complete (k+2)-partite graph.
Using these results we determine the Ramsey number of a path on n vertices, versus a balanced complete k-partite graph, with m vertices in each part, whenever m-1 is divisible by n-1. This generalizes a result of Erdos who proved the m=1 case of this result. We also determine the Ramsey number of a path on n vertices versus the power of a path on n vertices. This solves a conjecture of Allen, Brightwell, and Skokan.
Recurrence Relations for Graph Polynomials on Bi-iterative Families of Graphs
Published
• View Publication
• BIB
We show that any graph polynomial from a wide class of graph polynomials yields a recurrence relation on an infinite class of families of graphs. The recurrence relations we obtain have coefficients which themselves satisfy linear recurrence relations. We give explicit applications to the Tutte polynomial and the independence polynomial. Furthermore, we get that for any sequence $a_{n}$ satisfying a linear recurrence with constant coefficients, the sub-sequence corresponding to square indices $a_{n^{2}}$ and related sub-sequences satisfy recurrences with recurrent coefficients.
The complexity of parity graph homomorphism: an initial investigation
Given a graph G, we investigate the question of determining the parity of the number of homomorphisms from G to some other fixed graph H. We conjecture that this problem exhibits a complexity dichotomy, such that all parity graph homomorphism problems are either polynomial-time solvable or parityP-complete, and provide a conjectured characterisation of the easy cases.
We show that the conjecture is true for the restricted case in which the graph H is a tree, and provide some tools that may be useful in further investigation into the parity graph homomorphism problem, and the problem of counting homomorphisms for other moduli.
The height of random $k$-trees and related branching processes
Published
• View Publication
• BIB
We consider the height of random k-trees and k-Apollonian networks. These random graphs are not really trees, but instead have a tree-like structure. The height will be the maximum distance of a vertex from the root. We show that w.h.p. the height of random k-trees and k-Apollonian networks is asymptotic to clog t, where t is the number of vertices, and c=c(k) is given as the solution to a transcendental equation. The equations are slightly different for the two types of process. In the limit as k-->oo the height of both processes is asymptotic to log t/(k log 2).