complete graph
2162 papers tagged with this keyword
Levi's Lemma, pseudolinear drawings of $K_n$, and empty triangles
Published
• View Publication
• BIB
There are three main thrusts to this article: a new proof of Levi's Enlargement Lemma for pseudoline arrangements in the real projective plane; a new characterization of pseudolinear drawings of the complete graph; and proofs that pseudolinear and convex drawings of $K_n$ have $n^2+{}$O$(n\log n)$ and O$(n^2)$, respectively, empty triangles. All the arguments are elementary, algorithmic, and self-contained.
Pseudoachromatic and connected-pseudoachromatic indices of the complete graph
Published in Discrete Applied Mathematics-2017
• View Publication
• BIB
A complete $k$-coloring of a graph $G$ is a (not necessarily proper) $k$-coloring of the vertices of $G$, such that each pair of different colors appears in an edge. A complete $k$-coloring is also called connected, if each color class induces a connected subgraph of $G$. The pseudoachromatic index of a graph $G$, denoted by $ψ'(G)$, is the largest $k$ for which the line graph of $G$ has a complete $k$-coloring. Analogously the connected-pseudoachromatic index of $G$, denoted by $ψ_c'(G)$, is the largest $k$ for which the line graph of $G$ has a connected and complete $k$-coloring.
In this paper we study these two parameters for the complete graph $K_n$. Our main contribution is to improve the linear lower bound for the connected pseudoachromatic index given by Abrams and Berman [Australas J Combin 60 (2014), 314--324] and provide an upper bound. These two bounds prove that for any integer $n\geq 8$ the order of $ψ_c'(K_n)$ is $n^{3/2}$.
Related to the pseudoachromatic index we prove that for $q$ a power of $2$ and $n=q^2+q+1$, $ψ'(K_n)$ is at least $q^3+2q-3$ which improves the bound $q^3+q$ given by Araujo, Montellano and Strausz [J Graph Theory 66 (2011), 89--97].
Characterizing graphs of maximum principal ratio
Published
• View Publication
• BIB
The principal ratio of a connected graph, denoted $γ(G)$, is the ratio of the maximum and minimum entries of its first eigenvector. Cioabă and Gregory conjectured that the graph on $n$ vertices maximizing $γ(G)$ is a kite graph: a complete graph with a pendant path. In this paper we prove their conjecture.
Cliques in Graphs Excluding a Complete Graph Minor
Published in Electronic J. Combinatorics 23.3:18, 2016
• View Publication
• BIB
This paper considers the following question: What is the maximum number of $k$-cliques in an $n$-vertex graph with no $K_t$-minor? This question generalises the extremal function for $K_t$-minors, which corresponds to the $k=2$ case. The exact answer is given for $t\leq 9$ and all values of $k$. We also determine the maximum total number of cliques in an $n$-vertex graph with no $K_t$-minor for $t\leq 9$. Several observations are made about the case of general $t$.
Cyclic $m$-cycle systems of complete graphs minus a 1-factor
In this paper, we provide necessary and sufficient conditions for the existence of a cyclic $m$-cycle system of $K_n-I$ when $m$ and $n$ are even and $m \mid n$.
A Note on Bounded Biclique Coverings of Complete Graphs
An undirected biclique $K_{a,b}$ is a graph with vertices partitioned into two sets: a set $A$ containing $a$ vertices and a set $B$ containing $b$ vertices such that every vertex in set $A$ is connected to every vertex in set $B$, and such that no two vertices in the same set have an edge between them. A well-known result is that a minimum of $\lceil \log_2{n} \rceil$ bicliques graphs of any size are needed to edge-cover the complete graph on $n$ vertices. We prove a lower bound on minimum vertex-weighted biclique coverings of the complete graph $n$, and use this to prove an asymptotic formula for the minimum number of bicliques $K_{x,x}$ with bounded component size needed to cover the complete graph on $n$ vertices.
Beyond Degree Choosability
Published in Electronic Journal of Combinatorics. Vol. 24(3), 2017, #P3.29
• View Publication
• BIB
Let $G$ be a connected graph with maximum degree $Δ$. Brooks' theorem states that $G$ has a $Δ$-coloring unless $G$ is a complete graph or an odd cycle. A graph $G$ is \emph{degree-choosable} if $G$ can be properly colored from its lists whenever each vertex $v$ gets a list of $d(v)$ colors. In the context of list coloring, Brooks' theorem can be strengthened to the following. Every connected graph $G$ is degree-choosable unless each block of $G$ is a complete graph or an odd cycle; such a graph $G$ is a \emph{Gallai tree}.
This degree-choosability result was further strengthened to Alon--Tarsi orientations; these are orientations of $G$ in which the number of spanning Eulerian subgraphs with an even number of edges differs from the number with an odd number of edges. A graph $G$ is \emph{degree-AT} if $G$ has an Alon--Tarsi orientation in which each vertex has indegree at least 1. Alon and Tarsi showed that if $G$ is degree-AT, then $G$ is also degree-choosable. Hladky, Kral, and Schauz showed that a connected graph is degree-AT if and only if it is not a Gallai tree. In this paper, we consider pairs $(G,x)$ where $G$ is a connected graph and $x$ is some specified vertex in $V(G)$. We characterize pairs such that $G$ has no Alon--Tarsi orientation in which each vertex has indegree at least 1 and $x$ has indegree at least 2. When $G$ is 2-connected, the characterization is simple to state.
Upper bounds for the achromatic and coloring numbers of a graph
Published
• View Publication
• BIB
Dvořák \emph{et al.} introduced a variant of the Randić index of a graph $G$, denoted by $R'(G)$, where $R'(G)=\sum_{uv\in E(G)}\frac 1 {\max\{d(u), d(v)\}}$, and $d(u)$ denotes the degree of a vertex $u$ in $G$. The coloring number $col(G)$ of a graph $G$ is the smallest number $k$ for which there exists a linear ordering of the vertices of $G$ such that each vertex is preceded by fewer than $k$ of its neighbors. It is well-known that $χ(G)\leq col(G)$ for any graph $G$, where $χ(G)$ denotes the chromatic number of $G$. In this note, we show that for any graph $G$ without isolated vertices, $col(G)\leq 2R'(G)$, with equality if and only if $G$ is obtained from identifying the center of a star with a vertex of a complete graph. This extends some known results. In addition, we present some new spectral bounds for the coloring and achromatic numbers of a graph.
Mixing time and eigenvalues of the abelian sandpile Markov chain
Published
• View Publication
• BIB
The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is within a constant factor of the length of the shortest non-integer vector in the dual Laplacian lattice, while the mixing time is at most a constant times the smoothing parameter of the Laplacian lattice. We find a surprising inverse relationship between the spectral gap of the sandpile chain and that of simple random walk on $G$: If the latter has a sufficiently large spectral gap, then the former has a small gap! In the case where $G$ is the complete graph on $n$ vertices, we show that the sandpile chain exhibits cutoff at time $\frac{1}{4π^{2}}n^{3}\log n$.
On $\mathcal{D}$-equivalence classes of some graphs
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=1}^n d(G,i) x^i$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. The $n$-barbell graph $Bar_n$ with $2n$ vertices, is formed by joining two copies of a complete graph $K_n$ by a single edge. We prove that for every $n\geq 2$, $Bar_n$ is not $\mathcal{D}$-unique, that is, there is another non-isomorphic graph with the same domination polynomial. More precisely, we show that for every $n$, the $\mathcal{D}$-equivalence class of barbell graph, $[Bar_n]$, contains many graphs, which one of them is the complement of book graph of order $n-1$, $B_{n-1}^c$. Also we present many families of graphs in $\mathcal{D}$-equivalence class of $K_{n_1}\cup K_{n_2}\cup \cdots\cup K_{n_k}$.
Finitely Dependent Insertion Processes
Published in Electron. J. Probab. 22 1 - 19, 2017
• View Publication
• BIB
A $q$-coloring of $\mathbb Z$ is a random process assigning one of $q$ colors to each integer in such a way that consecutive integers receive distinct colors. A process is $k$-dependent if any two sets of integers separated by a distance greater than $k$ receive independent colorings. Holroyd and Liggett constructed the first stationary $k$-dependent $q$-colorings by introducing an insertion algorithm on the complete graph $K_q$. We extend their construction from complete graphs to weighted directed graphs. We show that complete multipartite analogues of $K_3$ and $K_4$ are the only graphs whose insertion process is finitely dependent and whose insertion algorithm is consistent. In particular, there are no other such graphs among all unweighted graphs and among all loopless complete weighted directed graphs. Similar results hold if the consistency condition is weakened to eventual consistency. Finally we show that the directed de Bruijn graphs of shifts of finite type do not yield $k$-dependent insertion processes, assuming eventual consistency.
Extremal graph for intersecting odd cycles
Published
• View Publication
• BIB
An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Turán graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Turán Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erdös et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we determine the extremal graphs for intersecting odd cycles.
On the General Randić index of polymeric networks modelled by generalized Sierpiński graphs
Published
• View Publication
• BIB
The General Randić index $R_α$ of a simple graph $G$ is defined as \[ R_α(G)=\sum_{v_{i}\sim v_{j}} (δ_{i}δ_{j})^α, \] where $δ_i$ denotes the degree of the vertex $v_i$. Rodríguez-Velázquez and Tomás-Andreu [MATCH Commun. Math. Comput. Chem. 74 (1) (2015) 145--160] obtained closed formulae for the Randić index $R_{-1/2}$ of Sierpiński-type polymeric networks, where the base graph is a complete graph, a triangle-free regular graph or a bipartite semiregular graph. In the present article we obtain closed formulae for the general Randić index $R_α$ of Sierpiński-type polymeric networks, where the base graph is arbitrary.
Induced minors and well-quasi-ordering
A graph $H$ is an induced minor of a graph $G$ if it can be obtained from an induced subgraph of $G$ by contracting edges. Otherwise, $G$ is said to be $H$-induced minor-free. Robin Thomas showed that $K_4$-induced minor-free graphs are well-quasi-ordered by induced minors [Graphs without $K_4$ and well-quasi-ordering, Journal of Combinatorial Theory, Series B, 38(3):240 -- 247, 1985].
We provide a dichotomy theorem for $H$-induced minor-free graphs and show that the class of $H$-induced minor-free graphs is well-quasi-ordered by the induced minor relation if and only if $H$ is an induced minor of the gem (the path on 4 vertices plus a dominating vertex) or of the graph obtained by adding a vertex of degree 2 to the complete graph on 4 vertices. To this end we proved two decomposition theorems which are of independent interest.
Similar dichotomy results were previously given for subgraphs by Guoli Ding in [Subgraphs and well-quasi-ordering, Journal of Graph Theory, 16(5):489--502, 1992] and for induced subgraphs by Peter Damaschke in [Induced subgraphs and well-quasi-ordering, Journal of Graph Theory, 14(4):427--435, 1990].
On the Hamilton-Waterloo Problem with odd orders
Published
• View Publication
• BIB
Given non-negative integers $v, m, n, α, β$, the Hamilton-Waterloo problem asks for a factorization of the complete graph $K_v$ into $α$ $C_m$-factors and $β$ $C_n$-factors. Clearly, $v$ odd, $n,m\geq 3$, $m\mid v$, $n\mid v$ and $α+β= (v-1)/2$ are necessary conditions. To date results have only been found for specific values of $m$ and $n$. In this paper we show that for any $m$ and $n$ the necessary conditions are sufficient when $v$ is a multiple of $mn$ and $v>mn$, except possibly when $β=1$ or 3, with five additional possible exceptions in $(m,n,β)$. For the case where $v=mn$ we show sufficiency when $β> (n+5)/2$ except possibly when $(m,α) = (3,2)$, $(3,4)$, with seven further possible exceptions in $(m,n,α,β)$. We also show that when $n\geq m\geq 3$ are odd integers, the lexicographic product of $C_m$ with the empty graph of order $n$ has a factorization into $α$ $C_m$-factors and $β$ $C_n$-factors for every $0\leq α\leq n$, $β= n-α$, except possibly when $α= 2,4$, $β= 1, 3$, with three additional possible exceptions in $(m,n,α)$.
On the existence of unparalleled even cycle systems
Published
• View Publication
• BIB
A $2t$-cycle system of order $v$ is a set $\mathcal{C}$ of cycles whose edges partition the edge-set of $K_v-I$ (i.e., the complete graph minus the $1$-factor $I$). If $v\equiv 0 \pmod{2t}$, a set of $v/2t$ vertex-disjoint cycles of $\mathcal{C}$ is a parallel class. If $\mathcal{C}$ has no parallel classes, we call such a system unparalleled.
We show that there exists an unparalleled $2t$-cycle system of order $v \equiv 0 \pmod{2t}$ if and only if $v>2t>2$.
On the connectivity Waiter-Client game
In this short note we consider a variation of the connectivity Waiter-Client game $WC(n,q,\mathcal{A})$ played on an $n$-vertex graph $G$ which consists of $q+1$ disjoint spanning trees. In this game in each round Waiter offers Client $q+1$ edges of $G$ which have not yet been offered. Client chooses one edge and the remaining $q$ edges are discarded. The aim of Waiter is to force Client to build a connected graph. If this happens Waiter wins. Otherwise Client is the winner. We consider the case where $2 < q+1 < \lfloor \frac{n-1}{2}\rfloor$ and show that for each such $q$ there exists a graph $G$ for which Client has a winning strategy. This result stands in opposition to the case where $G$ consists of just 2 spanning trees or where $G$ is a complete graph, since it has been shown that for such graphs Waiter can always force Client to build a connected graph.
Monochromatic tree covers and Ramsey numbers for set-coloured graphs
Published
• View Publication
• BIB
We consider a generalisation of the classical Ramsey theory setting to a setting where each of the edges of the underlying host graph is coloured with a {\em set} of colours (instead of just one colour). We give bounds for monochromatic tree covers in this setting, both for an underlying complete graph, and an underlying complete bipartite graph. We also discuss a generalisation of Ramsey numbers to our setting and propose some other new directions.
Our results for tree covers in complete graphs imply that a stronger version of Ryser's conjecture holds for $k$-intersecting $r$-partite $r$-uniform hypergraphs: they have a transversal of size at most $r-k$. (Similar results have been obtained by Király et al., see below.) However, we also show that the bound $r-k$ is not best possible in general.
Characterizing $2$-Distance Graphs and Solving the Equations $T_2(X)=kP_2$ or $K_m \cup K_n$
Let $X$ be a finite, simple graph with vertex set $V(X)$. The $2$-distance graph $T_2(X)$ of $X$ is the graph with the same vertex set as $X$ and two vertices are adjacent if and only if their distance in $X$ is exactly $2$. A graph $G$ is a $2$-distance graph if there exists a graph $X$ such that $T_2(X)=G$. In this paper, we give three characterizations of $2$-distance graphs, and find all graphs $X$ such that $T_2(X)=kP_2$ or $K_m \cup K_n$, where $k \ge 2$ is an integer, $P_2$ is the path of order $2$, and $K_m$ is the complete graph of order $m \ge 1$.
Bishellable drawings of $K_n$
The Harary--Hill conjecture, still open after more than 50 years, asserts that the crossing number of the complete graph $K_n$ is $ H(n) = \frac 1 4 \left\lfloor\frac{\mathstrut n}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-1}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-2}{\mathstrut 2}\right\rfloor \left\lfloor\frac{\mathstrut n-3}{\mathstrut 2}\right \rfloor$. Ábrego et al. introduced the notion of shellability of a drawing $D$ of $K_n$. They proved that if $D$ is $s$-shellable for some $s\geq\lfloor\frac{n}{2}\rfloor$, then $D$ has at least $H(n)$ crossings. This is the first combinatorial condition on a drawing that guarantees at least $H(n)$ crossings. In this work, we generalize the concept of $s$-shellability to bishellability, where the former implies the latter in the sense that every $s$-shellable drawing is, for any $b \leq s-2$, also $b$-bishellable. Our main result is that $(\lfloor \frac{n}{2} \rfloor\!-\!2)$-bishellability of a drawing $D$ of $K_n$ also guarantees, with a simpler proof than for $s$-shellability, that $D$ has at least $H(n)$ crossings. We exhibit a drawing of $K_{11}$ that has $H(11)$ crossings, is 3-bishellable, and is not $s$-shellable for any $s\geq5$. This shows that we have properly extended the class of drawings for which the Harary-Hill Conjecture is proved. Moreover, we provide an infinite family of drawings of $K_n$ that are $(\lfloor \frac{n}{2} \rfloor\!-\!2)$-bishellable, but not $s$-shellable for any $s\geq\lfloor\frac{n}{2}\rfloor$.