Acessibilidade / Reportar erro

Development of a linear programming model for the University Course Timetabling Problem

Abstract:

Creating timetables for courses is a problem that universities face at the beginning of every semester. This activity represents an important administrative task because it consumes significant amount of resources. In terms of computational complexity, this is classified as NP-hard, as it demands a huge amount of processing capacity. Timetabling is modeled in a number of different ways, aiming to fit the country’s educational context, meet specific rules of institutions of higher education or specific goals of managers, among others. In this paper, we propose a mathematical model to solve the University Course Timetabling Problem and optimize classroom utilization. To solve the proposed model, an algorithm that divides the problem was developed, solving it with mixed integer linear programming tools. Computational experiments applied to a real database of a Brazilian public university confirmed the good performance of the proposed approach, which greatly reduces the amount of assigned classrooms.

Keywords:
University Timetabling Problem; Integer programming; Mathematical programming; Decomposition; Timetable

Resumo:

A construção de grades horárias dos cursos de uma universidade é um problema que deve ser enfrentado no início de todos os semestres e, por mobilizar quantidades significativas de recursos, se constitui numa importante tarefa administrativa. É classificado, em termos de complexidade computacional, como NP-hard, o que implica grande exigência de capacidade de processamento. É modelado de maneiras muito diversas, no intuito de se obter adequação quanto ao contexto educacional do país, às regras específicas da instituição ou aos objetivos específicos dos gestores, entre outros. Neste artigo, propõe-se um modelo matemático para construir grades de horários, otimizando a utilização de salas de aula. Para resolver o modelo proposto, desenvolveu-se um algoritmo que divide o problema para viabilizar o uso de programação linear inteira mista. Experimentos computacionais aplicados a uma base de dados real de uma universidade pública brasileira confirmaram o bom desempenho da abordagem proposta, reduzindo consideravelmente a quantidade de salas de aulas alocadas.

Palavras-chave:
University Timetabling Problem; Programação inteira; Programação matemática; Decomposição; Grades horárias

1 Introduction

Creating timetables for their courses is a problem that universities must face at the beginning of every semester and, as it consumes significant amounts of resources, it represents an important administrative task. This problem consists in assigning certain resources, in a manner that some material and pedagogical constraints are respected. The most common constraints are physical (classrooms, laboratories, auditoriums, gymnasiums), people related (teachers, students), intangibles (days, periods, semesters, courses, lectures), among others.

Real cases could contain hundreds, or thousands, of these types of resources. Moreover, any feasible solutions must respect equally large amounts of constraints, and must fulfill, in the best way possible, certain demands (regarding teachers, educational institution, cost reductions, among others). Thus, building a good timetable is a very difficult task.

Known in the literature as University Course Timetable Problem (UCTP), according to Schaerf (1999)Schaerf, A. (1999). A survey of automated timetabling. Artificial Intelligence Review, 13(2), 87-127. http://dx.doi.org/10.1023/A:1006576209967.
http://dx.doi.org/10.1023/A:100657620996...
, this problem concerns the scheduling of a course’s lecture set in a limited quantity of classrooms and periods. The author also notes that the main difference to the school timetabling problem is that, in universities, different courses can have students in common.

Solutions for this problem are usually obtained through the involvement of a lot of people for several days. Besides, some of those solutions could not be satisfactory in some aspects, for instance, a student who wishes to enroll in two courses that are scheduled in the same period (Schaerf, 1999Schaerf, A. (1999). A survey of automated timetabling. Artificial Intelligence Review, 13(2), 87-127. http://dx.doi.org/10.1023/A:1006576209967.
http://dx.doi.org/10.1023/A:100657620996...
).

Previous studies present a variety of models and approaches. However, even if there are common objectives, some concepts and definitions do not apply to all educational institutions and systems, which are closely related to the country on which they’re applied.

Some of these models were implemented in real cases, such as: Virginia Tech (USA), by Sarin et al. (2010)Sarin, S. C., Wang, Y., & Varadarajan, A. (2010). A university-timetabling problem and its solution using Benders’ partitioning: a case study. Journal of Scheduling, 13(2), 131-141. http://dx.doi.org/10.1007/s10951-009-0157-1.
http://dx.doi.org/10.1007/s10951-009-015...
; Chile University, by Miranda (2010)Miranda, J. (2010). eClasSkeduler: a course scheduling system for the executive education unit at the Universidad de Chile. Interfaces, 40(3), 196-207. http://dx.doi.org/10.1287/inte.1090.0485.
http://dx.doi.org/10.1287/inte.1090.0485...
; Spanish University System, in particular University of Valencia, by Alvarez-Valdes et al. (2002)Alvarez-Valdes, R., Crespo, E., & Tamarit, J. M. (2002). Design and implementation of a course scheduling system using tabu search. European Journal of Operational Research, 137(3), 512-523. http://dx.doi.org/10.1016/S0377-2217(01)00091-1.
http://dx.doi.org/10.1016/S0377-2217(01)...
; Purdue University (USA), by Rudová et al. (2011)Rudová, H., Müller, T., & Murray, K. (2011). Complex university course timetabling. Journal of Scheduling, 14(2), 187-207. http://dx.doi.org/10.1007/s10951-010-0171-3.
http://dx.doi.org/10.1007/s10951-010-017...
; Università degli studi di Udine (Italy), developed by Burke et al. (2010)Burke, E. K., Mareček, J., Parkes, A. J., & Rudová, H. (2010). Decomposition, reformulation, and diving in university course timetabling. Computers & Operations Research, 37(3), 582-597. http://dx.doi.org/10.1016/j.cor.2009.02.023.
http://dx.doi.org/10.1016/j.cor.2009.02....
; Greek educational system, by Daskalaki et al. (2004)Daskalaki, S., Birbas, T., & Housos, E. (2004). An integer programming formulation for a case study in university timetabling. European Journal of Operational Research, 153(1), 117-135. http://dx.doi.org/10.1016/S0377-2217(03)00103-6.
http://dx.doi.org/10.1016/S0377-2217(03)...
; and Sydney University (Australia), by Beyrouthy et al. (2007)Beyrouthy, C., Burke, E. K., Landa-Silva, D., McCollum, B., McMullan, P., & Parkes, A. J. (2007). Towards improving the utilization of university teaching space. The Journal of the Operational Research Society, 60(1), 1-14..

There are also solutions applied to Brazilian instances, such as a heuristic formulation to the Exact and Geosciences Institute of Passo Fundo University, developed by Kripka et al. (2011)Kripka, R. M. L., Kripka, M., & Silva, M. C. (2011). Formulação para o problema de alocação de salas de aula com minimização de deslocamentos. In Anais do 43º Simpósio Brasileiro de Pesquisa Operacional (pp. 1941-1951). Ubatuba: SOBRAPO., and a model, to the Production Engineering course of Paraná University, solved by mathematical programming, presented by Andrade et al. (2012)Andrade, P. R. L., Scarpin, C. T., & Steiner, M. T. A. (2012). Geração da grade horária do curso de engenharia de produção da UFPR através de programação linear binária. In Anais do 44º Simpósio Brasileiro de Pesquisa Operacional (pp. 1052-1063). Rio de Janeiro: SOBRAPO..

Nevertheless, some authors claim that few papers applying models and methods using instances of real-world data (Carter & Laporte, 1998Carter, M. W., & Laporte, G. (1998). Recent developments in practical course timetabling. In E. Burke & M. Carter. Practice and theory of automated timetabling (Vol. 1408, pp. 3-19). Toronto: Springer-Verlag Berlin.; McCollum, 2007Mccollum, B. (2007). A perspective on bridging the gap between theory and practice in university timetabling. In: E. K. Burke & H. Rudová. In Practice and Theory of automated timetabling VI (Vol. 3867, pp. 3-23). Berlin: Springer-Verlag.; Murray et al., 2007Murray, K., Müller, T., & Rudová, H. (2007). Modelling and solution of a complex university course timetabling problem. In E. K. Burke & H. Rudová. Lecture notes in computer science (Vol. 3867, pp. 189-209). Berlin: Springer-Verlag.) can be found. These authors note that many articles concentrate on developing solutions to simplified problems, or that they use artificial data sets, and rarely extend their solutions to large scale formulations.

A large number of techniques and approaches to the solution are in the literature (Gunawan et al., 2012Gunawan, A., Ng, K. M., & Poh, K. L. (2012). A hybridized lagrangian relaxation and simulated annealing method for the course timetabling problem. Computers & Operations Research, 39(12), 3074-3088. http://dx.doi.org/10.1016/j.cor.2012.03.011.
http://dx.doi.org/10.1016/j.cor.2012.03....
). For the authors, exact algorithms can solve small data instances but hardly find the ideal solution for large data sets, due to its computational complexity. According to McCollum (2007)Mccollum, B. (2007). A perspective on bridging the gap between theory and practice in university timetabling. In: E. K. Burke & H. Rudová. In Practice and Theory of automated timetabling VI (Vol. 3867, pp. 3-23). Berlin: Springer-Verlag., Operations Research techniques to model real data instances can support the decisions of Higher Education Institution managers.

Regarding teaching space use, Beyrouthy et al. (2007)Beyrouthy, C., Burke, E. K., Landa-Silva, D., McCollum, B., McMullan, P., & Parkes, A. J. (2007). Towards improving the utilization of university teaching space. The Journal of the Operational Research Society, 60(1), 1-14. split these studies in two types: “management” and “planning”, engaged with short and long term, respectively. In this sense, both management and planning of teaching spaces can have important contributions from Operations Research. The model solution indicates the teaching space needs, supporting decisions concerning construction, renting or selling such places, and better management of available ones, designating people and other resources to teaching spaces.

We consulted a manager of a large Brazilian public university concerning the use of teaching locations and rental costs. In 2012, this university had spent 1.6 million dollars to rent 29 spaces. According to him, these spaces were probably underutilized.

Thus, this study aimed to develop a decision support model to help university managers construct timetables, and, more specifically, optimize teaching space use, respecting the constraints established by the educational institution.

The paper is organized as follows. Section 2 briefly discusses a literature review on timetable construction problem. Section 3 describes the problem and its mathematical formulation in details. Section 4 provides computational results with the use of real-world data. Section 5 presents conclusions and perspectives for future research.

2 Timetable construction in universities

Burke et al. (2003)Burke, E., Werra, D., & Kingston, J. (2003). Applications to timetabling. In J. L. Gross & J. Yellen. Graph Theory (chap. 5, pp. 445-474). Boca Raton: CRC Press, 2003. proposed a definition to the timetable construction problem. According to these authors, it is composed of four parameters: T, a finite set of time intervals (days, weeks); R, a finite set of resources (classrooms, teachers); M, a finite set of meetings (combination of time intervals and resources); and C, a finite set of constraints. The problem consists of assigning time intervals and resources to meetings, in such a way that constraints are satisfied in the best manner.

Timetabling problems have been studied since the 1950’s (Tripathy, 1984Tripathy, A. (1984). School timetabling: a case in large binary integer linear programming. Management Science, 30(12), 1473-1489. http://dx.doi.org/10.1287/mnsc.30.12.1473.
http://dx.doi.org/10.1287/mnsc.30.12.147...
), by utilizing a variety of methods, according to De Werra (1997)Werra, D. (1997). The combinatorics of timetabling. European Journal of Operational Research, 96(3), 504-513. http://dx.doi.org/10.1016/S0377-2217(96)00111-7.
http://dx.doi.org/10.1016/S0377-2217(96)...
, due to its combinatorial nature, this problem still draws attention, mainly from Operations Research community, because a great number of combinations must be checked in order to find at least one feasible solution.

School (STP) and University Courses (UCTP) Timetabling Problems have received lot of attention in the Educational Timetabling Problems (ETP). This division is due to important differences between the problems. Carter & Laporte (1998)Carter, M. W., & Laporte, G. (1998). Recent developments in practical course timetabling. In E. Burke & M. Carter. Practice and theory of automated timetabling (Vol. 1408, pp. 3-19). Toronto: Springer-Verlag Berlin. note that in schools, classes are predefined, there are few courses, few options for students, and teachers have high workload, while in universities, students have more freedom of choice, and teachers have lighter workload. Besides, in UCTP, classes share students, something that does not occur in STP.

Carter & Laporte (1998)Carter, M. W., & Laporte, G. (1998). Recent developments in practical course timetabling. In E. Burke & M. Carter. Practice and theory of automated timetabling (Vol. 1408, pp. 3-19). Toronto: Springer-Verlag Berlin. divide the problem in two types: master timetabling and demand-driven systems. In the first case, courses, teachers, classrooms, other material, and pedagogical resources are combined, and, after that, students choose which courses to enroll, according to a previously built timetable. In the second, students choose which courses to enroll and then, teachers, classrooms, and courses are combined to construct the timetables. From this division, the institution can adopt the better strategy to create their timetables.

Generally, UCTP formulation involves a great number of constraints, and preferences of students, and teachers. There are two kinds of constraints: hard and soft. While the hard constraints must be met, the soft constraints are characterized by penalizing the objective function, and therefore only contribute to evaluate the solution’s quality. Pongcharoen et al. (2008)Pongcharoen, P., Promtet, W., Yenradee, P., & Hicks, C. (2008). Stochastic optimisation tool for university course scheduling. International Journal of Production Economics, 112(2), 903-918. http://dx.doi.org/10.1016/j.ijpe.2007.07.009.
http://dx.doi.org/10.1016/j.ijpe.2007.07...
classify the problem as NP-hard, which implies a great demand for computational resources. According to Cormen et al. (2002)Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. (2002). Algoritmos: Teoria e prática (2. Ed.). Rio de Janeiro: Elsevier., problems of this class cannot be solved by any algorithm in polynomial time, and big instances demand approximate algorithms to solve them.

UCTP models have diverse objectives: maximization of student and teacher preferences, minimization of teachers and students idle time, better distribution of classrooms’ use, among others. Besides that, Alvarez-Valdes et al. (2002)Alvarez-Valdes, R., Crespo, E., & Tamarit, J. M. (2002). Design and implementation of a course scheduling system using tabu search. European Journal of Operational Research, 137(3), 512-523. http://dx.doi.org/10.1016/S0377-2217(01)00091-1.
http://dx.doi.org/10.1016/S0377-2217(01)...
point out that timetable structure and specificities vary according to countries, mainly due to educational systems and university particularities, which explain why the problem is studied so much. This article models the problem considering physical space optimization, particularly classrooms. Data was collected from a Brazilian federal university, which initially showed a potential for better usage of space and, saving money on rents, cleaning, maintenance, and security.

3 Mathematical modeling

In this section, we describe the problem, entity sets, parameters, mathematical formulation, and the approach used for searching solutions.

3.1 Problem details

According to the discussion in Section 2, our problem is classified as master timetabling. Therefore, the model does not have student sets. We assumed that each class already has a teacher assigned to it, and so, the model considers the set of teachers only to avoid time conflict between classes with the same teacher. Regarding the physical spaces, the model considers only the classrooms, excluding special locations such as laboratories, gymnasiums, auditoriums, among others. This decision was based on the university’s case studied in this research. They needed to rent classrooms to meet their demand for space, but there’s no need for special locations. In addition, the classrooms are managed centrally, while the course coordinators attribute the special locations to events.

To model this problem, it is important to identify the hard and soft constraints. Hard constraints are those that must be satisfied, so that any violation implies in infeasible solutions. Soft constraints are requirements that are not essential to produce feasible solutions, but they are desirable (Kahar & Kendall, 2010Kahar, M. N. M., & Kendall, G. (2010). The examination timetabling problem at Universiti Malaysia Pahang: Comparison of a constructive heuristic with an existing software solution. European Journal of Operational Research, 207(2), 557-565. http://dx.doi.org/10.1016/j.ejor.2010.04.011.
http://dx.doi.org/10.1016/j.ejor.2010.04...
). Therefore, we present the hard (HC) and soft (SC) constraints:

HC01 Exact number of meetings in each subject must be assigned

HC02 Classes can only be assigned to periods allowed by the educational institution

HC03 Minimum and maximum daily meetings in each subject must be respected

HC04 Classes cannot have meetings in consecutive days

HC05 Meetings of the same class, in the same day, must be consecutives

HC06 Mandatory subjects of the same semester of curriculum cannot have schedule conflicts, if they have only a single class offered

HC07 Teachers can be assigned to meetings in periods designed by the educational institution

HC08 Teachers cannot teach more than one meeting at the same time period

HC09 Classrooms can host at most one event in a given time period

HC10 Classrooms can host only events permitted by the educational institution

HC11 Classroom capacities must be respected

HC12 Class meetings in the same day must be assigned to the same classroom

HC13 Teachers can only teach in one academic unit (e.g. building), in a given shift

SC01 Minimize academic unit utilization costs

3.2 Mathematical formulation

Initial tests show the impossibility of optimally solving the real data sets. Therefore, we propose a viable approach to solve it. We divide the main problem in two subproblems:

  1. 1

    Creation of weekly timetables, aiming to uniformly distribute meetings among all time periods, and

  2. 2

    Assignment of classrooms to events, aiming to minimize the SC01 soft constraint.

The aim of this strategy is to separate the resources that will be assigned to events: days and periods in the first subproblem, and classrooms on the second subproblem. Furthermore, we identified an important characteristic: in the previous academic school years, all the meetings were assigned in the same shift for a given class, which allowed us to solve the problem in each shift separately. From these two division strategies (of the problem, and of data sets), it was possible to find solutions.

We present the parameters and data sets for the first subproblem. Data sets represent modeled entities, and parameters represent the conditions which must be respected.

Sets:

C: courses, cC={0,1,,|C|1}

D: days, dD={0,1,2,3,4}

E: events, eE={0,1,,|E|1}

S: subjects, sS={0,1,,|S|1}

T: teachers, tT={0,1,,|T|1}

Es: subject’s events sS, EsE

Et: teacher’s events tT, EtE

G: semesters, gG={0,1,,|G|1}

P: time periods, pP={0,1,,|P|1}

Scg: mandatory subjects that have only one event,

ScgS, cC,gG

Parameters:

M|S|: vector indicating the number of weekly theoretical meetings of a subject, as required by the curriculum, where Ms indicates the number of weekly theoretical meetings of subject sS

DMmin|S|: vector indicating the minimum number of daily meetings acceptable for subject sS, where DMmins indicates the minimum number of daily meetings of subject sS

DMmax|S|: vector indicating maximum number of daily meetings acceptable for subject sS, where DMmaxs indicates the maximum number of daily meetings of subject sS

EA|E|×|D|×|P|{0,1}: event timetable availability matrix, where EAedp=1, if event eE might have a meeting at day dD and time period pP; EAedp=0, otherwise

TA|T|×|D|×|P|{0,1}: teacher timetable availability matrix, where TAtdp=1 if teacher tT might work at day dD and time period pP; TAtdp=0, otherwise

Our STP model is a mixed linear programming problem, with (0, 1) decision variables mapping events of students, teachers, and locations into a matrix of time slots within the week. Thus, we define the decision variables as:

xedp={1,0, if event eE is assigned to day dD and time period pP

otherwise

Constraints demand the following auxiliary variables:

bed={1,0, if event eE have a meeting on day dD

otherwise

eed= first time period assigned to event eE on day dD

fed= last time period assigned to event eE on day dD

wdp= number of meetings scheduled on day dD and in period pP

y= value of the biggest element in variable set wdp

To uniformly distribute the meetings in the timetable, it is necessary and sufficient to compute the time slot with the highest amount of meetings. The objective of the model is to minimize the number of assigned meetings to the slot with the highest amount of meetings:

M i n i m i z e y (1)

In order to follow hard constraints HC01 to HC08, and to compute y, which is used in soft constraint SC01, the Objective Function 1 is subject to the following equations:

d D p P x e d p = M s e E s , s S (2)
x e d p E A e d p e E , d D , p P (3)
e E t x e d p T A e d p t T , d D , p P (4)
D M min s . b e d p P x e d p D M max s . b e d e E s , s S , d D (5)
b e d x e d p e E , d D , p P (6)
b e d + b e , d + 1 1 e E , d { 0,1, , | D | 2 } (7)
e e d ( | P | + 1 ) ( | P | + 1 p ) . x e d p e E , d D , p P (8)
f e d p . x e d p e E , d D , p P (9)
f e d e e d + b e d p P x e d p 0 e E , d D (10)
e E s : s S c g x e d p 1 c C , g G , d D , p P (11)
w d p = e E x e d p d D , p P (12)
y e E x e d p d D , p P (13)

Constraint Set 2 satisfies HC01, ensuring that the required number of meetings is assigned. Equations 3 and 4 ensure the allocation of the event in allowed timetables for their own event (HC02), and their teacher (HC07). Equation 4 also satisfies HC08 constraint, which prevents allocating a teacher more than once on the same time slot (d,p). The model respects the minimum and maximum daily limit of meetings of one subject (HC03) through the Constraint 5, which uses the auxiliary variable bed calculated by Equation 6 through an implication constraint. Equation 7 ensures that there will be no assignments in consecutive days (HC04), an important pedagogical constraint. Equations 8 and 9 compute the first and last meeting of a given event per day, respectively, as proposed by Santos et al. (2012)Santos, H. G., Uchoa, E., Ochi, L. S., & Maculan, N. (2012). Strong bounds with cut and column generation for class-teacher timetabling. Annals of Operations Research, 194(1), 399-412. http://dx.doi.org/10.1007/s10479-010-0709-y.
http://dx.doi.org/10.1007/s10479-010-070...
, and adapted by Dorneles et al. (2012)Dorneles, A. P., Araújo, O. C. B., & Buriol, L. S. (2012). The impact of compactness requirements on the resolution of high school timetabling problem. In Simpósio Brasileiro de Pesquisa Operacional (pp. 3336-3347). Rio de Janeiro: SOBRAPO.. Event meetings in a given day must be consecutive (HC05), according to Equation 10, which prevents idle times between meetings of an event. Equation 11 models the constraint HC06, which demands that subjects of a given semester of curriculum do not overlap, as long as they are mandatory and have only one event. This constraint is essential to not impair the students who wish to enroll in all subjects of the current semester of their curriculum. Finally, Equation 12 computes the value of the auxiliary variable wdp, which contains the number of classes of each time slot (d,p). Equation 13 calculates the variable y, which equals the highest amount of auxiliary variables wdp.

The second subproblem aims to assign classrooms to each meeting. It needs the definition of the following sets and parameters:

Sets:

U: academic units, uU={0,1,,|U|1}

R: classrooms, rR={0,1,,|R|1}

Ru: classrooms from academic unit uU, RuU

H: shifts, hH, H={0, 1,2}

Parameters:

X|E|×|D|×|P|{0,1}: event timetable matrix generated by first subproblem, where Xedp=1 if event eE is assigned to day dD and time period pP; and Xedp=0, otherwise

Cap|R|: classroom capacity vector, where Capr indicates the capacity of students of a classroom rR,

NS|E|: event enrollment vector, where NSe indicates the forecast of students enrolled in event eE

RA|R|×|D|×|P|{0,1}: classroom availability matrix, where RArdp=1 if classroom rR might be assigned to events at day dD and time period pP; RArdp=0, otherwise

α|U|: utilization costs vector for academic unit uU

Second subproblem model must result in the decision variable values:

kredp={1, 0, if classroom rR is assigned to event eE at day dD and in period pP

otherwise

mu={1,0, if academic unit uU is assigned to at least one meeting

otherwise

Model constraints need the following auxiliary variable sets:

jred={1,0, if classroom rR is assigned to event eE at day dD

otherwise

qtudh={1, 0, if teacher tT is assigned to teach in the academic unit uU at day dD and on shift hH

otherwise

veu={1,0, if event eE has at least one meeting at academic unit uU

otherwise

The second subproblem aims to assign classrooms to events, according to SC01 constraint, in order to reduce academic unit use. Equation 14 presents its objective function. Each academic unit has a penalty associated to its use, as expressed in α|U| vector.

M i n i m i z e u U α u × m u (14)

Hard constraints HC09 to HC13 and soft constraint SC01 are expressed as follows:

r R k r e d p = X e d p e E , d D , p P (15)
e E k r e d p R A r d p r R , d D , p P (16)
j r e d k r e d p r R , e E , d D , p P (17)
N S e . j r e d C a p r e E , r R , d D (18)
r R j r e d 1 e E , d D (19)
q t u d h r R u j r e d e E t , t T , u U , d D , h H (20)
u U q t u d h 1 t T , d D , h H (21)
v e u r R j r e d e E , u U , d D (22)
m u v e u u U , e E (23)

Equation 15 loads the first subproblem results to the second one, because its set of parameters expresses the decision variables of the first, guaranteeing their relationship. Equation 16 assures that a classroom receives only one meeting per slot (HC09), and also complies with the availability of classrooms (HC10). The implication Constraint 17 computes auxiliary variable jred, fundamental to compute other restrictions. Equations 18 and 19 ensure compliance with the constraints HC11 (classroom capacity) and HC12 (events with meetings in the same classroom on the day), respectively. Equation 20 forces the variable qtudh to take value ‘1’ if an event from teacher tT is scheduled in day dD, and in the shift hH. The Equation 21 forces teachers to teach in one academic unit uU on the same day dD and shift hH (HC13). It uses the variable qtduh calculated from the implication Equation 20. Equation 22 calculates the auxiliary variable veu used to compute variable mu in the Equation 23. Variable mu indicates if an academic unit uU has at least one classroom with a meeting assigned, thus allowing the evaluation of constraint SC01 on the Objective Function 14.

4 Computational results

The proposed model was implemented in C++ language using Microsoft Visual Studio 2010 Professional IDE, and solved using IBM ILOG CPLEX Optimization Studio v12.5.1 with default configurations. Experiments were executed using an Intel Core i7-3520M CPU 2.9 GHz, 6GB RAM and Windows 8.1 Pro 64 bits operational system.

Data collected from the first semester of 2013 of a Brazilian federal university were used to test the model, and the timetables used in 2013 were compared with those produced by the model. The university has 120 curricula, 1,688 subjects, 2,674 events, 1,083 teachers, 258 classrooms, and 48 academic units. Meetings were offered in five time periods in the morning from Monday to Saturday, six in the afternoon and four in the evening from Monday to Friday. In order to test the model’s robustness, time periods on Saturday were ignored. Therefore, timetables were generated using five days, with five periods in the mornings, six in the afternoons, and four in the evenings. Table 1 summarizes sets and variable sizes from the tested instance.

Table 1
Set and variable sizes.

4.1 First subproblem results

The first subproblem model aimed to uniformly distribute meetings across the timetable, so that we could minimize classrooms demand and, consequently, academic units. The timetable used in the first semester of 2013 had an unbalanced meeting distribution, as shown in Figure 1a. The greater meeting concentration occurred between Tuesday and Thursday mornings, and in the early afternoon periods of Monday to Thursday. Tuesday’s second morning period was the one with the largest number of meetings: 234. Therefore, the university demanded the same amount of classrooms, in order to assign all meetings. Figure 1b presents results obtained from the proposed model, which shows a more balanced distribution of meetings along the timetable.

Figure 1
Meeting distribution: (a) used by the educational institution, and (b) generated by the model.

The model was executed for each of the three shifts. Table 2 shows running time and objective function value for those shifts. The object function value indicates the greatest meeting concentration of all the time slots of shift.

Table 2
First subproblem results.

We need to partially relax the HC03 constraint for the evening shift's processing (h=2), eliminating the minimum number of daily meetings. Despite the characterization as hard, this constraint is, practically speaking, only desirable. As most of the events demand a minimum of two daily meetings, and considering that evening shifts have only four periods, it is very hard to comply with this constraint, and also it does not allow overlaps between mandatory single event subjects of the same semester of curriculum. Therefore, processing time for this particular instance was short.

These results indicate that the university could use 101 classrooms in the worst case. It represents a 57% reduction in relation to the timetables used in the first semester of 2013 (234 classrooms in the most concentrated time slot).

4.2 Second subproblem results

This second phase was responsible for assigning rooms to each scheduled meeting generated by subproblem 1. Similarly, the second subproblem was executed in each of the three shifts. Table 3 shows running time, objective function values, and assigned academic units for each shift. Table 4 shows the available academic units, amount of classrooms, and related costs. These costs were assigned in decreasing order of preference, so that lower cost units were selected first. The academic unit costs have been assigned so that a combination of units was not equal to any other. Thereby, the possibility that the model produces different academic unit sets for the different shifts is reduced. In the first semester of 2013 this university rented buildings to use for teaching. So, the use of its own academic units was preferred in relation to rented ones that would only be used if necessary.

Table 3
Second subproblem results.
Table 4
Academic unit data.

Timetables produced by the second subproblem resulted in five assigned academic units that, together, have 107 classrooms (sufficient amount to accommodate the 101 simultaneous meetings in the most concentrated time slot). Table 4 shows those academic units marked with an asterisk (*), together they have a combined cost of 730.

5 Conclusions

This research proposed a model for the University Course Timetabling Problem (UCTP), aiming to support managers in creating timetables, and to reduce costs associated with physical space utilization. The model uses linear programming techniques.

Given the size of the problem, and consequently the impossibility to solve it in reasonable computational time with an optimization package, it was divided in two subproblems. In the first, weekly timetables were built disregarding classrooms, aiming to uniformly distribute meetings among the entire timetable. In the second, classrooms were assigned to the meetings of every event, aiming to reduce costs associated with academic units. Additionally, we processed each subproblem separately for the three shifts.

This work shows that it is possible to create feasible timetables that comply with pedagogical requirements, and reduce the classroom demands, decreasing costs. Besides creating feasible timetables, these results can support planning actions for utilizing available space in a university to help better respond to future demands that the educational institution may require.

We noticed that a more balanced distribution of meetings along the weekly timetable leads to classroom demand reduction. In other words, less concentrated time slots contribute to lower classroom demand. Therefore, we reached the main objective of this research, which is to create feasible timetables, and optimize the use of physical spaces. This reduction in classroom demand allowed the managers to avoid rented buildings.

Another important contribution of this study is developing a division strategy for the problem in two phases: timetable construction in the first, and classroom assignment in the second. As shown, timetabling problems have large amounts of variables and constraints, which, depending on the data instance size, make the solution searches rather difficult. Thereby, resource assignment in separate phases – time in the first, and space in the second – is a promising strategy to solve big data instances to be used in other methods.

It was not possible to obtain information on the teachers schedule restrictions, so this study assumed that each teacher was available on all periods of the shift for all their events. Similarly we could not obtain information referring to the usage of physical resources for postgraduation courses which obviously require classrooms for their activities. Thus one could suppose that if the model was executed with all the data it would take longer processing time, and the final results would demand a higher amount of classrooms and units. However, taking into account the efficiency of classroom distribution was 57%, there is a margin so large that, even if these constraints were considered, the gains would remain high.

For future research, we consider the possibility of including the preferences of both teachers and course managers for units, classrooms, weekdays, and periods in the model. We would also suggest using heuristics methods for resolution of the full model (before subproblem division), and of the complete instance (before shift division), in a manner that better solutions could be obtained for the instance presented in this paper as well as for other possibly bigger instances.

  • Financial support: This research was partially supported by the Programa de Excelência Acadêmica (PROEX) of the Coordenação de Aperfeiçoamento de Pessoal de Ensino Superior (CAPES).

Referências

  • Alvarez-Valdes, R., Crespo, E., & Tamarit, J. M. (2002). Design and implementation of a course scheduling system using tabu search. European Journal of Operational Research, 137(3), 512-523. http://dx.doi.org/10.1016/S0377-2217(01)00091-1
    » http://dx.doi.org/10.1016/S0377-2217(01)00091-1
  • Andrade, P. R. L., Scarpin, C. T., & Steiner, M. T. A. (2012). Geração da grade horária do curso de engenharia de produção da UFPR através de programação linear binária. In Anais do 44º Simpósio Brasileiro de Pesquisa Operacional (pp. 1052-1063). Rio de Janeiro: SOBRAPO.
  • Beyrouthy, C., Burke, E. K., Landa-Silva, D., McCollum, B., McMullan, P., & Parkes, A. J. (2007). Towards improving the utilization of university teaching space. The Journal of the Operational Research Society, 60(1), 1-14.
  • Burke, E. K., Mareček, J., Parkes, A. J., & Rudová, H. (2010). Decomposition, reformulation, and diving in university course timetabling. Computers & Operations Research, 37(3), 582-597. http://dx.doi.org/10.1016/j.cor.2009.02.023
    » http://dx.doi.org/10.1016/j.cor.2009.02.023
  • Burke, E., Werra, D., & Kingston, J. (2003). Applications to timetabling. In J. L. Gross & J. Yellen. Graph Theory (chap. 5, pp. 445-474). Boca Raton: CRC Press, 2003.
  • Carter, M. W., & Laporte, G. (1998). Recent developments in practical course timetabling. In E. Burke & M. Carter. Practice and theory of automated timetabling (Vol. 1408, pp. 3-19). Toronto: Springer-Verlag Berlin.
  • Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. (2002). Algoritmos: Teoria e prática (2. Ed.). Rio de Janeiro: Elsevier.
  • Daskalaki, S., Birbas, T., & Housos, E. (2004). An integer programming formulation for a case study in university timetabling. European Journal of Operational Research, 153(1), 117-135. http://dx.doi.org/10.1016/S0377-2217(03)00103-6
    » http://dx.doi.org/10.1016/S0377-2217(03)00103-6
  • Dorneles, A. P., Araújo, O. C. B., & Buriol, L. S. (2012). The impact of compactness requirements on the resolution of high school timetabling problem. In Simpósio Brasileiro de Pesquisa Operacional (pp. 3336-3347). Rio de Janeiro: SOBRAPO.
  • Gunawan, A., Ng, K. M., & Poh, K. L. (2012). A hybridized lagrangian relaxation and simulated annealing method for the course timetabling problem. Computers & Operations Research, 39(12), 3074-3088. http://dx.doi.org/10.1016/j.cor.2012.03.011
    » http://dx.doi.org/10.1016/j.cor.2012.03.011
  • Kahar, M. N. M., & Kendall, G. (2010). The examination timetabling problem at Universiti Malaysia Pahang: Comparison of a constructive heuristic with an existing software solution. European Journal of Operational Research, 207(2), 557-565. http://dx.doi.org/10.1016/j.ejor.2010.04.011
    » http://dx.doi.org/10.1016/j.ejor.2010.04.011
  • Kripka, R. M. L., Kripka, M., & Silva, M. C. (2011). Formulação para o problema de alocação de salas de aula com minimização de deslocamentos. In Anais do 43º Simpósio Brasileiro de Pesquisa Operacional (pp. 1941-1951). Ubatuba: SOBRAPO.
  • Mccollum, B. (2007). A perspective on bridging the gap between theory and practice in university timetabling. In: E. K. Burke & H. Rudová. In Practice and Theory of automated timetabling VI (Vol. 3867, pp. 3-23). Berlin: Springer-Verlag.
  • Miranda, J. (2010). eClasSkeduler: a course scheduling system for the executive education unit at the Universidad de Chile. Interfaces, 40(3), 196-207. http://dx.doi.org/10.1287/inte.1090.0485
    » http://dx.doi.org/10.1287/inte.1090.0485
  • Murray, K., Müller, T., & Rudová, H. (2007). Modelling and solution of a complex university course timetabling problem. In E. K. Burke & H. Rudová. Lecture notes in computer science (Vol. 3867, pp. 189-209). Berlin: Springer-Verlag.
  • Pongcharoen, P., Promtet, W., Yenradee, P., & Hicks, C. (2008). Stochastic optimisation tool for university course scheduling. International Journal of Production Economics, 112(2), 903-918. http://dx.doi.org/10.1016/j.ijpe.2007.07.009
    » http://dx.doi.org/10.1016/j.ijpe.2007.07.009
  • Rudová, H., Müller, T., & Murray, K. (2011). Complex university course timetabling. Journal of Scheduling, 14(2), 187-207. http://dx.doi.org/10.1007/s10951-010-0171-3
    » http://dx.doi.org/10.1007/s10951-010-0171-3
  • Santos, H. G., Uchoa, E., Ochi, L. S., & Maculan, N. (2012). Strong bounds with cut and column generation for class-teacher timetabling. Annals of Operations Research, 194(1), 399-412. http://dx.doi.org/10.1007/s10479-010-0709-y
    » http://dx.doi.org/10.1007/s10479-010-0709-y
  • Sarin, S. C., Wang, Y., & Varadarajan, A. (2010). A university-timetabling problem and its solution using Benders’ partitioning: a case study. Journal of Scheduling, 13(2), 131-141. http://dx.doi.org/10.1007/s10951-009-0157-1
    » http://dx.doi.org/10.1007/s10951-009-0157-1
  • Schaerf, A. (1999). A survey of automated timetabling. Artificial Intelligence Review, 13(2), 87-127. http://dx.doi.org/10.1023/A:1006576209967
    » http://dx.doi.org/10.1023/A:1006576209967
  • Tripathy, A. (1984). School timetabling: a case in large binary integer linear programming. Management Science, 30(12), 1473-1489. http://dx.doi.org/10.1287/mnsc.30.12.1473
    » http://dx.doi.org/10.1287/mnsc.30.12.1473
  • Werra, D. (1997). The combinatorics of timetabling. European Journal of Operational Research, 96(3), 504-513. http://dx.doi.org/10.1016/S0377-2217(96)00111-7
    » http://dx.doi.org/10.1016/S0377-2217(96)00111-7

Publication Dates

  • Publication in this collection
    06 Feb 2017
  • Date of issue
    Jan-Apr 2017

History

  • Received
    14 Mar 2015
  • Accepted
    30 June 2015
Universidade Federal de São Carlos Departamento de Engenharia de Produção , Caixa Postal 676 , 13.565-905 São Carlos SP Brazil, Tel.: +55 16 3351 8471 - São Carlos - SP - Brazil
E-mail: gp@dep.ufscar.br