House_allocation_problem