complete graph
2194 papers tagged with this keyword
Nearly Complete Graphs Decomposable into Large Induced Matchings and their Applications
Published
• View Publication
• BIB
We describe two constructions of (very) dense graphs which are edge disjoint unions of large {\em induced} matchings. The first construction exhibits graphs on $N$ vertices with ${N \choose 2}-o(N^2)$ edges, which can be decomposed into pairwise disjoint induced matchings, each of size $N^{1-o(1)}$. The second construction provides a covering of all edges of the complete graph $K_N$ by two graphs, each being the edge disjoint union of at most $N^{2-δ}$ induced matchings, where $δ> 0.058$. This disproves (in a strong form) a conjecture of Meshulam, substantially improves a result of Birk, Linial and Meshulam on communicating over a shared channel, and (slightly) extends the analysis of Håstad and Wigderson of the graph test of Samorodnitsky and Trevisan for linearity. Additionally, our constructions settle a combinatorial question of Vempala regarding a candidate rounding scheme for the directed Steiner tree problem.
Improved lower bounds for the 2-page crossing numbers of K_{m,n} and K_n via semidefinite programming
Published in SIAM J. Optim. 22-2 (2012), pp. 581-595
• View Publication
• BIB
It has been long conjectured that the crossing numbers of the complete bipartite graph K_{m,n} and of the complete graph K_n equal Z(m,n) (the value conjectured by Zarankiewicz, who came up with a drawing reaching this value) and Z(n) :=Z(n,n-2)/4, respectively.
In a 2-page drawing of a graph, the vertices are drawn on a straight line (the spine), and each edge is contained in one of the half-planes of the spine. The 2-page crossing number v_2(G) of a graph G is the minimum number of crossings in a 2-page drawing of G. Somewhat surprisingly, there are 2-page drawings of K_{m,n} (respectively, K_n) with exactly Z(m, n) (respectively, Z(n)) crossings, thus yielding the conjectures (I) v_2(Km,n) =Z(m,n), and (II) v_2(Kn) = Z(n).
It is known that (I) holds for min{m, n} <=6, and that (II) holds for n<=14. In this paper we prove that (I) holds asymptotically (that is, lim_n v_2 (K_{m,n})/Z (m, n) = 1) for m=7 and 8.
We also prove (II) for 15<=n<=18 and n=20,24, and establish the asymptotic estimate lim_n v_2(K_n)/Z(n) >= 0.9253.
The previous best-known lower bound involved the constant 0.8594.
Strengthened Brooks Theorem for digraphs of girth three
Published
• View Publication
• BIB
Brooks' Theorem states that a connected graph $G$ of maximum degree $Δ$ has chromatic number at most $Δ$, unless $G$ is an odd cycle or a complete graph. A result of Johansson (1996) shows that if $G$ is triangle-free, then the chromatic number drops to $O(Δ/ \log Δ)$. In this paper, we derive a weak analog for the chromatic number of digraphs. We show that every (loopless) digraph $D$ without directed cycles of length two has chromatic number $χ(D) \leq (1-e^{-13}) \tildeΔ$, where $\tildeΔ$ is the maximum geometric mean of the out-degree and in-degree of a vertex in $D$, when $\tildeΔ$ is sufficiently large. As a corollary it is proved that there exists an absolute constant $α< 1$ such that $χ(D) \leq α(\tildeΔ + 1)$ for every $\tildeΔ > 2$.
Maximizing H-colorings of a regular graph
Published
• View Publication
• BIB
For graphs $G$ and $H$, a {\em homomorphism} from $G$ to $H$, or {\em $H$-coloring} of $G$, is an adjacency preserving map from the vertex set of $G$ to the vertex set of $H$. Writing ${\rm hom}(G,H)$ for the number of $H$-colorings admitted by $G$, we conjecture that for any simple finite graph $H$ (perhaps with loops) and any simple finite $n$-vertex, $d$-regular, loopless graph $G$ we have $$ {\rm hom}(G,H) \leq \max{{\rm hom}(K_{d,d},H)^{\frac{n}{2d}}, {\rm hom}(K_{d+1},H)^{\frac{n}{d+1}}} $$ where $K_{d,d}$ is the complete bipartite graph with $d$ vertices in each partition class, and $K_{d+1}$ is the complete graph on $d+1$ vertices.
Results of Zhao confirm this conjecture for some choices of $H$ for which the maximum is achieved by ${\rm hom}(K_{d,d},H)^{n/2d}$. Here we exhibit infinitely many non-trivial triples $(n,d,H)$ for which the conjecture is true and for which the maximum is achieved by ${\rm hom}(K_{d+1},H)^{n/(d+1)}$.
We also give sharp estimates for ${\rm hom}(K_{d,d},H)$ and ${\rm hom}(K_{d+1},H)$ in terms of some structural parameters of $H$. This allows us to characterize those $H$ for which ${\rm hom}(K_{d,d},H)^{1/2d}$ is eventually (for all sufficiently large $d$) larger than ${\rm hom}(K_{d+1},H)^{1/(d+1)}$ and those for which it is eventually smaller, and to show that this dichotomy covers all non-trivial $H$. Our estimates also allow us to obtain asymptotic evidence for the conjecture in the following form. For fixed $H$, for all $d$-regular $G$ we have $$ {\rm hom}(G,H)^{\frac{1}{|V(G)|}} \leq (1+o(1))\max{{\rm hom}(K_{d,d},H)^{\frac{1}{2d}}, {\rm hom}(K_{d+1},H)^{\frac{1}{d+1}}} $$ where $o(1)\rightarrow 0$ as $d \rightarrow \infty$. More precise results are obtained in some special cases.
On distance, geodesic and arc transitivity of graphs
We compare three transitivity properties of finite graphs, namely, for a positive integer $s$, $s$-distance transitivity, $s$-geodesic transitivity and $s$-arc transitivity. It is known that if a finite graph is $s$-arc transitive but not $(s+1)$-arc transitive then $s\leq 7$ and $s\neq 6$. We show that there are infinitely many geodesic transitive graphs with this property for each of these values of $s$, and that these graphs can have arbitrarily large diameter if and only if $1\leq s\leq 3$. Moreover, for a prime $p$ we prove that there exists a graph of valency $p$ that is 2-geodesic transitive but not 2-arc transitive if and only if $p\equiv 1\pmod 4$, and for each such prime there is a unique graph with this property: it is an antipodal double cover of the complete graph $K_{p+1}$ and is geodesic transitive with automorphism group $PSL(2,p)\times Z_2$.
k-Sums in abelian groups
Published in Combinatorics, Probability and Computing 21, 4 (2012) 582-596
• View Publication
• BIB
Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite subsets A of G for which |k \wedge A| = |A| for some k in {2,...,|A|-2}. This result answers a question of Diderrich. Our proof relies on an elementary property of proper edge-colourings of the complete graph.
Decompositions of Complete Multipartite Graphs into Complete Graphs
Let $k\geq\ell\geq1$ and $n\geq 1$ be integers. Let $G(k,n)$ be the complete $k$-partite graph with $n$ vertices in each colour class. An $\ell$-decomposition of $G(k,n)$ is a set $X$ of copies of $K_k$ in $G(k,n)$ such that each copy of $K_\ell$ in $G(k,n)$ is a subgraph of exactly one copy of $K_k$ in $X$. This paper asks: when does $G(k,n)$ have an $\ell$-decomposition? The answer is well known for the $\ell=2$ case. In particular, $G(k,n)$ has a 2-decomposition if and only if there exists $k-2$ mutually orthogonal Latin squares of order $n$. For general $\ell$, we prove that $G(k,n)$ has an $\ell$-decomposition if and only if there are $k-\ell$ Latin cubes of dimension $\ell$ and order $n$, with an additional property that we call mutually invertible. This property is stronger than being mutually orthogonal. An $\ell$-decomposition of $G(k,n)$ is then constructed whenever no prime less than $k$ divides $n$.
An Upper bound on the number of Steiner triple systems
Published
• View Publication
• BIB
Let STS(n) denote the number of Steiner triple systems on n vertices, and let F(n) denote the number of 1-factorizations of the complete graph on n vertices. We prove the following upper bound.
STS(n) <= ((1 + o(1)) (n/e^2))^(n^2/6)
F(n) <= ((1 + o(1)) (n/e^2))^(n^2/2)
We conjecture that the bound is sharp. Our main tool is the entropy method.
Triangulations of Cayley and Tutte polytopes
Published
• View Publication
• BIB
Cayley polytopes were defined recently as convex hulls of Cayley compositions introduced by Cayley in 1857. In this paper we resolve Braun's conjecture, which expresses the volume of Cayley polytopes in terms of the number of connected graphs. We extend this result to two one-variable deformations of Cayley polytopes (which we call t-Cayley and t-Gayley polytopes), and to the most general two-variable deformations, which we call Tutte polytopes. The volume of the latter is given via an evaluation of the Tutte polynomial of the complete graph. Our approach is based on an explicit triangulation of the Cayley and Tutte polytope. We prove that simplices in the triangulations correspond to labeled trees. The heart of the proof is a direct bijection based on the neighbors-first search graph traversal algorithm.
Random greedy triangle-packing beyond the 7/4 barrier
The random greedy algorithm for constructing a large partial Steiner-Triple-System is defined as follows. Begin with a complete graph on $n$ vertices and proceed to remove the edges of triangles one at a time, where each triangle removed is chosen uniformly at random out of all remaining triangles. This stochastic process terminates once it arrives at a triangle-free graph, and a longstanding open problem is to estimate the final number of edges, or equivalently the time it takes the process to conclude. The intuition that the edge distribution is roughly uniform at all times led to a folklore conjecture that the final number of edges is $n^{3/2+o(1)}$ with high probability, whereas the best known upper bound is $n^{7/4+o(1)}$. It is no coincidence that various methods break precisely at the exponent 7/4 as it corresponds to the inherent barrier where co-degrees become comparable to the variations in their values that arose earlier in the process.
In this work we significantly improve upon the previous bounds by establishing that w.h.p. the number of edges in the final graph is at most $ n^{5/3+o(1)} $. Our approach relies on a system of martingales used to control key graph parameters, where the crucial new idea is to harness the self-correcting nature of the process in order to control these parameters well beyond the point where their early variation matches the order of their expectation.
On the metric dimension of line graphs
Published
• View Publication
• BIB
Let $G$ be a (di)graph. A set $W$ of vertices in $G$ is a \emph{resolving set} of $G$ if every vertex $u$ of $G$ is uniquely determined by its vector of distances to all the vertices in $W$. The \emph{metric dimension} $μ(G)$ of $G$ is the minimum cardinality of all the resolving sets of $G$. Cáceres et al. \cite{Ca2} computed the metric dimension of the line graphs of complete bipartite graphs. Recently, Bailey and Cameron \cite{Ba} computed the metric dimension of the line graphs of complete graphs. In this paper we study the metric dimension of the line graph $L(G)$ of $G$. In particular, we show that $μ(L(G))=|E(G)|-|V(G)|$ for a strongly connected digraph $G$ except for directed cycles, where $V(G)$ is the vertex set and $E(G)$ is the edge set of $G$. As a corollary, the metric dimension of de Brujin digraphs and Kautz digraphs is given. Moreover, we prove that $\lceil\log_2Δ(G)\rceil\leqμ(L(G))\leq |V(G)|-2$ for a simple connected graph $G$ with at least five vertices, where $Δ(G)$ is the maximum degree of $G$. Finally, we obtain the metric dimension of the line graph of a tree in terms of its parameters.
Biased orientation games
Published
• View Publication
• BIB
We study biased {\em orientation games}, in which the board is the complete graph $K_n$, and Maker and Breaker take turns in directing previously undirected edges of $K_n$. At the end of the game, the obtained graph is a tournament. Maker wins if the tournament has some property $\mathcal P$ and Breaker wins otherwise.
We provide bounds on the bias that is required for a Maker's win and for a Breaker's win in three different games. In the first game Maker wins if the obtained tournament has a cycle. The second game is Hamiltonicity, where Maker wins if the obtained tournament contains a Hamilton cycle. Finally, we consider the $H$-creation game, where Maker wins if the obtained tournament has a copy of some fixed graph $H$.
Graph bootstrap percolation
Published
• View Publication
• BIB
Graph bootstrap percolation is a deterministic cellular automaton which was introduced by Bollobás in 1968, and is defined as follows. Given a graph $H$, and a set $G \subset E(K_n)$ of initially `infected' edges, we infect, at each time step, a new edge $e$ if there is a copy of $H$ in $K_n$ such that $e$ is the only not-yet infected edge of $H$. We say that $G$ percolates in the $H$-bootstrap process if eventually every edge of $K_n$ is infected. The extremal questions for this model, when $H$ is the complete graph $K_r$, were solved (independently) by Alon, Kalai and Frankl almost thirty years ago. In this paper we study the random questions, and determine the critical probability $p_c(n,K_r)$ for the $K_r$-process up to a poly-logarithmic factor. In the case $r = 4$ we prove a stronger result, and determine the threshold for $p_c(n,K_4)$.
Linear algebra and bootstrap percolation
Published
• View Publication
• BIB
In $\HH$-bootstrap percolation, a set $A \subset V(\HH)$ of initially 'infected' vertices spreads by infecting vertices which are the only uninfected vertex in an edge of the hypergraph $\HH$. A particular case of this is the $H$-bootstrap process, in which $\HH$ encodes copies of $H$ in a graph $G$. We find the minimum size of a set $A$ that leads to complete infection when $G$ and $H$ are powers of complete graphs and $\HH$ encodes induced copies of $H$ in $G$. The proof uses linear algebra, a technique that is new in bootstrap percolation, although standard in the study of weakly saturated graphs, which are equivalent to (edge) $H$-bootstrap percolation on a complete graph.
k-tuple total restrained domination and k-tuple total restrained domatic in graphs
Published in BUll. Iranian Math. Soc. Vol 40 (2014) No. 3 pp.751-763
• Search Publication
Let $G$ be a graph of order $n$ and size $m$ and let $k\geq 1$ be an integer. A $k$-tuple total dominating set in $G$ is called a $k$-tuple total restrained dominating set of $G$ if each vertex $x\in V(G)-S$ is adjacent to at least $k$ vertices of $V(G)-S$. The minimum number of vertices of a such sets in $G$ are the $k$-tuple total restrained domination number $γ_{\times k,t}^{r}(G)$ of $G$. The maximum number of classes of a partition of $V(G)$ such that its all classes are $k$-tuple total restrained dominating sets in $G$, is called the $k$-tuple total restrained domatic number of $G$.
In this manuscript, we first find $γ_{\times k,t}^{r}(G)$, when $G$ is complete graph, cycle, bipartite graph and the complement of path or cycle. Also we will find bounds for this number when $G$ is a complete multipartite graph. Then we will know the structure of graphs $G$ which $γ_{\times k,t}^{r}(G)=m$, for some $m\geq k+1$ and give upper and lower bounds for $γ_{\times k,t}^{r}(G)$, when $G$ is an arbitrary graph. Next, we mainly present basic properties of the $k$-tuple total restrained domatic number of a graph and give bounds for it. Finally we give bounds for the $k$-tuple total restrained domination number of the complementary prism $G\bar{G}$ in terms on the similar number of $G$ and $\bar{G}$ when $G$ is a regular graph or an arbitrary graph. And then we calculate it when $G$ is cycle or path.
A contribution to the second neighborhood problem
Published in Graphs and Combinatorics 29:1365-1375 (2013)
• View Publication
• BIB
Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. It is proved for tournaments, tournaments missing a matching and tournaments missing a generalized star. We prove this conjecture for classes of digraphs whose missing graph is a comb, a complete graph minus 2 independent edges, or a complete graph minus the edges of a cycle of length 5.
Families of graph-different Hamilton paths
Let D be an arbitrary subset of the natural numbers. For every n, let M(n;D) be the maximum of the cardinality of a set of Hamiltonian paths in the complete graph K_n such that the union of any two paths from the family contains a not necessarily induced cycle of some length from D. We determine or bound the asymptotics of M(n;D) in various special cases. This problem is closely related to that of the permutation capacity of graphs and constitutes a further extension of the problem area around Shannon capacity. We also discuss how to generalize our cycle-difference problems and present an example where cycles are replaced by 4-cliques. These problems are in a natural duality to those of graph intersection, initiated by Erdös, Simonovits and Sós. The lack of kernel structure as a natural candidate for optimum makes our problems quite challenging.
On the Locating Chromatic Number of the Cartesian Product of Graphs
Let $c$ be a proper $k$-coloring of a connected graph $G$ and $Π=(C_1,C_2,...,C_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $c_{{}_Π}(v):=(d(v,C_1),d(v,C_2),...,d(v,C_k)),$ where $d(v,C_i)=\min\{d(v,x) | x\in C_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $c$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this paper, we study the locating chromatic number of grids, the cartesian product of paths and complete graphs, and the cartesian product of two complete graphs.
Multicolor and directed edit distance
Published in J. Comb. 2(4) (2011), 525--556
• View Publication
• BIB
The editing of a combinatorial object is the alteration of some of its elements such that the resulting object satisfies a certain fixed property. The edit problem for graphs, when the edges are added or deleted, was first studied independently by the authors and Kézdy [J. Graph Theory (2008), 58(2), 123--138] and by Alon and Stav [Random Structures Algorithms (2008), 33(1), 87--104]. In this paper, a generalization of graph editing is considered for multicolorings of the complete graph as well as for directed graphs. Specifically, the number of edge-recolorings sufficient to be performed on any edge-colored complete graph to satisfy a given hereditary property is investigated. The theory for computing the edit distance is extended using random structures and so-called types or colored homomorphisms of graphs.
A version of Szemerédi's regularity lemma for multicolored graphs and directed graphs that is suitable for induced graphs
In this manuscript we develop a version of Szemerédi's regularity lemma that is suitable for analyzing multicolorings of complete graphs and directed graphs. In this, we follow the proof of Alon, Fischer, Krivelevich and M. Szegedy [Combinatorica, 20(4) (2000), 451--476] who prove a similar result for graphs.
The purpose is to extend classical results on dense hereditary properties, such as the speed of the property or edit distance, to the above-mentioned combinatorial objects.