Abstract
Before starting the subsequent academic year, the management staff from each organizational unit (faculty, department, research unit, etc.) must solve the university course timetabling problem (UCTP). UCTP belongs to the class of NP-difficult computational problems, thus its optimal solution becomes a challenge, even for small organizational units. Additionally, the process of searching for solutions is complicated by the need to take account of additional constraints resulting from local conditions, teachers’ and students’ preferences, etc. as well as held limited resources. For the management of a given organizational unit at the university, at the beginning of this process, it is important to find an answer to the question: are we able, given the held resources and existing constraints, to find any UCTP problem solution? Only in the next step we can consider finding an optimum solution according to the selected criterion. It seems that every missing resource can be supplemented (acquired, rented, modified etc.). It is a well-known fact from practice that the greatest problem is related to supplementing the missing competences of academic teachers. You can hire new teachers, already employed teachers can acquire new missing competences or you can manage the available set of competences in a different way. However, the solution to this problem (competences configuration) is key even before solving UCTP.
The article presents the data-driven based approach to modeling and solving the academic teachers’ competences configuration problem for the university’s organizational units of various sizes.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
The task of arranging the student and teacher course timetable in an optimal manner is not a simple or fast problem. Difficulties result, first of all, from using limited resources which are: the number of rooms and laboratories, number of teachers, or number of hours available in the given semester etc. Additionally, there is the need to take account of many competing interests reported by both the students and the teachers. Formally, the above problem is classified as University Course Timetabling Problem (UCTP) and recognized as a problem of operation research (OR). Owing to the computational complexity, UCTP belongs to NP-complete problems i.e. no effective algorithm for its solution is known. For this reason, artificial intelligence methods (AI), heuristics, hybrid methods etc. are very often applied for the solution UCTP. On the very general level, UCTP can be defined as the allocation of student groups and teachers to the courses and lecture halls/laboratories in certain time intervals (time-slots). Additionally, the received allocation needs to take account of the availability of each resource (lecture halls, teachers, equipment etc.) as well as fulfill a lot of various constraints. These are both resource – and time-related constraints, disjunctive constraints and additional constraints resulting from local conditions, university regulations and preferences of both teachers and students.
In many UCTP models presented in the subject literature (Sect. 2), it is assumed that the resources, though limited, are available and their number is known, allowing UCTP to be solved. This usually results from long-term practice of arranging the schedules, using last year’s data as well as support for this process from IT tools. It is also assumed that any possible obtained solution will be an acceptable solution and not the optimal one. If, despite that, it is not possible to find even an acceptable solution, and additionally the recruitment has been very successful (more candidates have been recruited than in the previous year), the solution seems obvious. Any missing resources should be obtained (expanded, bought, rented, etc.).
However, this is not always easy and possible to be achieved in such a short time (usually during the summer break); particularly, if lecturers with specific competences (specializations) are not available. An additional difficulty in this area is the fact that in many countries tertiary education has been changing in recent years. More flexible curricula and study forms appear. Many courses and specializations can be selected, which annually results in very variable demand for specific competences of lecturers.
In this context two major questions appear which the managers of the university’s organizational unit must answer. First: does our set of teachers’ competences guarantee finding an UCTP solution? Second, if our set of competences does not guarantee finding a solution to then: What competences are missing and in which quantity? In order to obtain an answer to this and other questions from this area, the teachers’ competences configuration problem and a model proposed for it have been formulated (Sect. 3 Appendix A). Its place and link to UCTP have been presented in Fig. 1.
The main contribution of the presented research is to propose a new version of the proprietary competence configuration model and the use of a modified hybrid approach (data-driven approach) to solve it. The proposed model is a significant extension of the proprietary model from the first stage of research [1]. A significant innovation is that the model includes logical constraints (Sect. 3) and its implementation is possible using the data-driven approach in the proprietary framework (Sect. 4 Fig. 3). Finding a solution to this problem (obtaining answers to the above questions) may save time and result in appropriate actions being taken even before solving UCTP.
2 Literature Review
Timetabling problem was described in the subject literature for the first time in [2]. It was a relatively simple problem, under which only three data collections were considered: (i) classes (ii) teachers and (iii) timeslots. Since then, the timetabling problem has been the subject of interest of many researchers and practitioners [3]. Many options, classes and sub-classes of this problem have also been developed. One of them is UCTP (University Course Timetabling Problem). A fragment of timetabling problem classification has been presented in Fig. 2.
Over the years, many methods, algorithms and approaches have been developed to modeling and solving variety of UCTPs.
The most important of them include: (a) operational research (OR) methods based on Integer/Mixed Integer Linear programming (IP/MILP), (b) metaheuristic methods, such as Evolutionary and Genetic Algorithms (E&GAs), Ant Colony Optimization (ACO), Case Base Reasoning method (CBR), Tabu Search Algorithm (TS), Partial Swarm Optimization (PSO), Simulated annealing (SA), Variable Neighborhood Search (VNS), etc., (c) methods and techniques of constraint programming (CP) and constraint logic programming (CLP), (d) multi-agent methods and (e) hybrid methods [4,5,6,7].
Practically, the academic teacher competences configuration problem has not been considered in any of the presented in literature approaches; it has been assumed that the set of academic teacher competences is definite and available prior to modeling and solving an UCTP or a similar problem. In the case of difficulties in finding solutions caused by constrained resources, in practice the number and availability of all resources increases. Such an action is often effective but this result in excessive resource involvement and increased costs.
3 Academic Teachers’ Competences Configuration Problem
After finishing the recruitment and the academic year, organization of the following academic year is planned, this includes division into student groups, specialties, determination of the teaching quotas (loads) for the teachers as well as an initial approach to UCTP. One of key elements of these actions is answer the question: Do we have the appropriate set of teachers with specific competences? This question applies to each organizational unit of the university. The answer is a solution of the specified problem which has been formulated as academic teachers’ competences configuration problem (ATCCP).
Formalization of this problem assumes that in the given organizational unit, academic teachers are employed T = {a1, …, ai, …, aZC} where ZC – number of academic teachers employed in the unit. Each of the academic teacher a has a certain teaching load allocated Fa i.e. the minimum number of hours to be realized in the given period (semester, academic year etc.). For instance, according to the valid law at Polish universities the teaching load is most often: 150, 240, or 360 h per academic year. In practice many academic teacher teach courses in the number of hours exceeding their teaching load. For this reason, Wa coefficient has been introduced. If Wa = 1, this means that academic teacher a agrees to teach classes in the number of hours exceeding the teaching load (otherwise Wa = 0). WSP coefficient has also been introduced, which determines by which percent an academic teacher’s teaching load can be exceeded without the need to obtain his or her consent (currently it is 15%). Certain types of courses are allocated to the given organizational unit (different forms for the given courses: lecturers, projects, laboratory classes etc.) C = {b1,…, bj, …, bZT} where ZT – number of types of classes in particular courses assigned to the organizational unit. Each type of courses b has a specified number of hours Hb in which it is realized. In addition, for all courses the number of student groups Gb is defined. Academic teacher of a given unit have certain qualifications (competences) to teach certain types of courses (coefficient Zb,a = 1 means that academic teacher a, without any further training, courses or postgraduate studies, etc. may offer courses b, otherwise Zb,a = 0).
The mathematical model for ATCCP has been formulated in the form of a MILP model (Appendix A). Table A2 presents the description of parameters, indexes and decision variables of the model. Table A1 presents the description of main constraints. The function minimizing the number of missing the academic teachers’ competences has been adopted as the objective function (A2).
An important element of the presented model is introducing logical constraints C_Log1, C_Log2 and C_Log3. The constraint C_Log1 formalized as (L1), (L2), (L3) specifies that teacher a should teach all student groups in course b or not teach it at all.
The constraint C_Log2 (L4, L5, L6) forces the situation that if teacher a teaches course b1, then they must teach course b2.
The last of the logical constraints, C_Log3, formalized using (L7, L8, L9) determines the situation when, if the given course b is taught by teacher a1, it cannot be, even partially, taught by teacher a2. This, of course, does not prevent this course from being taught jointly by teacher a1 and another one (apart from a2).
The presented sample logical constraints result from situations existing in practice. They result from local, organizational and personal conditions. Of course, many more logical constraints may be introduced in a similar way, which will affect ATCCP.
4 Data-Driven Approach to Modeling and Solving ATCCP
Due to the great computational complexity of ATCCP (NP-complete) the author’s proprietary data-driven approach has been proposed for its implementation, which is a significant extension and generalization of the hybrid approach [8].
The idea of the hybrid approach consisted in the transformation of individual constraints and objective functions and was applied directly to a given model. Each new modeled problem required the development of a new dedicated method of transformation, which involved, among others, the need to modify predicates, facts, etc. The proposed data-driven approach is based on the generalized reduction algorithm and the data instances of the modeled problem. It is universal and can be used for any problem, regardless of its constraints, objective functions, etc.
The general scheme of the proposed data-driven approach has been presented in Fig. 3.
It is based on problem data representation as facts [8, 9]. The structure of the data facts for ATCCP is shown in Fig. 4. The key element in the proposed approach is the reduction algorithm which transforms MILP model into MILPR model. In simplified terms, this algorithm operates as follows. For each constraint, the model finds such data facts the attributes of which are a sub-set of the constraint attributes (parameters). If a row does not exist for the values of these attributes in the given data fact, this constraint is removed from the model. By analogy, the algorithm removes those variables from the constraints for which the parameter/coefficient values at the variables do not exist in the respective data facts. In other words, the algorithm, on the basis of a set of facts and MILP model, generates a new MILPR model with a reduced number of constraints and decision variables. MILPR model is solved by any MP-solver [10].
5 Computational Experiments and Results
The paper presents the problem concerning academic teacher’ competences configuration. A formal model with logical constraints has been proposed for this problem (A1..A10, L1..L9). The proposed model has been implemented using approaches based on mathematical programming (MILP model) and data-driven (MILPR model) using data facts from Appendix B.
Computational experiments were carried out for both approaches for selected organizational units (chair, department, and faculty). Examples P1..P7 refer to the model with no logic constraints (A1..A10), while examples P1a..P7a to the logical constraint model (A1..A10, L1..L9). The solution of the two models provides information on the minimum number of the missing competences for particular academic teachers (Ub,a). In addition, we obtain the initial allocation (Xb,a) of the teachers to the classes which meets the constraints related to the teaching load for different academic teachers as well logical constraints. ATCCP solution significantly simplifies and accelerates UCTP solving by initial elimination of many allocations and determination of values for some decision variables. It is also useful for the university’s personnel-accounting services responsible for settlement of employees’ teaching loads. Analyzing the problem of computational outlays for solving ATCCP, it is clearly noticeable that the application of data-driven approach (Table 1) has shortened the calculation time by a tier for the model with no logical constraints and by two tiers for the model with logical constraints as compared to the application of MP-solver. For all experiments we used LINGO MP-solver [11] and a PC Intel core (TM2), 2.4 GHz, 4 GB RAM.
6 Conclusions
The paper presents a modified version of an ATCCP that takes into account logical constraints. The modified (data-driven) solving method has also been proposed, which is the development and generalization of the original hybrid approach [8]. With the proposed data-driven approach, it is possible to solve larger size problems in a shorter (acceptable) time. It is obvious that its application does not decrease computational complexity of the problem but reduces the model dimensions enough to keep it sufficient in practical applications. The ATCCP solution allows for optimal management of teachers’ competences and finding preliminary assignments of teachers to courses. What’s more, knowledge of these assignments will simplify the UTCP solution.
As part of further research is planned on modeling and solving UCTP integrated with the ATCCP model (Sect. 3, Appendix A). It is also planned to adapt this model to problems related to competences configuration from the production, logistics, vehicle routing problems and supply chain areas [12,13,14,15,16].
References
Wikarek, J.: Lecturers’ competences configuration model for the timetabling problem. In: Ganzha, M., Maciaszek, L., Paprzycki, M. (eds.) Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, ACSIS, vol. 15, pp. 441–444 (2018). http://dx.doi.org/10.15439/2018F143
Gotlib, C.C.: The construction of class-teacher timetables. Proc. IFIP Cong. 62, 73–77 (1963)
Babaei, H., Karimpour, J., Hadidi, A.: A survey of approaches for university course timetabling problem. Comput. Ind. Eng. 86, 43–59 (2015)
Redl, T.A.: A study of university timetabling that blends graph coloring with the satisfaction of various essential and preferential conditions. Ph.D. Thesis, Rice University, Houston, Texas (2004)
Asmui, H., Burke, E.K., Garibaldi, J.M.: Fuzzy multiple heuristic ordering for course timetabling. In: The proceedings of the 5th United Kingdom Workshop on Computational Intelligence (UKCI05), London, UK, pp. 302–309 (2005)
Abdullah, S., Burke, E.K., McCollum, B.: Using a randomised iterative improvement algorithm with composite neighbourhood structures for the university course timetabling problem. In: Doerner, K.F., Gendreau, M., Greistorfer, P., Gutjahr, W., Hartl, R.F., Reimann, M. (eds.) Metaheuristics. ORSIS, vol. 39, pp. 153–169. Springer, Boston, MA (2007). https://doi.org/10.1007/978-0-387-71921-4_8
Mühlenthaler, M.: Fairness in academic course timetabling. In: Mühlenthaler, M. (ed.) Fairness in academic course timetabling. LNE, vol. 678, pp. 75–105. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-12799-6_3
Sitek, P., Wikarek, J.: A hybrid programming framework for modeling and solving constraint satisfaction and optimization problems. Sci. Program. 2016 (2016). Article ID 5102616. https://doi.org/10.1155/2016/5102616
Sitek, P., Wikarek, J.: A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution. Appl. Intell. 48, 1344–1367 (2018). https://doi.org/10.1007/s10489-017-1107-9
Schrijver, A.: Theory of Linear and Integer Programming. Wiley, Hoboken (1998). ISBN 0- 471-98232-6
Home LINDO. www.lindo.com. Accessed 20 Dec 2018
Zwolińska, B., Grzybowska, K.: Shaping production change variability in relation to the utilized technology. In: 24th International Conference on Production Research (ICPR 2017), pp. 51–56 (2017). ISBN 978-1-60595-507-0, ISSN 2475-885X
Nielsen, I., Dang, Q.-V., Nielsen, P., Pawlewski, P.: Scheduling of mobile robots with preemptive tasks. In: Omatu, S., Bersini, H., Corchado, J.M., Rodríguez, S., Pawlewski, P., Bucciarelli, E. (eds.) Distributed Computing and Artificial Intelligence, 11th International Conference. AISC, vol. 290, pp. 19–27. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07593-8_3
Bocewicz, G., Nielsen, I., Banaszak, Z.: Production flows scheduling subject to fuzzy processing time constraints. Int. J. Comput. Integr. Manuf. 29(10), 1105–1127 (2016). https://doi.org/10.1080/0951192X.2016.1145739
Sitek, P., Wikarek, J.: Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD) – model and implementation using hybrid approach. Ann. Oper. Res. 273, 257–277 (2017). https://doi.org/10.1007/s10479-017-2722-x
Kłosowski, G., Gola, A., Świć, A.: Application of fuzzy logic in assigning workers to production tasks. Distributed Computing and Artificial Intelligence, 13th International Conference. AISC, vol. 474, pp. 505–513. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40162-1_54
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendices
Appendix A
Appendix B Data for Examples P1 and P1a
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Wikarek, J., Sitek, P. (2019). A Data-Driven Approach to Modeling and Solving Academic Teachers’ Competences Configuration Problem. In: Nguyen, N., Gaol, F., Hong, TP., Trawiński, B. (eds) Intelligent Information and Database Systems. ACIIDS 2019. Lecture Notes in Computer Science(), vol 11431. Springer, Cham. https://doi.org/10.1007/978-3-030-14799-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-030-14799-0_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-14798-3
Online ISBN: 978-3-030-14799-0
eBook Packages: Computer ScienceComputer Science (R0)