In the house allocation problem with lower and upper quotas, we are given a set of applicants and a set of projects. Each applicant has a strictly ordered preference list over the projects, while the projects are equipped with a lower and an upper quota. A feasible matching assigns the applicants to the projects in such a way that a project is either matched to no applicant or to a number of applicants between its lower and upper quota. In this model we study two classic optimality concepts: Pareto optimality and popularity. We show that finding a popular matching is hard even if the maximum lower quota is 2 and that finding a perfect Pareto optimal matching, verifying Pareto optimality, and verifying popularity are all NP-complete even if the maximum lower quota is 3. We complement the last three negative results by showing that the problems become polynomial-time solvable when the maximum lower quota is 2, thereby answering two open questions of Cechl\'arov\'a and Fleiner. Finally, we also study the parameterized complexity of all four mentioned problems.
翻译:在低配额和高配额的住房分配问题中,我们得到了一套申请者和一组项目。每个申请者都有对项目有严格命令的优惠名单,而项目则配有较低配额和上限配额。可行的匹配将项目申请者分配到项目,使项目与没有申请者或一些申请者的低配额和上限相对应。在这个模型中,我们研究了两个典型的最佳性概念:Pareto最佳性和受欢迎性。我们表明,即使最高低配额为2,找到一个受欢迎的匹配是困难的;即使找到一个完美的最佳匹配,核实Pareto最佳匹配,并核实受欢迎性均为全新进步,即使最高低配额为3。我们补充了最后三个负面结果,表明当最高配额为2时问题会变得多时性软化,从而回答Cechl\'arov\a'a和Fleinner的两个尚未解决的问题。最后,我们还研究了所有四个问题的参数复杂性。