Pareto Optimal Matchings of Students to Courses in the Presence of Prerequisites

Cechlarova, K., Klaus, B. and Manlove, D. (2016) Pareto Optimal Matchings of Students to Courses in the Presence of Prerequisites. In: Sixth International Workshop on Computational Social Choice (COMSOC 2016), Toulouse, France, 22-24 June 2016,

121256.pdf - Accepted Version



We consider the problem of allocating applicants to courses, where each applicant has a subset of acceptable courses that she ranks in strict order of preference. Each applicant and course has a capacity, indicating the maximum number of courses and applicants they can be assigned to, respectively. We thus essentially have a many-tomany bipartite matching problem with one-sided preferences, which has applications to the assignment of students to optional courses at a university. We consider additive preferences and lexicographic preferences as two means of extending preferences over individual courses to preferences over bundles of courses. We additionally focus on the case that courses have prerequisite constraints: we will mainly treat these constraints as compulsory, but we also allow alternative prerequisites. We further study the case where courses may be corequisites. For these extensions to the basic problem, we present the following algorithmic results, which are mainly concerned with the computation of Pareto optimal matchings (POMs). Firstly, we consider compulsory prerequisites. For additive preferences, we show that the problem of finding a POM is NP-hard. On the other hand, in the case of lexicographic preferences we give a polynomial-time algorithm for finding a POM, based on the well-known sequential mechanism. However we show that the problem of deciding whether a given matching is Pareto optimal is co-NP-complete. We further prove that finding a maximum cardinality (Pareto optimal) matching is NP-hard. Under alternative prerequisites, we show that finding a POM is NP-hard for either additive or lexicographic preferences. Finally we consider corequisites. We prove that, as in the case of compulsory prerequisites, finding a POM is NP-hard for additive preferences, though solvable in polynomial time for lexicographic preferences. In the latter case, the problem of finding a maximum cardinality POM is NP-hard and very difficult to approximate.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Manlove, Dr David and Cechlarova, Professor Katarina
Authors: Cechlarova, K., Klaus, B., and Manlove, D.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2016 The Authors
Publisher Policy:Reproduced with the permission of the authors

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
607071Efficient Algorithms for Mechanism Design Without Monetary Transfer.David ManloveEngineering & Physical Sciences Research Council (EPSRC)EP/K010042/1COM - COMPUTING SCIENCE