arXiv++ Combinatorics

For a complete graph $K_n$ of order $n$, an edge-labeling $c:E(K_n)\to \{ -1,1\}$ satisfying $c(E(K_n))=0$, and a spanning forest $F$ of $K_n$, we consider the problem to minimize $|c(E(F'))|$ over all isomorphic copies $F'$ of $F$ in $K_n$. In particular, we ask under which additional conditions there is a zero-sum copy, that is, a copy $F'$ of $F$ with $c(E(F'))=0$. We show that there is always a copy $F'$ of $F$ with $|c(E(F'))|\leq Δ(F)+1$, where $Δ(F)$ is the maximum degree of $F$. We conjecture that this bound can be improved to $|c(E(F'))|\leq (Δ(F)-1)/2$ and verify this for $F$ being the star $K_{1,n-1}$. Under some simple necessary divisibility conditions, we show the existence of a zero-sum $P_3$-factor, and, for sufficiently large $n$, also of a zero-sum $P_4$-factor.

Answering a question posed by Caro, Hansberg, Lauri, and Zarb, we show that for every positive integer $n$ and every function $σ\colon E(K_{4n})\to\{-1,1\}$ with $σ\left(E(K_{4n})\right)=0$, there is a perfect matching $M$ in $K_{4n}$ with $σ(M)=0$. Strengthening a result of Caro and Yuster, we show that for every positive integer $n$ and every function $σ\colon E(K_{4n})\to\{-1,1\}$ with $\left|σ\left(E(K_{4n})\right)\right|<n^2+11n+2,$ there is a perfect matching $M$ in $K_{4n}$ with $|σ(M)|\leq 2$. Both these results are best possible.

A bihole in a bipartite graph $G$ with partite sets $A$ and $B$ is an independent set $I$ in $G$ with $|I\cap A|=|I\cap B|$. We prove lower bounds on the largest order of biholes in balanced bipartite graphs subject to conditions involving the vertex degrees and the average degree.

Caro, Davila, and Pepper (arXiv:1909.09093) recently proved $δ(G) α(G)\leq Δ(G) μ(G)$ for every graph $G$ with minimum degree $δ(G)$, maximum degree $Δ(G)$, independence number $α(G)$, and matching number $μ(G)$. Answering some problems they posed, we characterize the extremal graphs for $δ(G)<Δ(G)$ as well as for $δ(G)=Δ(G)=3$.

We propose the conjecture that the domination number $γ(G)$ of a $Δ$-regular graph $G$ with $Δ\geq 1$ is always at most its edge domination number $γ_e(G)$, which coincides with the domination number of its line graph. We prove that $γ(G)\leq \left(1+\frac{2(Δ-1)}{Δ2^Δ}\right)γ_e(G)$ for general $Δ\geq 1$, and $γ(G)\leq \left(\frac{7}{6}-\frac{1}{204}\right)γ_e(G)$ for $Δ=3$. Furthermore, we verify our conjecture for cubic claw-free graphs.

The edge domination number $γ_e(G)$ of a graph $G$ is the minimum size of a maximal matching in $G$. It is well known that this parameter is computationally very hard, and several approximation algorithms and heuristics have been studied. In the present paper, we provide best possible upper bounds on $γ_e(G)$ for regular and non-regular graphs $G$ in terms of their order and maximum degree. Furthermore, we discuss algorithmic consequences of our results and their constructive proofs.

For an edge-colored graph, a subgraph is called rainbow if all its edges have distinct colors. We show that if $G$ is an edge-colored graph of order $n$ and size $m$ using $c$ colors on its edges, and $m+c\geq \binom{n+1}{2}+k-1$ for a non-negative integer $k$, then $G$ contains at least $k$ rainbow triangles. For $n\geq 3k$, we show that this result is best possible, and we completely characterize the class of edge-colored graphs for which this result is sharp. Furthermore, we show that an edge-colored graph $G$ contains at least $k$ rainbow triangles if $\sum\limits_{v\in V(G)} d^c_G(v)\geq \binom{n+1}{2}+k-1$ where $d_G^c(v)$ denotes the number of distinct colors incident to a vertex $v$. Finally we characterize the edge-colored graphs without a rainbow clique of size at least six that maximize the sum of edges and colors $m+c$. Our results answer two questions of Fujita, Ning, Xu and Zhang [On sufficient conditions for rainbow cycles in edge-colored graph, arXiv:1705.03675, 2017]

We give a very short and simple proof of Zykov's generalization of Turán's theorem, which implies that the number of maximum independent sets of a graph of order $n$ and independence number $α$ with $α<n$ is at most $\left\lceil\frac{n}α\right\rceil^{n\,{\rm mod}\,α} \left\lfloor\frac{n}α\right\rfloor^{α-(n\,{\rm mod}\,α)}$. Generalizing a result of Zito, we show that the number of maximum independent sets of a tree of order $n$ and independence number $α$ is at most $2^{n-α-1}+1$, if $2α=n$, and, $2^{n-α-1}$, if $2α>n$, and we also characterize the extremal graphs. Finally, we show that the number of maximum independent sets of a subcubic tree of order $n$ and independence number $α$ is at most $\left(\frac{1+\sqrt{5}}{2}\right)^{2n-3α+1}$, and we provide more precise results for extremal values of $α$.

We propose the conjecture that every tree with order $n$ at least $2$ and total domination number $γ_t$ has at most $\left(\frac{n-\frac{γ_t}{2}}{\frac{γ_t}{2}}\right)^{\frac{γ_t}{2}}$ minimum total dominating sets. As a relaxation of this conjecture, we show that every forest $F$ with order $n$, no isolated vertex, and total domination number $γ_t$ has at most $\min\left\{\left(8\sqrt{e}\, \right)^{γ_t}\left(\frac{n-\frac{γ_t}{2}}{\frac{γ_t}{2}}\right)^{\frac{γ_t}{2}}, (1+\sqrt{2})^{n-γ_t},1.4865^n\right\}$ minimum total dominating sets.