Yep, the New York marathon has way more applicants than slots, so they in fact use a mix of some of the mechanisms you mention. I think Nepal should do the same for Everest climbers - auction off half the slots and randomly award the other half.