arXiv++ Combinatorics

The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an analogous bound A(n_1,n_2,n_3) for the complete tripartite graph K_{n_1,n_2,n_3}, and prove that cr'(K_{n_1,n_2,n_3})\le A({n_1,n_2,n_3}). We also show that for n large enough, 0.973 A(n,n,n) \le cr'(K_{n,n,n}) and 0.666 A(n,n,n)\le cr(K_{n,n,n}), with the tighter rectilinear lower bound established through the use of flag algebras. A complete multipartite graph is balanced if the partite sets all have the same cardinality. We study asymptotic behavior of the crossing number of the balanced complete r-partite graph. Richter and Thomassen proved in 1997 that the limit as n\to\infty of cr(K_{n,n}) over the maximum number of crossings in a drawing of K_{n,n} exists and is at most 1/4. We define z(r)=3(r^2-r)/8(r^2+r-3) and show that for a fixed r and the balanced complete r-partite graph, z(r) is an upper bound to the limit superior of the crossing number divided by the maximum number of crossings in a drawing.

A sequence is called non-repetitive if no of its subsequences forms a repetition (a sequence $r_1,r_2,\dots,r_{2n}$ such that $r_i=r_{n+i}$ for all $1\leq i \leq n$). Let $G$ be a graph whose vertices are coloured. A colouring $\varphi$ of the graph $G$ is non-repetitive if the sequence of colours on every path in $G$ is non-repetitive. The Thue chromatic number, denoted by $π(G)$, is the minimum number of colours of a non-repetitive colouring of $G$. In this short note we present a general upper bound for the Thue chromatic number for the lexicographic product $G\circ H$ of graphs $G$ and $H$ with respect to some properties of the factors. This upper bound is then used to derive the exact values for $π(G\circ H)$ when $G$ is a complete multipartite graph and $H$ is an arbitrary graph.

A total coloring of a graph $G$ is a coloring of its vertices and edges such that no adjacent vertices, edges, and no incident vertices and edges obtain the same color. An interval total $t$-coloring of a graph $G$ is a total coloring of $G$ with colors $1,\ldots,t$ such that all colors are used, and the edges incident to each vertex $v$ together with $v$ are colored by $d_{G}(v)+1$ consecutive colors, where $d_{G}(v)$ is the degree of a vertex $v$ in $G$. In this paper we prove that all complete multipartite graphs with the same number of vertices in each part are interval total colorable. Moreover, we also give some bounds for the minimum and the maximum span in interval total colorings of these graphs. Next, we investigate interval total colorings of hypercubes $Q_{n}$. In particular, we prove that $Q_{n}$ ($n\geq 3$) has an interval total $t$-coloring if and only if $n+1\leq t\leq \frac{(n+1)(n+2)}{2}$.

We prove that the (divisorial) gonality of a finite connected graph is lower bounded by its treewidth. We show that equality holds for grid graphs and complete multipartite graphs. We prove that the treewidth lower bound also holds for \emph{metric graphs} by constructing for any positive rank divisor on a metric graph $Γ$ a positive rank divisor of the same degree on a subdivision of the underlying graph. Finally, we show that the treewidth lower bound also holds for a related notion of gonality defined by Caporaso and for stable gonality as introduced by Cornelissen et al.

We show that any complete $k$-partite graph $G$ on $n$ vertices, with $k \ge 3$, whose edges are two-coloured, can be covered with two vertex-disjoint monochromatic paths of distinct colours. We prove this under the necessary assumption that the largest partition class of $G$ contains at most $n/2$ vertices. This extends known results for complete and complete bipartite graphs. Secondly, we show that in the same situation, all but $o(n)$ vertices of the graph can be covered with two vertex-disjoint monochromatic cycles of distinct colours, if colourings close to a split colouring are excluded. From this we derive that the whole graph, if large enough, may be covered with 14 vertex-disjoint monochromatic cycles.

Let $\mathrm{ch}(G)$ denote the choice number of a graph $G$, and let $K_{s*k}$ be the complete $k$-partite graph with $s$ vertices in each part. Erdős, Rubin, and Taylor showed that $\mathrm{ch}( K_{2*k})=k$, and suggested the problem of determining the choice number of $K_{s*k}.$ The first author established $\mathrm{ch}( K_{3*k})=\left\lceil \frac{4k-1}{3}\right\rceil$. Here we prove $\mathrm{ch} (K_{4*k})=\left\lceil \frac{3k-1}{2}\right\rceil$.

Introduced by Albertson et al. \cite{albertson}, the distinguishing number $D(G)$ of a graph $G$ is the least integer $r$ such that there is a $r$-labeling of the vertices of $G$ that is not preserved by any nontrivial automorphism of $G$. Most of graphs studied in literature have 2 as a distinguishing number value except complete, multipartite graphs or cartesian product of complete graphs depending on $n$. In this paper, we study circulant graphs of order $n$ where the adjacency is defined using a symmetric subset $A$ of $\mathbb{Z}_n$, called generator. We give a construction of a family of circulant graphs of order $n$ and we show that this class has distinct distinguishing numbers and these lasters are not depending on $n$.

The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. Let $χ(H)$ and $χ_{\ell}(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_{\ell} (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. Motivated by the List Total Coloring Conjecture, Kostochka and Woodall (2001) proposed the List Square Coloring Conjecture which states that $G^2$ is chromatic-choosable for every graph $G$. Recently, Kim and Park showed that the List Square Coloring Conjecture does not hold in general by finding a family of graphs whose squares are complete multipartite graphs with partite sets of unbounded size. It is a well-known fact that the List Total Coloring Conjecture is true if the List Square Coloring Conjecture holds for special class of bipartite graphs. On the other hand, the counterexamples to the List Square Coloring Conjecture are not bipartite graphs. Hence a natural question is whether $G^2$ is chromatic-choosable or not for every bipartite graph $G$. In this paper, we give a bipartite graph $G$ such that $χ_{\ell} (G^2) \neq χ(G^2)$. Moreover, we show that the value $χ_{\ell}(G^2) - χ(G^2)$ can be arbitrarily large.

The domination game on a graph $G$ (introduced by B. Brešar, S. Klavžar, D.F. Rall \cite{BKR2010}) consists of two players, Dominator and Staller, who take turns choosing a vertex from $G$ such that whenever a vertex is chosen by either player, at least one additional vertex is dominated. Dominator wishes to dominate the graph in as few steps as possible, and Staller wishes to delay this process as much as possible. The game domination number $γ_{\small g}(G)$ is the number of vertices chosen when Dominator starts the game; when Staller starts, it is denoted by $γ_{\small g}^{\prime }(G).$ In this paper, the domination game on line graph $L\left( K_{\overline{m}}\right) $ of complete multipartite graph $K_{\overline{m}}$ $(\overline{m}\equiv (m_{1},...,m_{n})\in \mathbb{N} ^{n})$ is considered, the exact values for game domination numbers are obtained and optimal strategy for both players is described. Particularly, it is proved that for $m_{1}\leq m_{2}\leq ...\leq m_{n}$ both $γ_{\small g}\left( L\left( K_{\overline{m}}\right) \right) =\min \left\{ \left\lceil \frac{2}{3}\left\vert V\left( K_{\overline{m}}\right) \right\vert \right\rceil ,\right.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}\right) \right\rceil ,\text{ }m_{n-1}\right\} \right\} -1$ when $n\geq 2$ and $γ_{g}^{\prime }(L\left( K_{\overline{m}}\right) )=\min \left\{ \left\lceil \frac{2}{3}\left( \left\vert V(K_{_{\overline{m}}})\right\vert -2\right) \right\rceil ,\right.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}-1\right) \right\rceil ,\text{ }m_{n-1}\right\} \right\} $ when $n\geq 4$.

Let $G$ be a graph, and $Z$ a subset of its vertices, which we color black, while the remaining are colored white. We define the skew color change rule as follows: if $u$ is a vertex of $G$, and exactly one of its neighbors $v$, is white, then change the color of $v$ to black. A set $Z$ is a skew zero forcing set for $G$ if the application of the skew color change rule (as many times as necessary) will result in all the vertices in $G$ colored black. A set $Z$ is a minimum skew zero forcing set for $G$ if it is a skew zero forcing set for $G$ of least cardinality. The skew zero forcing number $\sZ (G)$ is the minimum of $|Z|$ over all skew zero forcing sets $Z$ for $G$. In this paper we discuss graphs that have extreme skew zero forcing number. We characterize complete multipartite graphs in terms of $\sZ (G)$. We note relations between minimum skew zero forcing sets and matchings in some bipartite graphs, and in unicyclic graphs. We establish that the elements in the set of minimum skew zero forcing sets in certain bipartite graphs are the bases of a matroid.

We show that there is a constant $k$ such that when $r \geq 2$ and $m \geq r^k$, the complete $r$-partite graph $K_{m*r}$ has a non-colorable list assignment $L$ such that $|L(v)| \geq \frac{7}{750}r\ln m$ for all $v$ and such that $|L(u) \cap L(v)| \leq \left\lfloor \frac{2r}{r-1} \right\rfloor$ whenever $u \neq v$. This roughly extends a result of Alon to the context of "choosability with separation", introduced by Kratochvíl, Tuza, and Voigt.

For a simple connected graph $G$, the $Q$-generating function of the numbers $N_k$ of semi-edge walks of length $k$ in $G$ is defined by $W_Q(t)=\sum\nolimits_{k = 0}^\infty {N_k t^k }$. This paper reveals that the $Q$-generating function $W_Q(t)$ may be expressed in terms of the $Q$-polynomials of the graph $G$ and its complement $\overline{G}$. Using this result, we study some $Q$-spectral properties of graphs and compute the $Q$-polynomials for some graphs obtained by the use of some operation on graphs, such as the complement graph of a regular graph, the join of two graphs, the (edge)corona of two graphs and so forth. As another application of the $Q$-generating function $W_Q(t)$, we also give a combinatorial interpretation of the $Q$-coronal of $G$, which is defined to be the sum of the entries of the matrix $(λI_n-Q(G))^{-1}$. This result may be used to obtain the many alternative calculations of the $Q$-polynomials of the (edge)corona of two graphs. Further, we also compute the $Q$-coronals of the join of two graphs and the complete multipartite graphs.

We introduce the concept of NIC-planar graphs and present the full characterization of NIC-planar complete k-partite graphs.

In this paper, we find the crossing number of the complete multipartite graphs $K_{1,1,1,1,n}$, $K_{1,2,2,n}$, $K_{1,1,1,2,n}$ and $K_{1,4,n}$.

A tree in an edge-colored graph $G$ is said to be a rainbow tree if no two edges on the tree share the same color. Given two positive integers $k$, $\ell$ with $k\geq 3$, the \emph{$(k,\ell)$-rainbow index} $rx_{k,\ell}(G)$ of $G$ is the minimum number of colors needed in an edge-coloring of $G$ such that for any set $S$ of $k$ vertices of $G$, there exist $\ell$ internally disjoint rainbow trees connecting $S$. This concept was introduced by Chartrand et al., and there have been very few results about it. In this paper, we investigate the $(k,\ell)$-rainbow index for complete bipartite graphs and complete multipartite graphs. Some asymptotic values of their $(k,\ell)$-rainbow index are obtained.

The $k$th power $G^k$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^k$ if the distance between $u$ and $v$ in $G$ is at most $k$. Let $χ(H)$ and $χ_l(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_l (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. A natural question raised by Xuding Zhu (2012) is whether there exists a constant integer $k$ such that $G^k$ is chromatic-choosable for every graph $G$. Motivated by the List Total Coloring Conjecture, Kostochka and Woodall (2001) asked whether $G^2$ is chromatic-choosable for every graph $G$. Kim and Park (2013) answered the Kostochka and Woodall's question in the negative by finding a family of graphs whose squares are complete multipartite graphs with partite sets of equal and unbounded size. In this paper, we answer Zhu's question by showing that for every integer $k \geq 2$, there exists a graph $G$ such that $G^k$ is not chromatic-choosable. Moreover, for any fixed $k$ we show that the value $χ_l(G^k) - χ(G^k)$ can be arbitrarily large.

A graph $G$ is called \emph{chromatic-choosable} if its choice number is equal to its chromatic number, namely $Ch(G)=χ(G)$. Ohba has conjectured that every graph $G$ satisfying $|V(G)|\leq 2χ(G)+1$ is chromatic-choosable. Since each $k$-chromatic graph is a subgraph of a complete $k$-partite graph, we see that Ohba's conjecture is true if and only if it is true for every complete multipartite graph. However, the only complete multipartite graphs for which Ohba's conjecture has been verified are: $K_{3*2,2*(k-3),1}$, $K_{3,2*(k-1)}$, $K_{s+3,2*(k-s-1),1*s}$, $K_{4,3,2*(k-4),1*2}$, and $K_{5,3,2*(k-5),1*3}$. In this paper, we show that Ohba's conjecture is true for two new classes of complete multipartite graphs: graphs with three parts of size 3 and graphs with one part of size 4 and two parts of size 3. Namely, we prove that $Ch(K_{3*3,2*(k-5),1*2})=k$ and $Ch(K_{4,3*2,2*(k-6),1*3})=k$ (for $k\geq 5$ and $k\geq 6$, respectively).

It is well known that the complete multipartite graphs can not be determined by their adjacency spectra. But in this paper, we prove that they can be determined by their distance spectra, which confirms the conjecture proposed by Lin, Hong, Wang and Shu.

We show that there are polynomial-time algorithms to compute maximum independent sets in the categorical products of two cographs and two splitgraphs. The ultimate categorical independence ratio of a graph G is defined as lim_{k --> infty} α(G^k)/n^k. The ultimate categorical independence ratio is polynomial for cographs, permutation graphs, interval graphs, graphs of bounded treewidth and splitgraphs. When G is a planar graph of maximal degree three then alpha(G \times K_4) is NP-complete. We present a PTAS for the ultimate categorical independence ratio of planar graphs. We present an O^*(n^{n/3}) exact, exponential algorithm for general graphs. We prove that the ultimate categorical independent domination ratio for complete multipartite graphs is zero, except when the graph is complete bipartite with color classes of equal size (in which case it is 1/2).

This paper studies the on-line choice number on complete multipartite graphs with independence number $m$. We give a unified strategy for every prescribed $m$. Our main result leads to several interesting consequences comparable to known results. (1) If $ k_1-\sum_{p=2}^m(\frac{p^2}{2}-\frac{3p}{2}+1)k_p\geq 0$, where $k_p$ denotes the number of parts of cardinality $p$, then $G$ is on-line chromatic-choosable. (2) If $ |V(G)|\leq\frac{m^2-m+2}{m^2-3m+4}χ(G)$, then $G$ is on-line chromatic-choosable. (3) The on-line choice number of regular complete multipartite graphs $K_{m\star k}$ is at most $(m+\frac{1}{2}-\sqrt{2m-2})k$ for $m\geq 3$.