complete graph
2162 papers tagged with this keyword
Partitioning random graphs into monochromatic components
Published
• View Publication
• BIB
Erdős, Gyárfás, and Pyber (1991) conjectured that every $r$-colored complete graph can be partitioned into at most $r-1$ monochromatic components; this is a strengthening of a conjecture of Lovász (1975) in which the components are only required to form a cover. An important partial result of Haxell and Kohayakawa (1995) shows that a partition into $r$ monochromatic components is possible for sufficiently large $r$-colored complete graphs.
We start by extending Haxell and Kohayakawa's result to graphs with large minimum degree, then we provide some partial analogs of their result for random graphs. In particular, we show that if $p\ge \left(\frac{27\log n}{n}\right)^{1/3}$, then a.a.s. in every $2$-coloring of $G(n,p)$ there exists a partition into two monochromatic components, and for $r\geq 2$ if $p\ll \left(\frac{r\log n}{n}\right)^{1/r}$, then a.a.s. there exists an $r$-coloring of $G(n,p)$ such that there does not exist a cover with a bounded number of components. Finally, we consider a random graph version of a classic result of Gyárfás (1977) about large monochromatic components in $r$-colored complete graphs. We show that if $p=\frac{ω(1)}{n}$, then a.a.s. in every $r$-coloring of $G(n,p)$ there exists a monochromatic component of order at least $(1-o(1))\frac{n}{r-1}$.
Spectra of Graphs and Closed Distance Magic Labelings
Published in Discrete Mathematics 339(7) (2016) 1915-1923
• View Publication
• BIB
Let $G=(V,E)$ be a graph of order $n$. A closed distance magic labeling of $G$ is a bijection $\ell \colon V(G)\rightarrow \{1,\ldots ,n\}$ for which there exists a positive integer $k$ such that $\sum_{x\in N[v]}\ell (x)=k$ for all $v\in V $, where $N[v]$ is the closed neighborhood of $v$. We consider the closed distance magic graphs in the algebraic context. In particular we analyze the relations between the closed distance magic labelings and the spectra of graphs. These results are then applied to the strong product of graphs with complete graph or cycle and to the circulant graphs. We end with a number theoretic problem whose solution results in another family of closed distance magic graphs somewhat related to the strong product.
Large Cross-free sets in Steiner triple systems
Published
• View Publication
• BIB
A {\em cross-free} set of size $m$ in a Steiner triple system $(V,{\cal{B}})$ is three pairwise disjoint $m$-element subsets $X_1,X_2,X_3\subset V$ such that no $B\in {\cal{B}}$ intersects all the three $X_i$-s. We conjecture that for every admissible $n$ there is an STS$(n)$ with a cross-free set of size $\lfloor{n-3\over 3}\rfloor$ which if true, is best possible. We prove this conjecture for the case $n=18k+3$, constructing an STS$(18k+3)$ containing a cross-free set of size $6k$. We note that some of the $3$-bichromatic STSs, constructed by Colbourn, Dinitz and Rosa, have cross-free sets of size close to $6k$ (but cannot have size exactly $6k$).
The constructed STS$(18k+3)$ shows that equality is possible for $n=18k+3$ in the following result: in every $3$-coloring of the blocks of any Steiner triple system STS$(n)$ there is a monochromatic connected component of size at least $\lceil{2n\over 3}\rceil+1$ (we conjecture that equality holds for every admissible $n$).
The analogue problem can be asked for $r$-colorings as well, if $r-1 \equiv 1,3 \mbox{ (mod 6)}$ and $r-1$ is a prime power, we show that the answer is the same as in case of complete graphs: in every $r$-coloring of the blocks of any STS$(n)$, there is a monochromatic connected component with at least ${n\over r-1}$ points, and this is sharp for infinitely many $n$.
Colored graphs without colorful cycles
Published in Combinatorica 27 (2007), no. 4, 407-427
• Search Publication
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that a colored graph lacks colorful cycles iff it is Gallai, i.e., lacks colorful triangles. We then show that, under the operation $m\circ n\equiv m+n-2$, the omitted lengths of colorful cycles in a colored graph form a monoid isomorphic to a submonoid of the natural numbers which contains all integers past some point. We prove that several but not all such monoids are realized.
We then characterize exact Gallai graphs, i.e., graphs in which every triangle has edges of exactly two colors. We show that these are precisely the graphs which can be iteratively built up from three simple colored graphs, having $2$, $4$, and $5$ vertices, respectively. We then characterize in two different ways the monochromes, i.e., the connected components of maximal monochromatic subgraphs, of exact Gallai graphs. The first characterization is in terms of their reduced form, a notion which hinges on the important idea of a full homomorphism. The second characterization is by means of a homomorphism duality.
Subdivisions in the Robber Locating Game
Published in Discrete Mathematics 339 no. 11 (2016)
• View Publication
• BIB
We consider a game in which a cop searches for a moving robber on a graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any n-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m \geqslant n$. They conjectured that this bound was best possible for complete graphs, but the present authors showed that in fact the cop wins on $K^{1/m}$ if and only if $m \geqslant n/2$, for all but a few small values of $n$. In this paper we extend this result to general graphs by proving that the cop has a winning strategy on $G^{1/m}$ provided $m \geqslant n/2$ for all but a few small values of $n$; this bound is best possible. We also consider replacing the edges of $G$ with paths of varying lengths.
Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Combinatorics (October 3, 2017) dmtcs:2654
• View Publication
• BIB
Let $[K_n,f,π]$ be the (global) SDS map of a sequential dynamical system (SDS) defined over the complete graph $K_n$ using the update order $π\in S_n$ in which all vertex functions are equal to the same function $f\colon\mathbb F_2^n\to\mathbb F_2^n$. Let $η_n$ denote the maximum number of periodic orbits of period $2$ that an SDS map of the form $[K_n,f,π]$ can have. We show that $η_n$ is equal to the maximum number of codewords in a binary code of length $n-1$ with minimum distance at least $3$. This result is significant because it represents the first interpretation of this fascinating coding-theoretic sequence other than its original definition.
Red-blue clique partitions and (1-1)-transversals
Motivated by the problem of Gallai on $(1-1)$-transversals of $2$-intervals, it was proved by the authors in 1969 that if the edges of a complete graph $K$ are colored with red and blue (both colors can appear on an edge) so that there is no monochromatic induced $C_4$ and $C_5$ then the vertices of $K$ can be partitioned into a red and a blue clique. Aharoni, Berger, Chudnovsky and Ziani recently strengthened this by showing that it is enough to assume that there is no induced monochromatic $C_4$ and there is no induced $C_5$ in {\em one of the colors}. Here this is strengthened further, it is enough to assume that there is no monochromatic induced $C_4$ and there is no $K_5$ on which both color classes induce a $C_5$.
We also answer a question of Kaiser and Rabinovich, giving an example of six $2$-convex sets in the plane such that any three intersect but there is no $(1-1)$-transversal for them.
Monotone Paths in Dense Edge-Ordered Graphs
Published
• View Publication
• BIB
The altitude of a graph $G$, denoted $f(G)$, is the largest integer $k$ such that under each ordering of $E(G)$, there exists a path of length $k$ which traverses edges in increasing order. In 1971, Chvátal and Komlós asked for $f(K_n)$, where $K_n$ is the complete graph on $n$ vertices. In 1973, Graham and Kleitman proved that $f(K_n) \ge \sqrt{n - 3/4} - 1/2$ and in 1984, Calderbank, Chung, and Sturtevant proved that $f(K_n) \le (\frac{1}{2} + o(1))n$. We show that $f(K_n) \ge (\frac{1}{20} - o(1))(n/\lg n)^{2/3}$.
Distance labellings of Cayley graphs of semigroups
Published
• View Publication
• BIB
This paper establishes connections between the structure of a semigroup and the minimum spans of distance labellings of its Cayley graphs. We show that certain general restrictions on the minimum spans are equivalent to the semigroup being combinatorial, and that other restrictions are equivalent to the semigroup being a right zero band. We obtain a description of the structure of all semigroups $S$ and their subsets $C$ such that $\Cay(S,C)$ is a disjoint union of complete graphs, and show that this description is also equivalent to several restrictions on the minimum span of $\Cay(S,C)$. We then describe all graphs with minimum spans satisfying the same restrictions, and give examples to show that a fairly straightforward upper bound for the minimum spans of the underlying undirected graphs of Cayley graphs turns out to be sharp even for the class of combinatorial semigroups.
The Tournament Scheduling Problem with Absences
Published
• View Publication
• BIB
We study time scheduling problems with allowed absences as a new kind of graph coloring problem. One may think of a sport tournament where each player (each team) is permitted a certain number $t$ of absences. We then examine how many rounds are needed to schedule the whole tournament in the worst case. This upper limit depends on $t$ and on the structure of the graph $G$ whose edges represent the games that have to be played, but also on whether or not the absences are announced before the tournament starts. Therefore, we actually have two upper limits for the number of required rounds. We have $χ^t(G)$ for pre-scheduling if all absences are pre-fixed, and we have $χ_{\textit{OL}}^t(G)$ for on-line scheduling if we have to stay flexible and deal with absences when they occur. We conjecture that $χ^t(G)=Δ(G)+2t$ and that $χ_{\textit{OL}}^t(G)=χ'(G)+2t.$ The first conjecture is stronger than the Total Coloring Conjecture while the second is weaker than the On-Line List Edge Coloring Conjecture. Our conjectures hold for all bipartite graphs. For complete graphs, we prove them partially. Lower and upper bounds to $χ^t(G)$ and $χ_{\textit{OL}}^t(G)$ for general multigraphs $G$ are established, too.
Chromatic bases for symmetric functions
Published in Electron. J. Combin. 23:P1.15 6pp (2016)
• View Publication
• BIB
In this note we obtain numerous new bases for the algebra of symmetric functions whose generators are chromatic symmetric functions. More precisely, if $\{ G_ k \}_{k\geq 1}$ is a set of connected graphs such that $G_k$ has $k$ vertices for each $k$, then the set of all chromatic symmetric functions $\{ X_{G_ k} \}_{k\geq 1}$ generates the algebra of symmetric functions. We also obtain explicit expressions for the generators arising from complete graphs, star graphs, path graphs and cycle graphs.
The rectilinear local crossing number of $K_n$
We determine ${\bar{\rm{lcr}}}(K_n)$, the rectilinear local crossing number of the complete graph $K_n$ for every $n$. More precisely, for every $n \notin \{8, 14 \}, $ \[ {\bar{\rm{lcr}}}(K_n)=\left\lceil \frac{1}{2} \left( n-3-\left\lceil \frac{n-3}{3} \right\rceil \right) \left\lceil \frac{n-3}{3} \right\rceil \right\rceil, \] ${\bar{\rm{lcr}}}(K_8)=4$, and ${\bar{\rm{lcr}}}(K_{14})=15$.
The Ramsey number of mixed-parity cycles I
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the first, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Specifically, in this and the subsequent paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ and $m$ are even and $\ell$ is odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{2n+m-3, n+2m-3, \tfrac{1}{2} n +\tfrac{1}{2} m + \ell - 2\}$. In the case that the longest cycle is of even length, the proof in this paper is self-contained. However, in the case that the longest cycle is of odd length, we require an additional technical result, the proof of which makes up the majority of the subsequent paper.
The Ramsey number of mixed-parity cycles II
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the second, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Here and in the previous paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ and $m$ are even and $\ell$ is odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{2n+m-3, n+2m-3, \tfrac{1}{2} n +\tfrac{1}{2} m + \ell - 2\}$. The proof of this result is mostly contained within the first paper in this series, however, in the case that the longest cycle is of odd length, we require an additional technical result, the proof of which makes up the majority of this paper.
The Ramsey number of mixed-parity cycles III
Denote by $R(G_1, G_2, G_3)$ the minimum integer $N$ such that any three-colouring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of a graph $G_i$ coloured with colour $i$ for some $i\in{1,2,3}$. In a series of three papers of which this is the third, we consider the case where $G_1, G_2$ and $G_3$ are cycles of mixed parity. Specifically, in this in this paper, we consider $R(C_n,C_m,C_{\ell})$, where $n$ is even and $m$ and $\ell$ are odd. Figaj and Łuczak determined an asymptotic result for this case, which we improve upon to give an exact result. We prove that for $n,m$ and $\ell$ sufficiently large $R(C_n,C_m,C_\ell)=\max\{4n-3, n+2m-3, n+2\ell-3\}$.
The Hamiltonian problem and $t$-path traceable graphs
Published in Involve 10 (2017) 801-812
• View Publication
• BIB
The problem of characterizing maximal non-Hamiltonian graphs may be naturally extended to characterizing graphs that are maximal with respect to non-traceability and beyond that to $t$-path traceability. We show how traceability behaves with respect to disjoint union of graphs and the join with a complete graph. Our main result is a decomposition theorem that reduces the problem of characterizing maximal $t$-path traceable graphs to characterizing those that have no universal vertex. We generalize a construction of maximal non-traceable graphs by Zelinka to $t$-path traceable graphs.
Binomial partial Steiner triple systems with complete graphs: structural problems
In the paper we study the structure of hyperplanes of so called binomial partial Steiner triple systems (BSTS's, in short) i.e. of configurations with $\binom{n}{2}$ points and $\binom{n}{3}$ lines, each line of the size $3$. Consequently, a BSTS has $n-2$ lines through each of its points.
Partitioning the vertex set of $G$ to make $G\,\Box\, H$ an efficient open domination graph
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (June 2, 2016) dmtcs:1277
• View Publication
• BIB
A graph is an efficient open domination graph if there exists a subset of vertices whose open neighborhoods partition its vertex set. We characterize those graphs $G$ for which the Cartesian product $G \Box H$ is an efficient open domination graph when $H$ is a complete graph of order at least 3 or a complete bipartite graph. The characterization is based on the existence of a certain type of weak partition of $V(G)$. For the class of trees when $H$ is complete of order at least 3, the characterization is constructive. In addition, a special type of efficient open domination graph is characterized among Cartesian products $G \Box H$ when $H$ is a 5-cycle or a 4-cycle.
A Proof of the Erdös - Faber - Lovász Conjecture
In 1972, Erdös - Faber - Lovász (EFL) conjectured that, if $\textbf{H}$ is a linear hypergraph consisting of $n$ edges of cardinality $n$, then it is possible to color the vertices with $n$ colors so that no two vertices with the same color are in the same edge. In 1978, Deza, Erdös and Frankl had given an equivalent version of the same for graphs: Let $G= \bigcup _{i=1}^{n} A_i$ denote a graph with $n$ complete graphs $A_1, A_2,$ $ \dots , A_n$, each having exactly $n$ vertices and have the property that every pair of complete graphs has at most one common vertex, then the chromatic number of $G$ is $n$. The clique degree $d^K(v)$ of a vertex $v$ in $G$ is given by $d^K(v) = |\{A_i: v \in V(A_i), 1 \leq i \leq n\}|$. In this paper we give an algorithmic proof of the conjecture using the symmetric latin squares and clique degrees of the vertices of $G$.
On the safe set of Cartesian product of two complete graphs
For a connected graph $G$, a vertex subset $S$ of $V(G)$ is a safe set if for every component $C$ of the subgraph of $G$ induced by $S$, $|C| \ge |D|$ holds for every component $D$ of $G-S$ such that there exists an edge between $C$ and $D$, and, in particular, if the subgraph induced by $S$ is connected, then $S$ is called a connected safe set. For a connected graph $G$, the safe number and the connected safe number of $G$ are the minimum among sizes of the safe sets and the minimum among sizes of the connected safe sets, respectively, of $G$. Fujita et al. introduced these notions in connection with a variation of the facility location problem.
In this paper, we study the safe number and the connected safe number of Cartesian product of two complete graphs. Figuring out a way to reduce the number of components to two without changing the size of safe set makes it sufficient to consider only partitions of an integer into two parts without which it would be much more complicated to take care of all the partitions. In this way, we could show that the safe number and the connected safe number of Cartesian product of two complete graphs are equal and present a polynomial-time algorithm to compute them. Especially, in the case where one of complete components has order at most four, we precisely formulate those numbers.