automatic timetable generator
automatic timetable generator
INTRODUCTION ..........................................................................................................................
1
1.1. BACKGROUND STATEMENT ..................................................................................... 1
1.2. STATEMENT OF THE PROBLEM ............................................................................... 2
1.3. AIM AND OBJECTIVES OF RESEARCH .................................................................... 2
1.4. RESEARCH METHODOLOGY ..................................................................................... 3
1.5. SCOPE OF THE STUDY ................................................................................................ 4
1.6. SIGNIFICANCE OF THE STUDY ................................................................................. 4
1.7. LIMITATIONS ................................................................................................................ 4
1.8. RESEARCH OUTLINE ................................................................................................... 5
CHAPTER
TWO ............................................................................................................................ 6
REVIEW OF RELEVANT LITERATURE ................................................................................... 6
2.1. INTRODUCTION ............................................................................................................ 6
2.2. REVIEW OF RELEVANT EXISTING THEORIES AND TECHNOLOGIES ............. 7
2.3. TIMETABLING AS AN NP-COMPLETE PROBLEM ................................................. 8
CHAPTER THREE ...................................................................................................................... 11
SYSTEM ANALYSIS AND DESIGN ......................................................................................... 13
3.1. INTRODUCTION .......................................................................................................... 13
3.2. THE EXISTING SYSTEM ............................................................................................ 13
3.2.1. REVIEW OF THE EXISTING SYSTEM .............................................................. 13
3.2.2. ADVANTAGES OF THE EXISTING SYSTEM .................................................. 14
3.2.3. LIMITATIONS OF THE EXISTING SYSTEM .................................................... 14
3.3. THE PROPOSED SYSTEM .......................................................................................... 14
3.3.1. REVIEW OF THE PROPOSED SYSTEM ............................................................ 14
3.3.2. ADVANTAGES OF THE PROPOSED SYSTEM ................................................ 14
3.3.3. LIMITATIONS OF THE PROPOSED SYSTEM .................................................. 15
3.4. SYSTEMS DESIGN ...................................................................................................... 16
3.5. MODELLING THE SYSTEM....................................................................................... 16
3.5.1. UML (UNIFIED MODELLING LANGUAGE) MODELLING ........................... 16
3.6. FILES DESIGN.............................................................................................................. 29
3.7 A BRIEF HISTORY OF GENETIC ALGORITHM
3.7.1. GENETIC ALGORITHMS .................................................................................... 35
3.7.2. METHODS OF REPRESENTATION ................................................................... 37
3.7.3. METHODS OF SELECTION ................................................................................ 38
i
3.7.4. METHODS OF CHANGE ..................................................................................... 40
3.7.5. STRENGTHS OF GENETIC ALGORITHMS ...................................................... 41
3.7.6. LIMITATIONS OF GENETIC ALGORITHMS ................................................... 46
3.7.7. APPLICATION OF GENETIC ALGORITHMS IN THIS RESEARCH ..................... 50
ii
LIST OF FIGURES
iii
LIST OF TABLES
Table 3.1. Hall Table
Table 3.2. Programs Table
Table 3.3. Buildings Table
Table 3.4. Lecturers Table
Table 3.5. Buildings Table
Table 3.6. Buildings Table
iv
ABSTRACT
Scheduling course timetables for a large array of courses is a very complex problem which
often has to be solved manually by the center staff even though results are not always fully
optimal. Timetabling being a highly constrained combinatorial problem, this work attempts to
put into play the effectiveness of evolutionary techniques based on Darwin’s theories to solve
the timetabling problem if not fully optimal but near optimal.
Genetic Algorithm is a popular meta-heuristic that has been successfully applied to many hard
combinatorial optimization problems which includes timetabling and scheduling problems. In
this work, the course sets, halls and time allocations are represented by a multidimensional
array on which a local search is performed and a combination of the direct representation of
the timetable with heuristic crossover is made to ensure that fundamental constraints are not
violated.
Finally, the genetic algorithm was applied in the development of a viable timetabling system
which was tested to demonstrate the variety of possible timetables that can be generated
based on user specified constraint and requirements.
v
CHAPTER ONE
INTRODUCTION
A critical factor in running a university or essentially an academic environment is the need for
a well-planned and clash-free timetable. Back in the times when technology was not in wide
use, academic timetables were manually created by the educational center staff.
Every year, JUIT face the rigorous task of drawing up timetables that satisfies the various
courses and their respective examinations being offered by the different department. The
difficulty is due to the great complexity of the construction of timetables for lectures and
exams, due to the scheduling size of the lectures and examinations periods and the high
number of constraints and criteria of allocation, usually circumvented with the use of little
strict heuristics, based on solutions from previous years.
A timetable management system is designed and created to handle as much course data as fed
while ensuring the avoidance of redundancy.An educational timetable must meet a number of
requirements and should satisfy the desires of all entities involved simultaneously as well as
possible. The timing of events must be such that nobody has more than one event at the same
time.
The proposed timetabling system is designed to handle events of course lectures offered at
JUIT.
Based on the above event, the system would have only one module which is the Course
Lecture Timetable Module.
1
1.2. PROBLEMSTATEMENT
The systems available currently can build or generate a set of timetables, but still have issues
with generating a clash-free and complete timetable. The tedious tasks of data introduction
and revision of usually incomplete solutions are the bottleneck in these cases. JUIT (most
educational institutions) have resorted to manual generation of their timetables which
according to statistics takes over a month to get completed and optimal. Even at the optimal
stage of the manually generated timetable, there are still a few clashes and it is the lecturer
that takes a clashing course that works out the logistics of the course so as to avoid the clash.
1.3. OBJECTIVE
The literature on and implementation of educational timetabling problems is quite scattered.
Different research papers that have been brought out on timetabling may refer to the same
type of institution but they mostly deal with different kinds of assignments, i.e., decisions like
the timing of events, sectioning students into groups, or assigning events to locations.
Moreover, each institution has its own characteristics which are reflected in the problem
definition. Yet, there have been no leveling grounds for developing a system that can work
for most of these institutions.
The aim of this work is the generation of course schedules while demonstrating the possibility
of building these schedules automatically through the use of computers in such a way that
they are optimal and complete with little or no redundancythrough the development of a
viable lecture timetabling software.
The primary objective is to be able to optimize the algorithm used in today’s timetable
systems to generate the best of timetabling data with fewer or no clashes.
The secondary objective is to expand the scope of timetable automation systems by making it
generic thereby bringing about uniformity in the creation of timetables as it applies to
different universities or educational institutions i.e. will be able to generate timetables that fit
the requirements of any academic institution.
2
1.4. RESEARCH METHODOLOGY
This research is concerned with the problem of constructing timetables for JUIT. JUIT
timetable construction problems are interesting objects to study because neither modeling nor
solving them is straightforward. It is difficult to make a clear-cut distinction between
acceptable and not acceptable timetables. Because of the large diversity in acceptance criteria,
realistic timetable construction problems are multidimensional. Each dimension may
introduce its own characteristic aspects that add to the complexity of the problem. Therefore,
only heuristic solution approaches without known performance guarantees are practically
feasible.
As a result of the large data input a timetable management system is supposed to handle, a
linear method or algorithm cannot be employed to handle such validation and generation,
hence the usage of a heuristic method. The heuristic method to be used in this study is the
genetic algorithm. The genetic algorithm is one that seeks to find the most optimal solutions
where the search space is great and conventional methods is inefficient.; it works on a basis
of the Darwinian evolution theory.
3
• Stress in creating timetable manually will be greatly reduced as output would be
automated.
• The system will save time.
• Productivity will be improved.
• The system can be revised i.e. its backend can be revised.
1.7. LIMITATIONS
Below are some of the limitations that may hinder the functionalities of the system:
• Unserious collaborative work from staffs in the various departments.
• Incomplete data from data collaborators.
• Wrong data input by technical user: the system will only work with data supplied;
hence wrong data input might have to be edited manually.
• Wrong constraints specification.
• Low system memory capacity.
CHAPTER TWO
4
REVIEW OF RELEVANT LITERATURE
2.1. INTRODUCTION
A Timetable or schedule is an organized list, usually set out in tabular form, providing
information about a series of arranged events: in particular, the time at which it is planned
these events will take place. They are applicable to any institution where activities have to be
carried out by various individuals in a specified time frame. From the time schools became
organized environments, timetables have been the framework for all school’s activities. As a
result, schools have devoted time, energy and human capital to the implementation of nearly
optimal timetables which must be able to satisfy all requirements constraints as specified by
participating entities.
The class lecture timetabling problem is a typical scheduling problem that appears to be a
tedious job in JUIT twice a year. The problem involves the scheduling of classes, students,
teachers and rooms at a fixed number of time-slots, subject to a certain number of constraints.
An effective timetable is crucial for the satisfaction of educational requirements and the
efficient utilization of human and space resources, which make it an optimization problem.
Traditionally, the problem is solved manually by trial and hit method, where a valid solution
is not guaranteed. Even if a valid solution is found, it is likely to miss far better solutions.
These uncertainties have motivated for the scientific study of the problem, and to develop an
automated solution technique for it. The problem is being studied for last more than four
decades, but a general solution technique for it is yet to be formulated.
The automated timetabling and scheduling is one of the hardest problem areas already proven
to be NP-Complete and it is worthy of note is that as educational institutions are challenged
to grow in number and complexity, their resources and events are becoming harder to
schedule, hence the choice of this project topic which entails investigating the performance of
Genetic Algorithm on the optimality of timetabling problems under predefined constraints.
2.2. REVIEW OF RELEVANT EXISTING THEORIES AND TECHNOLOGIES
Solutions to timetabling problems have been proposed since the 1980s. Research in this area
is still active as there are several recent related papers in operational research and artificial
intelligence journals. This indicates that there are many problems in timetabling that need to
5
be solved in view of the availability of more powerful computing facilities and advancement
of information technology.
The problem was first studied by Gotlieb (1962), who formulated a class-teacher timetabling
problem by considering that each lecture contained one group of students, one teacher, and
any number of times which could be chosen freely. Since then the problem is being
continuously studied using different methods under different conditions. Initially it was
mostly applied to schools. Since the problem in schools is relatively simple because of their
simple class structures, classical methods, such as linear or integer programming approaches
could be used easily. However, the gradual consideration of the cases of higher secondary
schools and universities, which contain different types of complicated class-structures, is
increasing the complexity of the problem. As a result, classical methods have been found
inadequate to handle the problem, particularly the huge number of integer and/or real
variables, discrete search space and multiple objective functions.
This inadequacy of classical methods has drawn the attention of the researchers towards the
heuristic-based non-classical techniques. Worth mentioning non-classical techniques that are
being applied to the problem are genetic algorithms, neural network and tabular search
algorithm. However, compared to other non-classical methods, the widely used are the
genetic/evolutionary algorithms (GAs/EAs). The reason might be their successful
implementation in a wider range of applications. Once the objectives and constraints are
defined, EAs appear to offer the ultimate free lunch scenario of good solutions by evolving
without a problem solving strategy.
Since 1995, a large amount of timetabling research has been presented in the series of
international conferences on Practice and Theory of Automated Timetabling (PATAT). Papers
on this research have been published in conference proceedings, see e.g., (Burke & Carter,
1997) and (Burke & Erben, 2000), and three volumes of selected papers in the Lecture
Notes in Computer Science series, see (Burke & Ross, 1996), (Burke & Carter, 1998), and
(Burke &Erben, 2001). Additionally, there is a EURO working group on automated
timetabling (EURO-WATT) which meets once a year regularly sends out a digest via e-mail,
and maintains a website with relevant information on timetabling problems, e.g., a
bibliography and several benchmarks.
6
Fang (1994), in his doctoral thesis, investigates the use of genetic algorithms to solve a group
of timetabling problems. He presents a framework for the utilization of genetic algorithms in
solving of timetabling problems in the context of learning institutions. This framework has
the following important points, which give you considerable flexibility: a declaration of the
specific constraints of the problem and use of a function for evaluation of the solutions,
advising the use of a genetic algorithm, since it is independent of the problem, for its
resolution.
Gröbner (1997) presents an approach to generalize all the timetabling problems, describing
the basic structure of this problem. Gröbner proposes a generic language that can be used to
describe timetabling problems and its constraints.
Chan (1997) discusses the implementation of two genetic algorithms used to solve
classteacher timetabling problem for small schools.
Oliveira (Oliveira and Reis, 2000) presents a language for representation of the timetabling
problem, the UniLang intends to be a standard suitable as input language for any timetabling
system. It enables a clear and natural representation of data, constraints, quality measures and
solutions for different timetabling (as well as related) problems, such as school timetabling,
university timetabling and examination scheduling.
Eley (2006) in PATAT'06 presents a solution to the exam timetable problem, formulating it as
a problem of combinatorial optimization, using algorithms Ant, to solve.
Analyzing the results obtained by the various works published, we can say what the automatic
generation of schedules is capable of achieving. Some works show that when compared with
the schedules manuals in institutions of learning real, the times obtained by the algorithms for
7
solving the class-teacher timetabling problem are of better quality, since, uses some function
of evaluation.
There are two main problems in timetabling. The first one is related to the combinatorial
nature of the problems, where it is difficult to find an optimal solution because it is
impossible to enumerate all nodes in such a large search space. The second one is related to
the dynamic nature of the problems where variables and constraints are changing in
accordance with the development of JUIT. Therefore, a timetabling system must be flexible,
adaptable and portable, otherwise the users will not use the system optimally or even as
decision aids such as for storing, retrieving, and printing timetables, when the timetable
planning decisions are made manually. In addition, JUIT has adopted a semester system
which gives freedom to students to choose subjects provided that all pre-requisites are
satisfied. This situation further complicates the construction of a timetable.
Various techniques have been proposed to solve timetabling problems. These techniques are
neural networks, heuristics, graph coloring, integer programming, genetic algorithms,
knowledge-based, and constraint logic programming. The models formulated by some of
these techniques cannot be easily reformulated or customized to support changes, hence the
selection of the genetic algorithm for the implementation of this project.
8
When solving the timetabling problem, we are usually looking for some solution, which will
be the best among others. The space of all feasible solutions (series of desired solutions with
some more desirable than others) is called search space (also state space). Each point in the
search space represents one feasible solution which can be "marked" by its value or fitness
for the problem. The solution is usually one point in the search space.
As a result of comparative fact finding and exhaustive study of existing systems, Genetic
Algorithms have been the most prominently used in generating near-optimal solutions to
timetabling problems, hence its usage in the implementation of this project.
The next important development in the field came in 1966, when L.J. Fogel, A.J. Owens and
M.J. Walsh introduced in America a technique they called evolutionary programming. In this
method, candidate solutions to problems were represented as simple finite-state machines;
like Rechenberg's evolution strategy, their algorithm worked by randomly mutating one of
these simulated machines and keeping the better of the two (Mitchell, 1996; Goldberg, 1989).
Also like evolution strategies, a broader formulation of the evolutionary programming
9
technique is still an area of ongoing research today. However, what was still lacking in both
these methodologies was recognition of the importance of crossover.
As early as 1962, John Holland's work on adaptive systems laid the foundation for later
developments; most notably, Holland was also the first to explicitly propose crossover and
other recombination operators. However, the seminal work in the field of genetic algorithms
came in 1975, with the publication of the book Adaptation in Natural and Artificial Systems.
Building on earlier research and papers both by Holland himself and by colleagues at the
University of Michigan, this book was the first to systematically and rigorously present the
concept of adaptive digital systems using mutation, selection and crossover, simulating
processes of biological evolution, as a problem-solving strategy. The book also attempted to
put genetic algorithms on a firm theoretical footing by introducing the notion of schemata.
That same year, Kenneth De Jong's important dissertation established the potential of GAs by
showing that they could perform well on a wide variety of test functions, including noisy,
discontinuous, and multimodal search landscapes).
10
CHAPTER THREE
3.1. INTRODUCTION
System Analysis is the study of a business problem domain to recommend improvements and
specify the business requirements and priorities for the solution. It involves the analyzing and
understanding a problem, then identifying alternative solutions, choosing the best course of
action and then designing the chosen solution.
It involves determining how existing systems work and the problems associated with existing
systems. It is worthy to note that before a new system can be designed, it is necessary to
study the system that is to be improved upon or replaced, if there is any.
These courses are usually taught by varied lecturers in different departments who may also
wish to specify some timing constraints on their courses. Given all the courses and course
details, the academic staff is charged with the responsibility of creating a near optimal
timetable which would serve as a guide for academic activities in the university.
The traditional manual timetabling system is time-consuming, resource-intensive, involves
many steps and requires re-processing the same data several times.
11
3.2.2. ADVANTAGES OF THE EXISTING SYSTEM
The timetable generation process by the education center staff is:
Subjective and can be made better through collaboration with the different entities
involved.
12
3.3.2. ADVANTAGES OF THEPROPOSED SYSTEM
The timetable generation process by the academic staff is:
• Unlike the manual timetabling system, the system offers flexibility.
• It utilizes minimal processing/computing power.
• It greatly reduces the time needed to generate near-optimal timetables.
• It provides an easy means for data entry and revision through an intuitive interface.
• It increases productivity.
• Timetables generated are between to 60% - 80% optimum.
• It almost eliminates paperwork.
• It simplifies the timetabling process.
13
3.5.1. UML (UNIFIED MODELLING LANGUAGE) MODELLING
The Unified modeling language is an object-oriented system notation that provides a set of
modeling conventions that is used to specify or describe a software system in terms of
objects. The Unified Modeling Language (UML) has become an object modeling standard
and adds a variety of techniques to the field of systems analysis and development hence its
choice for this project.
UML offers ten different diagrams to model a system. These diagrams are listed below:
• Use case diagram
• Class diagram
• Object diagram
• Sequence diagram
• Collaboration diagram
• State diagram
• Activity diagram
• Component diagram
• Deployment diagram
• Package Diagram
In this project, the Use case diagram, Class diagram, Sequence diagram, Activity diagram,
Collaboration diagram, Component diagram and State diagram will be used for system
modeling.
ACTORS
• User
14
• Timetable System
USE CASES
• Specify Input
• Specify Constraints
• Input Courses
• Input Course Lecturers
• Input Departments
• Input Programs
• Input Halls
• Apply and Verify Constraints
• Crossover Course Allocation
• Mutate Course Allocations
• Random Generation and Course Allocations
• Write To External File
15
Timetabling System
Input Courses
«uses»
«uses»
«uses»
Input Departments
«uses»
User
Input Programs
Input Halls
Specify Constraints
«uses»
Crossover Course
«uses» Allocation
Apply& Verify
Constraints
«extends»
«uses»
«extends»
Write To External
File
Figure 3.1.: Use Case Diagram to show the interaction between the timetabling system and
user
16
3.5.1.2. Class Diagram
A class diagram is an organization of related objects. It gives an overview of a system by
showing its classes and the relationships among them. Class diagrams only display what
interacts but not what happens during the interaction hence they are static diagrams.
CLASSES
• Lecturers
• Buildings
• Halls
• Programs
• Courses
• Levels
• Allocations
• Front End Staff
• Generator Module
• File Writer
17
Figure 3.2.: Class Diagram to show the relationships between the different classes associated
with the system
18
3.5.1.3. Sequence Diagram
A sequence graphically depicts how objects interact with each other via messages in the
execution of a use case or operation. They illustrate how messages are sent and received
between objects and the sequence of message transfer. It also details how operations are
carried out according to the time of operation.
CLASSES
• Front End Staff
• Interface
• Course Allocation
• Generator Module
• Timetable Writer
MESSAGES
• Invoke
• Specify Input
• Input Buildings
• Input Halls
• Input Departments
• Input Programs
• Input Lecturers
• Input Courses
• Specify Timing Constraints
• Specify Other Constraints
• Add Input
• Set. allocations
• Generate Timetable
• Send Generated Timetable
• Print Out Generated Timetable
19
Front End Staff Interface
Invoke
Specify Input
Input Buildings
Input Halls
Input Department
Input Programs Course Allocation Generator Module
Input Lecturers
Input Courses
Specify Timing Constraints
Specify Other Constraints
Add Input
Set Allocations
Generate Timetable
Timetable Writer
Figure 3.3.: Sequence Diagram to show how the different objects interact during the
execution of the system
20
3.5.1.4. Activity Diagram
Activity diagrams graphically depict the sequential flow of activities of either a business
process or a use case. They can also be used to model actions that will be performed when an
operation is executed as well as the results of those actions. They focus on the flow of
activities involved in a single process. The activity diagram shows the how those activities
depend on one another.
SWIMLANES
• Front End User
• Interface
• Timetable Generator Module
• Writer
STATES
• Specify Input
• Specify Constraints
• Collate Input
• Collate Constraints
• Generate Timetable
• Verify Input and Constraints
• Output Timetable to File
GUARD EXPRESSIONS
• Constraints not Satisfied
• Constraints Satisfied
21
Front End User Interface Timetable Generator Writer
Module
Generate Timetable
[Constraints Satisfied
]
[Constraints Not Satisfied
]
Figure 3.4.: Activity Diagram to model the actions and the output of those actions when an
operation is carried out in the system
22
3.5.1.5. State Diagram
State diagrams are used to model the dynamic behavior of a particular object. They illustrate
an object’s life cycle i.e. the various states that an object can assume and the events that cause
the object to move from one state to another.
STATES
• Input
• Randomize
• Crossed
• Mutated
• Verify
• Group
• Output
TRANSITIONS
• User Enters Inputs & Constraints
• Randomize Input
• Verify Input with Constraints
• Crossover Allocations
• Verify Allocations
• Mutate Allocations
• Confirm Allocations
• Write Allocations to File
23
[Mutateocatio]
All ns Mutate
d
[Verifyocatio]
All ns
[User Enters &Constr
nt ]
Inputs ai s
[R ndomize
npu] [Verify Input with ] [C ossoverocatio]
Inpu a I t Ranomiz Constraints Verif r All ns Crosse
t d e y d
[Confirm on ] [Verifyocatio]
Allocati s All ns
[Write onso ]
Alocate Allocati t Fil Outp
l d ut
Figure 3.5.: State Diagram to depict the different states of the system during its execution
24
3.5.1.6. Collaboration Diagram
Collaboration diagrams are similar to sequence diagram but do not focus on the timing or
sequence of messages. Instead they present the interaction between objects in a network
format.
2: Invoke Course
1: Start Interface Randomizer
<<Boundary
>> <<Control>>
<<Control>>
<<Control>> <<Control>>
Writer Module
Mutation Module Crossover Module
3: Verify
Allocations
<<Control>>
<<Entity>>
File
Figure 3.6.: Collaboration Diagram showing the interaction between the objects in the system
25
3.5.1.7. Component Diagram
Component diagrams describe the organization of physical software components, including
source code, run-time (binary) code, and executable.
COMPONENTS
• Input Module
• Randomizer
• Crossover Operator
• Mutation Operator
• Verifier
• File Handler
Verifier (Pascal)
Figure 3.7.: Component Diagram to show the connection between the various software
modules in the system
26
• Halls File: contains the name of the Halls/Rooms that are used in the course
allocations within the program. See Table 3.1.
Hall Input/output
Timetabling System
Hall Data
File
Figure 3.8.: Hall File Processing Diagram showing how the hall configuration file is accessed
by the system.
• Programs File: contains the different programs in the university entered at input. See
Table 3.2.
27
Table 3.2.: Programs Table
This table stores the program names used in the timetable allocations.
Field Type
Program Name String
Program Input/output
Timetabling System
Programs
Data File
Figure 3.9.: Program File Processing Diagram showing how the programs configuration file is
accessed by the system.
• Buildings File: contains the names of the building existing in the school for which the
timetable is to be generated. See Table 3.3.
Building Input/output
Timetabling System
28
Buildings
Data File
Figure 3.10.: Building File Processing Diagram showing how the buildings configuration file is
accessed by the system.
• Lecturers File: contains the names of the Lecturers in the school. See Table 3.4.
Lecturer Input/output
Timetabling System
Lecturers
Data File
Figure 3.11.: Lecturer File Processing Diagram showing how the lecturer’s configuration file is
accessed by the system.
• Departments File: contains all the department names in the university. See Table 3.5.
29
Table 3.5.: Buildings Table
This table stores the building names used in the timetable allocations.
Field Type
Department Name String
Department Input/output
Timetabling System
Department
Data File
Figure 3.12.: Departments File Processing Diagram showing how the department’s
configuration file is accessed by the system.
• Course Codes File: contains all the course codes being offered in the school including
their titles and units. See Table 3.6.
Field Type
Course Code String
Unit Integer
Title String
30
Course Input/output
Timetabling System
Course Data
File
Figure 3.13.: Course File Processing Diagram showing how the course configuration file is
accessed by the system.
The next important development in the field came in 1966, when L.J. Fogel, A.J. Owens and
M.J. Walsh introduced in America a technique they called evolutionary programming. In this
method, candidate solutions to problems were represented as simple finite-state machines;
31
like Rechenberg's evolution strategy, their algorithm worked by randomly mutating one of
these simulated machines and keeping the better of the two. Also like evolution strategies, a
broader formulation of the evolutionary programming technique is still an area of ongoing
research today. However, what was still lacking in both these methodologies was recognition
of the importance of crossover.
As early as 1962, John Holland's work on adaptive systems laid the foundation for later
developments; most notably, Holland was also the first to explicitly propose crossover and
other recombination operators. However, the seminal work in the field of genetic algorithms
came in 1975, with the publication of the book Adaptation in Natural and Artificial Systems.
Building on earlier research and papers both by Holland himself and by colleagues at the
University of Michigan, this book was the first to systematically and rigorously present the
concept of adaptive digital systems using mutation, selection and crossover, simulating
processes of biological evolution, as a problem-solving strategy. The book also attempted to
put genetic algorithms on a firm theoretical footing by introducing the notion of schemata.
That same year, Kenneth De Jong's important dissertation established the potential of GAs by
showing that they could perform well on a wide variety of test functions, including noisy,
discontinuous, and multimodal search landscapes.
33
3. A method for mixing fragments of the better solutions to form new, on average even
better solutions.
4. A mutation operator to avoid permanent loss of diversity within the solutions.
The GA then evaluates each candidate according to the fitness function. In a pool of randomly
generated candidates, of course, most will not work at all, and these will be deleted. However,
purely by chance, a few may hold promise - they may show activity, even if only weak and
imperfect activity, toward solving the problem.
These promising candidates are kept and allowed to reproduce. Multiple copies are made of
them, but the copies are not perfect; random changes are introduced during the copying
process. These digital offspring then go on to the next generation, forming a new pool of
candidate solutions, and are subjected to a second round of fitness evaluation. Those
candidate solutions which were worsened, or made no better, by the changes to their code are
again deleted; but again, purely by chance, the random variations introduced into the
population may have improved some individuals, making them into better, more complete or
more efficient solutions to the problem at hand. Again these winning individuals are selected
and copied over into the next generation with random changes, and the process repeats. The
expectation is that the average fitness of the population will increase each round, and so by
repeating this process for hundreds or thousands of rounds, very good solutions to the
problem can be discovered.
As astonishing and counterintuitive as it may seem to some, genetic algorithms have proven
to be an enormously powerful and successful problem-solving strategy, dramatically
demonstrating the power of evolutionary principles. Genetic algorithms have been used in a
wide variety of fields to evolve solutions to problems as difficult as or more difficult than
those faced by human designers. Moreover, the solutions they come up with are often more
34
efficient, more elegant, or more complex than anything comparable a human engineer would
produce. In some cases, genetic algorithms have come up with solutions that baffle the
programmers who wrote the algorithms in the first place.
The advantage of the three methods above is that they make it easy to define operators
that cause the random changes in the selected candidates: flip a 0 to a 1 or vice versa,
add or subtract from the value of a number by a randomly chosen amount, or change
one letter to another.
35
Figure 3.14.: Three simple program trees of the kind normally used in genetic programming.
The mathematical expression that each one represents is given underneath it.
• Fitness-proportionate selection: More fit individuals are more likely, but not certain,
to be selected.
• Scaling selection: As the average fitness of the population increases, the strength of
the selective pressure also increases and the fitness function becomes more
discriminating. This method can be helpful in making the best selection later on when
all individuals have relatively high fitness and only small differences in fitness
distinguish one from another.
• Rank selection: Each individual in the population is assigned a numerical rank based
on fitness, and selection is based on this ranking rather than absolute difference in
fitness. The advantage of this method is that it can prevent very fit individuals from
gaining dominance early at the expense of less fit ones, which would reduce the
population's genetic diversity and might hinder attempts to find an acceptable
solution.
• Steady-state selection: The offspring of the individuals selected from each generation
go back into the pre-existing gene pool, replacing some of the less fit members of the
previous generation. Some individuals are retained between generations.
• The second method is called crossover, and entails choosing two individuals to swap
segments of their code, producing artificial "offspring" that are combinations of their
parents. This process is intended to simulate the analogous process of recombination
that occurs to chromosomes during sexual reproduction .Common forms of crossover
include single-point crossover, in which a point of exchange is set at a random
location in the two individuals' genomes, and one individual contributes all its code
from before that point and the other contributes all its code from after that point to
produce an offspring, and uniform crossover, in which the value at any given location
in the offspring's genome is either the value of one parent's genome at that location or
the value of the other parent's genome at that location, chosen with 50/50 probability.
Refer to Figure 2.2.
38
Figure3.16. Diagram showing the effect of mutation on individuals in a population of 8-bit
strings showing two individuals undergoing single-point crossover; the point of exchange is
set between the fifth and sixth positions in the genome, producing a new individual that is a
hybrid of its progenitors.
• However, the advantage of parallelism goes beyond this. Consider the following: All
the 8-digit binary strings (strings of 0's and 1's) form a search space, which can be
represented as ******** (where the * stands for "either 0 or 1"). The string 01101010
is one member of this space. However, it is also a member of the space 0*******, the
space 01******, the space 0******0, the space 0*1*1*1*, the space 01*01**0, and
so on. By evaluating the fitness of this one particular string, a genetic algorithm would
be sampling each of these many spaces to which it belongs. Over many such
evaluations, it would build up an increasingly accurate value for the average fitness of
each of these spaces, each of which has many members. Therefore, a GA that
explicitly evaluates a small number of individuals is implicitly evaluating a much
larger group of individuals - just as a pollster who asks questions of a certain member
of an ethnic, religious or social group hopes to learn something about the opinions of
all members of that group, and therefore can reliably predict national opinion while
sampling only a small percentage of the population. In the same way, the GA can
"home in" on the space with the highest-fitness individuals and find the overall best
one from that group. In the context of evolutionary algorithms, this is known as the
Schema Theorem, and is the "central advantage" of a GA over other problem-solving
methods.
39
• Due to the parallelism that allows them to implicitly evaluate many schemas at once,
genetic algorithms are particularly well-suited to solving problems where the space of
all potential solutions is truly huge - too vast to search exhaustively in any reasonable
amount of time. Most problems that fall into this category are known as "nonlinear".
In a linear problem, the fitness of each component is independent, so any
improvement to any one part will result in an improvement of the system as a whole.
Needless to say, few real-world problems are like this. Nonlinearity is the norm,
where changing one component may have ripple effects on the entire system, and
where multiple changes that individually are detrimental may lead to much greater
improvements in fitness when combined. Nonlinearity results in a combinatorial
explosion: the space of 1,000-digit binary strings can be exhaustively searched by
evaluating only 2,000 possibilities if the problem is linear, whereas if it is nonlinear,
an exhaustive search requires evaluating 21000 possibilities - a number that would
take over 300 digits to write out in full.
• Another notable strength of genetic algorithms is that they perform well in problems
for which the fitness landscape is complex - ones where the fitness function is
discontinuous, noisy, changes over time, or has many local optima. Most practical
problems have a vast solution space, impossible to search exhaustively; the challenge
then becomes how to avoid the local optima - solutions that are better than all the
others that are similar to them, but that are not as good as different ones elsewhere in
the solution space. Many search algorithms can become trapped by local optima: if
40
they reach the top of a hill on the fitness landscape, they will discover that no better
solutions exist nearby and conclude that they have reached the best one, even though
higher peaks exist elsewhere on the map.
• However, crossover is the key element that distinguishes genetic algorithms from
other methods such as hill-climbers and simulated annealing. Without crossover, each
individual solution is on its own, exploring the search space in its immediate vicinity
without reference to what other individuals may have discovered. However, with
crossover in place, there is a transfer of information between successful candidates -
individuals can benefit from what others have learned, and schemata can be mixed
and combined, with the potential to produce an offspring that has the strengths of both
its parents and the weaknesses of neither. This point is illustrated in Koza et. al.
(1999), where the authors discuss a problem of synthesizing a low pass filter using
genetic programming. In one generation, two parent circuits were selected to undergo
crossover; one parent had good topology (components such as inductors and
capacitors in the right places) but bad sizing (values of inductance and capacitance for
its components that were far too low). The other parent had bad topology, but good
sizing. The result of mating the two through crossover was an offspring with the good
topology of one parent and the good sizing of the other, resulting in a substantial
improvement in fitness over both its parents.
41
• The problem of finding the global optimum in a space with many local optima is also
known as the dilemma of exploration vs. exploitation, "a classic problem for all
systems that can adapt and learn”. Once an algorithm (or a human designer) has found
a problem-solving strategy that seems to work satisfactorily, should it concentrate on
making the best use of that strategy, or should it search for others? Abandoning a
proven strategy to look for new ones is almost guaranteed to involve losses and
degradation of performance, at least in the short term. But if one sticks with a
particular strategy to the exclusion of all others, one runs the risk of not discovering
better strategies that exist but have not yet been found. Again, genetic algorithms have
shown themselves to be very good at striking this balance and discovering good
solutions with a reasonable amount of time and computational effort.
• Another area in which genetic algorithms excel is their ability to manipulate many
parameters simultaneously. Many real-world problems cannot be stated in terms of a
single value to be minimized or maximized, but must be expressed in terms of
multiple objectives, usually with tradeoffs involved: one can only be improved at the
expense of another. GAs are very good at solving such problems: in particular, their
use of parallelism enables them to produce multiple equally good solutions to the
same problem, possibly with one candidate solution optimizing one parameter and
another candidate optimizing a different one and a human overseer can then select one
of these candidates to use. If a particular solution to a multi-objective problem
optimizes one parameter to a degree such that that parameter cannot be further
improved without causing a corresponding decrease in the quality of some other
parameter, that solution is called Pareto optimal or non-dominated.
• Finally, one of the qualities of genetic algorithms which might at first appear to be a
liability turns out to be one of their strengths: namely, GAs know nothing about the
problems they are deployed to solve. Instead of using previously known
domainspecific information to guide each step and making changes with a specific
eye towards improvement, as human designers do, they are "blind watchmakers", they
make random changes to their candidate solutions and then use the fitness function to
determine whether those changes produce an improvement.
42
• The virtue of this technique is that it allows genetic algorithms to start out with an
open mind, so to speak. Since its decisions are based on randomness, all possible
search pathways are theoretically open to a GA; by contrast, any problem-solving
strategy that relies on prior knowledge must inevitably begin by ruling out many
pathways a priority, therefore missing any novel solutions that may exist there.
Lacking preconceptions based on established beliefs of "how things should be done"
or what "couldn't possibly work", GAs do not have this problem. Similarly, any
technique that relies on prior knowledge will break down when such knowledge is not
available, but again, GAs are not adversely affected by ignorance. Through their
components of parallelism, crossover and mutation, they can range widely over the
fitness landscape, exploring regions which intelligently produced algorithms might
have overlooked, and potentially uncovering solutions of startling and unexpected
creativity that might never have occurred to human designers. One vivid illustration
of this is the rediscovery, by genetic programming, of the concept of negative
feedback - a principle crucial to many important electronic components today, but one
that, when it was first discovered, was denied a patent for nine years because the
concept was so contrary to established beliefs. Evolutionary algorithms, of course, are
neither aware nor concerned whether a solution runs counter to established beliefs -
only whether it works.
• The first, and most important, consideration in creating a genetic algorithm is defining
a representation for the problem. The language used to specify candidate solutions
must be robust; i.e., it must be able to tolerate random changes such that fatal errors or
nonsense do not consistently result.
• The problem of how to write the fitness function must be carefully considered so that
higher fitness is attainable and actually does equate to a better solution for the given
problem. If the fitness function is chosen poorly or defined imprecisely, the genetic
43
algorithm may be unable to find a solution to the problem, or may end up solving the
wrong problem. (This latter situation is sometimes described as the tendency of a GA
to "cheat", although in reality all that is happening is that the GA is doing what it was
told to do, not what its creators intended it to do.) This is not a problem in nature,
however. In the laboratory of biological evolution there is only one fitness function,
which is the same for all living things - the drive to survive and reproduce, no matter
what adaptations make this possible. Those organisms which reproduce more
abundantly compared to their competitors are fitter; those which fail to reproduce are
unfit.
• One type of problem that genetic algorithms have difficulty dealing with are problems
with "deceptive" fitness functions, those where the locations of improved points give
misleading information about where the global optimum is likely to be found. For
example, imagine a problem where the search space consisted of all eight-character
binary strings, and the fitness of an individual was directly proportional to the number
of 1s in it - i.e., 00000001 would be less fit than 00000011, which would be less fit
than 00000111, and so on - with two exceptions: the string 11111111 turned out to
have very low fitness, and the string 00000000 turned out to have very high fitness. In
such a problem, a GA (as well as most other algorithms) would be no more likely to
find the global optimum than random search.
44
the population's diversity too soon, leading the algorithm to converge on the local
optimum that that individual represents rather than searching the fitness landscape
thoroughly enough to find the global optimum. This is an especially common problem
in small populations, where even chance variations in reproduction rate may cause
one genotype to become dominant over others.
• Finally, several researchers advise against using genetic algorithms on analytically
solvable problems. It is not that genetic algorithms cannot find good solutions to such
problems; it is merely that traditional analytic methods take much less time and
computational effort than GAs and, unlike GAs, are usually mathematically
guaranteed to deliver the one exact solution. Of course, since there is no such thing as
a mathematically perfect solution to any problem of biological adaptation, this issue
does not arise in nature.
The timetabling problem is a combinatorial optimization problem (COP) and in order to find
a very comprehensive mathematical framework to describe it (and also tackle its
NPhardness), hence the introduction of a highly abstract concept of heuristics (genetic
algorithms). The basic property of the timetable problem is the attempt of the genetic
algorithm to optimize a function over a discrete structure with many independent variables.
The relation between the choices made in the discrete domain and the effects on the objective
function value are usually complex and frequently not easy to trace. The unifying framework
for COP’s is the Constraint Satisfaction Problem (CSP) in conjunction with the optimization
of an objective function. It is worthy of note that even though the timetabling problem is
treated as an optimization problem, there is actually no fixed objective function, the function
that exists is used as an arbitrary measure to check for optimized solutions and degree of
constraints satisfaction. Once the objectives and constraints are specified, genetic algorithms
offer the ultimate scenarios of good timetable solutions through evolution processes even
though the complexity of assignment is totally dependent on the number of instances and
number of constraints.
Hence the algorithm considered for use in the proposed system is a scaled down version of
the Hybrid Genetic algorithm for the construction of examination timetables developed for
45
the University of Nottingham. The concept though developed for examination timetabling,
can be adapted to fit the construction of course timetables. The genetic algorithm employed
combines two heuristic algorithms, the first finding a non-conflicting set of exams and the
second assigning the selected exam to rooms. The process is repeated until all exams have
been scheduled without conflicts.
Figure 3.17.: Diagram depicting the Hybrid Genetic Algorithm used in University of
Nottingham.
Like every other genetic algorithms, this algorithm can quickly produce large populations of
random feasible exam timetables. Uniquely, the process takes each member of the course
population and assigns it to the first period in which the exam may be placed without conflict.
The mutation and crossover procedures are then applied to the population so that constraints
associated with each course in the assignment are satisfied. The timetables generated by the
algorithm with a starting population size of 200 had an average fitness of 0.986.
46
CHAPTER FOUR
SYSTEM IMPLEMENTATION
4.1. INTRODUCTION
The system implementation defines the construction, installation, testing and delivery of the
proposed system. After thorough analysis and design of the system, the system
implementation incorporates all other development phases to produce a functional system.
4.5. DOCUMENTATION
The above excel sheet shows us the time tale which has been generated by our software.
CHAPTER FIVE
48
SUMMARY, CONCLUSION AND RECOMMENDATIONSs
5.1. SUMMARY
This study was carried out as is to reduce the intense manual effort being put into creating and
developing university timetables. The timetable automation system currently is a conceptual
work in progress but has the capability to generate near optimal timetables based on two unit
courses with minimized course constraints.
5.2. CONCLUSION
Timetabling problem being the hard combinatorial problem that it is would take more than
just the application of only one principle. The timetabling problem may only be solved when
the constraints and allocations are clearly defined and simplified thoroughly and more than
one principle is applied to it i.e. a hybrid solution (a combination of different solution
techniques).
This research has been able to actualize a sub-implementation of a genetic algorithm which can
be applied to input of 2-units courses.
5.3. RECOMMENDATIONS
In furtherance of this work, the following are recommended:
• The timetable system developed as the outcome of this project should be made open
to avid students of computing who can collaborate and improve on the techniques and
ideas inherent in this project.
• Further works on developing a timetabling system should be based on this research
work so as to utilize the incremental model of software development.
• A collaborative model of timetabling system which utilizes a computer network can
also be built which entails different departments and entities allocating courses and
constraints concurrently while the system threads and reports clashes.
5.4. PROBLEMS ENCOUNTERED
Timing constraints was a major issue in the development of this system due to the robustness
of the system. Given the time allotment for this project, the system developed could not meet
up to the intended robustness.
49
5.5. SCOPE FOR FURTHER WORKS
For a fully functional system, the genetic algorithm should be fully implemented by satisfying
the following objectives:
• The mutation function in the genetic algorithm should be implemented in the system.
• The existing crossover module can be restructured to dynamically handle varied course
units e.g. 1-units, 3-units and others as may be required.
• Error handling features should be introduced in the full implementation of the algorithm.
REFERENCES
1. A. Cornelissen, M.J. Sprengers and B.Mader (2010). "OPUS-College Timetable Module
Design Document" Journal of Computer Science 1(1), 1-7.
2. Abramson D. & Abela J. (1992). "A parallel genetic algorithm for solving the school
timetabling problem." In Proceedings of the 15th Australian Computer Science Conference,
Hobart, 1-11.
3. Adam Marczyk (2004). "Genetic Algorithms and Evolutionary Computation ". Available
online at http://www.talkorigins.org/faqs/genalg/genalg.html.
4. Al-Attar A.(1994). White Paper: "A hybrid GA-heuristic search strategy." AI Expert, USA.
5. Alberto Colorni, Marco Dorigo, Vittorio Manniezzo (1992). "A Genetic Algorithm to Solve
the Timetable Problem" Journal of Computational Optimization and Applications, 1, 90-92.
6. Bufe M., Fischer T., Gubbels H., Hacker C., Hasprich O., Scheibel C., Weicker K., Weicker
N., Wenig M., & Wolfangel C. (2001). Automated solution of a highly constrained school
timetabling problem - preliminary results. EvoWorkshops, Como-
Italy.
7. Burke E, Elliman D and Weare R (1994)."A genetic algorithm for university timetabling
system." Presented at the East-West Conference on Computer Technologies in Education,
Crimea, Ukraine.
8. Carrasco M.P.& Pato M.V.(2001). "A multiobjective genetic algorithm for the class/teacher
timetabling problem." In Proceedings of the Practice and Theory of Automated Timetabling
(PATAT'00), Lecture Notes in Computer Science, Springer, 2079, 3-17.
9. Chan H. W. (1997). "School Timetabling Using Genetic Search." 2th International
Conference on the Practice and Theory of Automated Timetabling, PATAT'97.
50
10. Coello Carlos (2000). "An updated survey of GA-based multiobjective optimization
techniques." ACM Computing Surveys, 32(2), 109-143.
11. Costa D.(1994). "A tabular search algorithm for computing an operational timetable."
European Journal of Operational Research, 76(1), 98-110.
12. Datta D., Deb K., & Fonseca, C.M.(2006). Multi-objective evolutionary algorithm for
university class timetabling problem, In Evolutionary Scheduling, Springer-Verlag Press.
13. David A Coley (1999). An Introduction to Genetic Algorithms for Scientists and Engineers,
1st ed. World Scientific Publishing Co. Pte. Ltd.
14. Dawkins Richard (1996). The Blind Watchmaker: Why the Evidence of Evolution Reveals a
Universe Without Design. W.W. Norton.
15. De Gans O.B.(1981). "A computer timetabling system for secondary schools in the
Netherlands". European Journal of Operations Research,7, 175-182.
16. Deb K. (2001). Multi-Objective Optimization using Evolutionary Algorithms. John Wiley &
Sons Ltd, England.
17. Deb K., Agarwal S., Pratap A., & Meyarivan T. (2002). "A fast and elitist multi-objective
genetic algorithm: NSGA-II." IEEE Transactions on Evolutionary Computation, 6(2), 182-
197.
18. Eley M. (2006). "Ant Algorithms for the Exam Timetabling Problem." 6th International
Conference on the Practice and Theory of Automated Timetabling, PATAT'06.
19. Fang H. L. (1994). "Genetic Algorithms in Timetabling Problems." PhD Thesis, University
of Edinburgh.
20. Fernandes C. (2002). "Infected Genes Evolutionary Algorithm for School Timetabling."
WSES International Conference.
21. Fleming Peter and R.C. Purshouse (2002). "Evolutionary algorithms in control systems
engineering: a survey." Control Engineering Practice, 10, 1223-1241
APPENDIX
52
temp := allocations[j][k][l];
allocations[j][k][l] := allocations[day][hall][time];
allocations[j][k][l+1] := allocations[j][k][l];
allocations[day][hall][time] := temp;
allocations[day][hall][time-1] :=temp;
end; end else
begin
if (l mod 2 <> 0) then
begin
temp := allocations[j][k][l];
allocations[j][k][l] := allocations[day][hall][time];
allocations[j][k][l-1] := allocations[j][k][l];
allocations[day][hall][time] := temp;
allocations[day][hall][time+1] :=temp;
end else begin
temp := allocations[j][k][l];
allocations[j][k][l] := allocations[day][hall][time];
allocations[j][k][l+1] := allocations[j][k][l];
allocations[day][hall][time] := temp; allocations[day]
[hall][time+1] :=temp; end; end;
end;
end;
53