Consider the following random priority mechanism for the assignment of dorm rooms to college students.
Random Priority
initialize R to the set of all rooms
randomly order the agents
for i=1, 2, ..., n do
assign the ith agent her favorite room r from among those in R
delete r from R
Does this mechanism DSIC, no matter which random ordering is chosen by the mechanism?