Prove that when given two graphs $G$ and $\bar{G}$ (complement), at least one of them must contain a cycle.
I thought about showing it by the number of edges: Suppose $G$ and $\bar{G}$ both don't contain cycles, then they are both forests. The number of edges is then $|V|-m$, where $|V|$ is the number of vertices and $m$ is the number of subtrees in the forest G.
As far as I've read, we can then consider the number of edges in a fully connected graph, which is $|E|+\bar{|E|}=2|V|-2m$ and this is smaller or equals $2|V|-1$.
Now I'm not sure how to continue. In other proves I've seen that they say that a fully connected graph must have $\frac{|V|(|V|-1)}{2}$ edges and therefore one of the graphs must have a cycle. But I don't understand this conclusion as $2|V|-2m$ is smaller than $\frac{|V|(|V|-1)}{2}$. So if we have less edges than a fully connected graph has, where should be the problem?
So can anyone help me to continue this proof or tell me if there is a better and easier way to show that?
You're almost done.
You can restate the problem as
If there are more than $n-1$ red edges, then the subgraph consisting of red edges has a cycle.
On the other hand if there are more than $n-1$ blue edges, then the blue subgraph has a cycle.
Conversely, if neither of these are true, then there are at most $2(n-1)$ edges. On the other hand, we know that $K_n$ has $\frac12 n(n-1)$ edges, so if $\frac12 n(n-1) > 2n-2$, then this case is not possible and one of the two previous cases (where there is either a red or a blue cycle) must have been the case.
If $n$ is small enough, then $\frac 12 n(n-1)\le 2n-2$, and then there are counterexamples to the claim.