94 research outputs found

    04231 Abstracts Collection -- Scheduling in Computer and Manufacturing Systems

    Get PDF
    During 31.05.-04.06.04, the Dagstuhl Seminar 04231 "Scheduling in Computer and Manufacturing Systems" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

    Solving Multiple Timetabling Problems at Danish High Schools

    Get PDF

    Timetabling at High Schools

    Get PDF

    Models and Algorithms for School Timetabling

    Get PDF
    In constraint programming, combinatorial problems are specified declaratively in terms of constraints. Constraints are relations over problem variables that define the space of solutions by specifying restrictions on the values that variables may take simultaneously. To solve problems stated in terms of constraints, the constraint programmer typically combines chronological backtracking with constraint propagation that identifies infeasible value combinations and prunes the search space. In recent years, constraint programming has emerged as a key technology for combinatorial optimization in industrial applications. In this success, global constraints have been playing a vital role. Global constraints are carefully designed abstractions that, in a concise and natural way, allow to model problems that arise in different fields of application. For example, the alldiff constraint allows to state that variables must take pairwise distinct values; it has numerous applications in timetabling and scheduling. In school timetabling, we are required to schedule a given set of meetings between students and teachers s.t. the resulting timetables are feasible and acceptable to all people involved. Since schools differ in their educational policies, the school-timetabling problem occurs in several variations. Nevertheless, a set of entities and constraints among them exist that are common to these variations. This common core still gives rise to NP-complete combinatorial problems. In the first place, this thesis proposes to model the common core of school-timetabling problems by means of global constraints. The presentation continues with a series of operational enhancements to the resulting problem solver which are grounded on the "track parallelization problem" (TPP). A TPP is specified by a set of task sets which are called "tracks". The problem of solving a TPP consists in scheduling the tasks s.t. the tracks are processed in parallel. We show how to infer TPPs in school timetabling and we investigate two ways of TPP propagation: On the one hand, we utilize TPPs to down-size our models. On the other hand, we propagate TPPs to prune the search space. To this end, we introduce the TPP constraint along with a suitable constraint solver for modeling and solving TPPs in a finite-domain constraint programming framework. To investigate our problem solvers' behavior, we performed a large-scale empirical study. When designing the experiment, the top priority was to obtain results that are both reliable from a statistical point of view and practically relevant. To this end, the sample sizes have been chosen accordingly - for each school, our problem set contains 1000 problems - and the problems have been generated from detailed models of ten representative schools. Our timetabling engine essentially embeds network-flow techniques and value sweep pruning into chronological backtracking

    Advanced Methods and Models for Employee Timetabling Problems

    Get PDF
    This thesis is focused on the design of efficient models and algorithms for employee timetabling problems (ETPs). From our point of view, there are two significant gaps in the current state of the art. The first one, also important in practice, concerns the ETP with strongly varying workforce demand. Unlike the classical Nurse Rostering Problem (NRP) this problem considers dozens of shift types that can cover the demand more precisely than early, late and night shift type used in NRP. In this work we call this problem the Employee Timetabling Problem with a High Diversity of shifts (ETPHD). It comes as no surprise that the exact methods like Integer Linear Programming are not able to find its solution in reasonable time. Therefore, a transformation of ETPHD based on mapping of shift types to shift kinds was proposed. The transformation allows one to design a multistage approach (MSA). The aim of the first two stages is to find an initial ETPHD solution, where a rough position of assigned shifts is determined. This proved to be substantial for the last stage of MSA, where the solution is consequently improved in terms of its quality. In order to verify the MSA performance, a cross evaluation methodology was proposed. It is based on the comparison of the performance provided by more approaches on more combinatorial problems. Therefore, real life ETPHD instances from an airport ground company and also standard benchmark NRP instances were considered. The experiments confirmed the better or equal performance of our approach in the most of the cases. The second gap in the literature is an absence of parallel algorithms for ETPs. We focused on the Nurse Rerostering Problem (NRRP) that appears when a disruption in the roster occurs, e.g., when one of the employees becomes sick. For this purpose, the parallel algorithm solving NRRP was proposed in order to shorten needed computational time. This algorithm was designed for a Graphics Processing Unit (GPU) offering a massive parallelization. To the best of our knowledge, this is the first usage of GPU for ETPs. The performance of the GPU parallel algorithm was tested on the real life NRRP benchmark instances and evaluated from two points of view. Firstly, the quality of the results was compared to the known results from the state of the art. Secondly, the speedup achieved by the parallel algorithm related to the sequential one was verified. In average, the parallel algorithm is able to provide the results of the same quality 15 times faster than the sequential one.Katedra řídicí technik

    Shortest Paths and Vehicle Routing

    Get PDF

    Learning for Optimization with Virtual Savant

    Get PDF
    Optimization problems arising in multiple fields of study demand efficient algorithms that can exploit modern parallel computing platforms. The remarkable development of machine learning offers an opportunity to incorporate learning into optimization algorithms to efficiently solve large and complex problems. This thesis explores Virtual Savant, a paradigm that combines machine learning and parallel computing to solve optimization problems. Virtual Savant is inspired in the Savant Syndrome, a mental condition where patients excel at a specific ability far above the average. In analogy to the Savant Syndrome, Virtual Savant extracts patterns from previously-solved instances to learn how to solve a given optimization problem in a massively-parallel fashion. In this thesis, Virtual Savant is applied to three optimization problems related to software engineering, task scheduling, and public transportation. The efficacy of Virtual Savant is evaluated in different computing platforms and the experimental results are compared against exact and approximate solutions for both synthetic and realistic instances of the studied problems. Results show that Virtual Savant can find accurate solutions, effectively scale in the problem dimension, and take advantage of the availability of multiple computing resources.Los problemas de optimización que surgen en múltiples campos de estudio demandan algoritmos eficientes que puedan explotar las plataformas modernas de computación paralela. El notable desarrollo del aprendizaje automático ofrece la oportunidad de incorporar el aprendizaje en algoritmos de optimización para resolver problemas complejos y de grandes dimensiones de manera eficiente. Esta tesis explora Savant Virtual, un paradigma que combina aprendizaje automático y computación paralela para resolver problemas de optimización. Savant Virtual está inspirado en el Sı́ndrome de Savant, una condición mental en la que los pacientes se destacan en una habilidad especı́fica muy por encima del promedio. En analogı́a con el sı́ndrome de Savant, Savant Virtual extrae patrones de instancias previamente resueltas para aprender a resolver un determinado problema de optimización de forma masivamente paralela. En esta tesis, Savant Virtual se aplica a tres problemas de optimización relacionados con la ingenierı́a de software, la planificación de tareas y el transporte público. La eficacia de Savant Virtual se evalúa en diferentes plataformas informáticas y los resultados se comparan con soluciones exactas y aproximadas para instancias tanto sintéticas como realistas de los problemas estudiados. Los resultados muestran que Savant Virtual puede encontrar soluciones precisas, escalar eficazmente en la dimensión del problema y aprovechar la disponibilidad de múltiples recursos de cómputo.Fundación Carolina Agencia Nacional de Investigación e Innovación (ANII, Uruguay) Universidad de Cádiz Universidad de la Repúblic
    corecore