\section{Discussion}
\label{sec:discussion}
Using Robson's paper \cite{robson} perhaps wasn't the intention of this assignment. However, it shouldn't be considered cheating either. In this report I have on several points indicated what I found out myself, and where I needed Robson's help. The optimisations Robson adds to the basic structure are all argued in this report, so the correctness theorems are still totally proven in this paper.

Furthermore, I didn't actively look for a ready-made solution to the problem. I abstracted the problem to a `colouring maximising problem', then searched and asked around if things were written about it. I didn't expect to find a paper that discussed the problem in such detail.

After finding a paper that does have such an optimised solution, it would only be silly (and result in a slower algorithm) to \emph{not} use it.

Therefore, I do not think using Robson's paper should be considered cheating in any way.