19 research outputs found

    Optimal Placement of Valves in a Water Distribution Network with CLP(FD)

    Full text link
    This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard combinatorial problem. This application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design. We take the formulation of the problem by Giustolisi and Savic (2008) and show how, thanks to constraint propagation, we can get better solutions than the best solution known in the literature for the Apulian distribution network. We believe that the area of the so-called hydroinformatics can benefit from the techniques developed in Constraint Logic Programming and possibly from other areas of logic programming, such as Answer Set Programming.Comment: Best paper award at the 27th International Conference on Logic Programming - ICLP 2011; Theory and Practice of Logic Programming, (ICLP'11) Special Issue, volume 11, issue 4-5, 201

    Improving the Asymmetric TSP by Considering Graph Structure

    Get PDF
    Recent works on cost based relaxations have improved Constraint Programming (CP) models for the Traveling Salesman Problem (TSP). We provide a short survey over solving asymmetric TSP with CP. Then, we suggest new implied propagators based on general graph properties. We experimentally show that such implied propagators bring robustness to pathological instances and highlight the fact that graph structure can significantly improve search heuristics behavior. Finally, we show that our approach outperforms current state of the art results.Comment: Technical repor

    The Product Test Scheduling Problem

    Get PDF
    This research focused on product test scheduling in the presence of in-process and at-completion inspection constraints. Such testing arises in the context of the manufacture of products that must perform reliably in extreme environmental conditions. Often, these products must receive a certification from prescribed regulatory agencies at the successful completion of a predetermined series of tests. Operational efficiency is enhanced by determining the optimal order and start times of tests so as to minimize the makespan while ensuring that technicians are available when needed to complete in-process and at-completion inspections. We refer to this as the product test scheduling problem. We first formulated a mixed-integer linear programming (MILP) model to identify the optimal solution to this problem and solve it using a commercial optimization package. We also present a genetic algorithm (GA) solution methodology that is implemented and solved in Microsoft Excel. Computational results are presented demonstrating the merits and consistency of the MILP and GA solution approaches across a number of scenarios

    Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information

    Full text link
    Problems affecting the transport of people or goods are plentiful in industry and commerce and they also appear to be at the origin of much more complex problems. In recent years, the logistics and transport sector keeps growing supported by technological progress, i.e. companies to be competitive are resorting to innovative technologies aimed at efficiency and effectiveness. This is why companies are increasingly using technologies such as Artificial Intelligence (AI), Blockchain and Internet of Things (IoT). Artificial intelligence, in particular, is often used to solve optimization problems in order to provide users with the most efficient ways to exploit available resources. In this work we present an overview of our current research activities concerning the development of new algorithms, based on CLP techniques, for route planning problems exploiting the geometric information intrinsically present in many of them or in some of their variants. The research so far has focused in particular on the Euclidean Traveling Salesperson Problem (Euclidean TSP) with the aim to exploit the results obtained also to other problems of the same category, such as the Euclidean Vehicle Routing Problem (Euclidean VRP), in the future.Comment: In Proceedings ICLP 2020, arXiv:2009.0915

    An asymmetric TSP with time windows and with time-dependent travel times and costs: An exact solution through a graph transformation

    Full text link
    [EN] In this paper we deal with an extended version of the Asymmetric Traveling Salesman Problem with Time Windows (ATSPTW) that considers time-dependent travel times and costs, for a more accurate approximation of some routing problems inside large cities, in which the time or cost of traversing certain streets (e.g. main avenues) depends on the moment of the day (for example rush-hours). Unlike other existing papers about time-dependent routing problems, we focus on an exact method for solving this new problem. For this end we first transform the problem into an Asymmetric Generalized TSP and then into a Graphical Asymmetric TSP. In this way, we can apply a known exact algorithm for the Mixed General Routing Problem, which seems to run well with our resulting instances. Computational results are presented on a set of 270 adapted instances from benchmark ATSPTW instances.This work has been partially supported by the Ministerio de Ciencia y Tecnología of Spain (project TIC2003-05982-C05-01) and the Generalitat Valenciana (Ref: GRUPOS03/189). Thanks are due to Michel Gendreau, Alain Hertz, Gilbert Laporte and Mihnea Stan for providing us the set of benchmark ATSPTW instances, and to Matteo Fischetti and Norbert Ascheuer for their suggestions and help about the computational experiments. Last we are also indebted to the three anonymous referees for their valuable comments.Albiach, J.; Sanchís Llopis, JM.; Soler Fernández, D. (2008). An asymmetric TSP with time windows and with time-dependent travel times and costs: An exact solution through a graph transformation. European Journal of Operational Research. 189(3):789-802. https://doi.org/10.1016/j.ejor.2006.09.099S789802189

    Exact and Heuristic Algorithms for Routing AGV on Path with Precedence Constraints

    Get PDF
    A new problem arises when an automated guided vehicle (AGV) is dispatched to visit a set of customers, which are usually located along a fixed wire transmitting signal to navigate the AGV. An optimal visiting sequence is desired with the objective of minimizing the total travelling distance (or time). When precedence constraints are restricted on customers, the problem is referred to as traveling salesman problem on path with precedence constraints (TSPP-PC). Whether or not it is NP-complete has no answer in the literature. In this paper, we design dynamic programming for the TSPP-PC, which is the first polynomial-time exact algorithm when the number of precedence constraints is a constant. For the problem with number of precedence constraints, part of the input can be arbitrarily large, so we provide an efficient heuristic based on the exact algorithm

    Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations

    Get PDF
    Most classical scheduling formulations assume a fixed and known duration for each activity. In this paper, we weaken this assumption, requiring instead that each duration can be represented by an independent random variable with a known mean and variance. The best solutions are ones which have a high probability of achieving a good makespan. We first create a theoretical framework, formally showing how Monte Carlo simulation can be combined with deterministic scheduling algorithms to solve this problem. We propose an associated deterministic scheduling problem whose solution is proved, under certain conditions, to be a lower bound for the probabilistic problem. We then propose and investigate a number of techniques for solving such problems based on combinations of Monte Carlo simulation, solutions to the associated deterministic problem, and either constraint programming or tabu search. Our empirical results demonstrate that a combination of the use of the associated deterministic problem and Monte Carlo simulation results in algorithms that scale best both in terms of problem size and uncertainty. Further experiments point to the correlation between the quality of the deterministic solution and the quality of the probabilistic solution as a major factor responsible for this success

    A Study in Three Practical Management Science Problems

    Get PDF
    This study of practical problems in Management Science (MS) describes novel mathematical models for three different decision settings. It addresses questions of: (a) what optimal route should be taken through a time-windows and topographically complex network; (b) what optimal sequencing of scheduled surgeries best coordinates flow of patients through central recovery; and (c) what prices should be charged and what stock amounts should be produced for two markets or channels to maximize profit explicitly, given various capacity and uncertainty conditions. The first problem is in a sport analytics context, using a novel Integer Programming and big data from Whistler-Blackcomb ski resort. The second is to coordinate dozens of surgeries at London Health Sciences Centre, using a novel Constraint Programming model mapped to and parameterized with hospital data, including a tool for visualizing process and patient flow. The third problem is relevant to almost any business with a secondary market or sales channel, as it helps them identify profit optimal prices based on simple demand estimates and cost information they can easily provide for their own setting. The studies use fundamentally different operational research techniques, in each case uniquely extended to the problem setting. The first two are combinatorial problems, neither one extremely beyond human cognitive ability, and both involving lots of uncertainty, and thus the sort of problem managers tend to dismiss as not efficient or practical to solve analytically. We show in the first study that vastly more skiers could achieve the challenge by following our route recommendation, unintuitive as are some of its elements, initially. In the second study, our scheduling model consistently outperforms currently unstructured-independent approach at the hospital. The final study is mathematical but demonstrates that by considering distinct market costs in pricing a firm can invariably earn more profit
    corecore