Abstract:Classical notions of disjunctive and cumulative scheduling are studied from the point of view of soft constraint satisfaction. Soft disjunctive scheduling is introduced as an instance of soft CSP and preferences included in this problem are applied to generate a lower bound based on existing discrete capacity resource. Timetabling problems at Purdue University and Faculty of Informatics at Masaryk University considering individual course requirements of students demonstrate practical problems which are solved via proposed methods. Implementation of general preference constraint solver is discussed and first computational results for timetabling problem are presented.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the over - constraint problem in the classic course - scheduling problem, especially when dealing with students with individual course requirements. Specifically, the paper proposes the concept of soft scheduling, aiming to minimize the violation of students' course requirements by introducing preferences and soft constraints.
### Problem Background
In the traditional course - scheduling problem, disjunctive and cumulative constraints of discrete resources are usually used to ensure that course times do not conflict and do not exceed the number of available classrooms in the same time period. However, when considering the personalized course requirements of each student, this method will lead to over - constraint, that is, no solution can be found to satisfy all constraints.
### Core Problems of the Paper
1. **Over - Constraint Problem**: When each student has different course selections, directly applying the classic disjunctive and cumulative constraints will lead to too many conflicts, making the problem unsolvable.
2. **Flexibility of Student Requirements**: A method is needed to handle students' preferences for course times, allowing a certain degree of overlap or adjustment to meet the needs of as many students as possible.
### Solutions
The paper proposes a method based on the soft constraint satisfaction problem (soft CSP), specifically including:
- **Soft Disjunctive Scheduling**: Soft disjunctive constraints are introduced, allowing a certain degree of overlap between certain activities (courses), and the degree of this overlap is measured by preference values. The goal is to minimize the number of overlapping activities, thereby minimizing the violation of students' requirements.
- **Formula Representation**:
\[
\omega(c_\theta)=\sum_{\forall i,j: i < j}\neg\text{disj}(a_i^\theta,a_j^\theta)
\]
where \(\text{disj}(a_i^\theta,a_j^\theta)\) represents whether activities \(a_i\) and \(a_j\) do not overlap under the assignment \(\theta\).
- **Soft Cumulative Scheduling**: For cumulative constraints, preference values are introduced to measure the desirability of the start time of each activity. The goal is to find an assignment such that the sum of these preference values is minimized.
- **Formula Representation**:
\[
L = \sum_{i}m(a_i)
\]
where \(m(a_i)\) represents the minimum weight of activity \(a_i\).
### Practical Applications
The paper verifies the effectiveness of the proposed method through the actual course - scheduling problems at Masaryk University and Purdue University. The results show that this method can find near - optimal solutions in a short time and can significantly reduce the violation of students' course requirements.
### Summary
The main contribution of this paper lies in proposing the concept of soft scheduling and applying it to the actual course - scheduling problem. By introducing preferences and soft constraints, the over - constraint problem in traditional methods is solved, thereby better meeting the personalized needs of students.