A Constraint Programming Approach to Fair High School Course Scheduling
Mitsuka Kiyohara,Masakazu Ishihata
2024-08-22
Abstract:Issues of inequity in U.S. high schools' course scheduling did not previously exist. However, in recent years, with the increase in student population and course variety, students perceive that the course scheduling method is unfair. Current integer programming (IP) methods to the high school scheduling problem (HSSP) fall short in addressing these fairness concerns. The purpose of this research is to develop a solution methodology that generates feasible and fair course schedules using student preferences. Utilizing principles of fairness, which have been well studied in market design, we define the fair high school scheduling problem (FHSSP), a novel extension to the HSSP, and devise a corresponding algorithm based on integer programming to solve the FHSSP. We test our approach on a real course request dataset from a high school in California, USA. Results show that our algorithm can generate schedules that are both feasible and fair. In this paper, we demonstrate that our IP algorithm not only solves the HSSP and FHSSP in the United States but has the potential to be applied to various real-world scheduling problems. Additionally, we show the feasibility of integrating human emotions into mathematical modeling.
Computer Science and Game Theory,Artificial Intelligence
What problem does this paper attempt to address?
This paper attempts to solve the fairness problem in the course scheduling of American high schools. Specifically, with the increase in the number of students and the variety of courses, the existing course - scheduling methods are considered unfair. The current integer - programming (IP) - based methods fail to fully consider fairness when dealing with the high - school - schedule - scheduling problem (HSSP). Therefore, the author proposes a new problem definition - the fair high - school - schedule - scheduling problem (FHSSP), and introduces fairness constraints into the IP model.
### Main contributions of the paper
1. **Defining fairness**: The author defines FHSSP by using the well - studied fairness principles in the field of market design and proposes corresponding algorithms to solve this problem.
2. **Algorithm implementation**: A new algorithm is developed through the integer - programming method, which can ensure fairness while generating feasible course schedules.
3. **Experimental verification**: Tests are carried out using a real - world course - request data set from a high school in California, and the results show that the algorithm can generate both feasible and fair course schedules.
4. **Application potential**: This algorithm is not only applicable to the course scheduling of American high schools, but may also be applied to other practical scheduling problems.
### Specific content of fairness constraints
To ensure fairness, the author introduces two key quantities:
- **Interest degree \(d_{s,c}\)**: Represents the degree of interest of student \(s\) in course \(c\), which is assumed to be normalized to \(0\leq d_{s,c}\leq1\), and for each student \(s\), the sum of the interest degrees of all courses is 1.
- **Priority \(p_{s,c}\)**: The priority of student \(s\) to take course \(c\) determined in advance according to the student's academic performance and preferences.
Fairness constraints are defined by the following conditions:
- The priority and interest degree of student \(s\) for a certain course \(c\) are both higher than those of student \(s'\), but course \(c\) is assigned to student \(s'\), while student \(s\) is not assigned to this course.
- The number of courses assigned to student \(s\) is less than that of student \(s'\).
These conditions can be formalized as:
\[
(\exists c \in C_{s'} \setminus C_s) \land (p_{s,c} > p_{s',c}) \land (d_{s,c} > d_{s',c}) \land (|C_s| < |C_{s'}|)
\]
### Experimental results
The experimental results show that the algorithm can generate feasible course schedules in all test scenarios and does not cause any student - envy situations. In terms of running time, it takes about 9 minutes to reach a feasible solution, and an additional 3 minutes are required to reach the optimal solution. As the problem scale increases, the computing time may become a bottleneck, and future work will focus on optimizing CPU time and reducing the number of variables in the model.
In conclusion, this paper successfully introduces fairness constraints into the high - school - course - scheduling problem, improving the transparency and fairness of course allocation.