algorithms for maximum independent set applied to map labelling.pdf