#2 is the worst idea ever. Instead of making 20% of (soon to be ex-)employees unhappy, let's make 100% of employees unhappy.
I'd personally like what happened with one employer. They said there was budget issues and that anyone who wanted to go were offered to be let go with severance. The company is in a slightly worse position that they can't control who took them up on the offer, but it meant that everyone who stayed still wanted to be there and were dedicated to the company post cuts.