Distributed verification and hardness of distributed approximation
A simple parallel algorithm for the maximal independent set problem