Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search

Transcription

1 Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search

2 OPERATIONS RESEARCH/COMPUTER SCIENCE INTERFACES SERIES Ramesh Sharda, Series Editor ConocolDuPont Chair of Management of Technology Oklahoma State University Stillwater, Oklahoma U.S.A. Other published titles in the series: Brown, Donald/Scherer, William T. Intelligent Scheduling Systems Nash, Stephen G.lSofer, Ariela The Impact of Emerging Technologies on Computer Science and Operations Research Barth, Peter Logic-Based 0-1 Constraint Programming Jones, Christopher V. Visualization and Optimization Barr, Richard S.I Helgason, Richard V.I Kennington, Jeffery L. Interfaces in Computer Science and Operations Research: Advances in Metaheuristics, Optimization, and Stochastic Modeling Technologies Ellacott, Stephen W.I Mason, John C.I Anderson, lain J. Mathematics qf Neural Networks: Models, Algorithms & Applications

3 Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search Interfaces in Computer Science and Operations Research Edited by David L. Woodruff University of California Davis... " Springer Science+Business Media, LLC

4 Library of Congress Cataloging-in-Publication Data Advances in computational and stochastic optimization, logic programming, and heuristic search : interfaces in computer science and operations research / edited by David L. W oodruff. p. cm. -- (Operations research!computer science interfaces series ; ORCS 09) lncludes bibliographical references. ISBN ISBN (ebook) DOI / Operations research. 2. Mathematical optimization. 3. Logic programming. 1. Woodruff, David L. II. Series. T57.A '032--dc CIP Copyright 1998 by Springer Science+Business Media New York Origina1ly published by Kluwer Academic Publishers in 1998 Softcover reprint ofthe hardcover Ist edition 1998 AII rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, mechanical, photocopying, recording, or otherwise, without the prior written permission of the publisher, Springer Science+Business Media, LLC Printed an acid-free pa per.

5 Contents Preface 1 Constraint Satisfaction Methods Jolm N. Hooker 2 Extending a General-Purpose Algebraic Modeling Language to Combinatorial Optimization: A Logic Programming Approach Robert Fourer 3 Disjunctive Programming and Cooperating Solvers Ken McAloon, Carol Tretkoff, Gerhard Wetzel 4 An Annotated Bibliography for Post-solution Analysis in Mixed Integer Programming and Combinatorial Optimization Harvey J. Greenberg 5 Stochastic Knapsack Problem David P. Morton, R. Kevin Wood vii Sample-Path Solutions for Simulation Optimization Problems and Stochastic Variational Inequalities Gul Gurkan, A. Yonca Ozge, Stephen M. Robinson 7 Play Selection in American Football: a Case Study in Neuro-Dynamic 189 Programming Stephen D. Patek. Dimitri P. Bertsekas Tabu Search Candidate List Strategies in Scheduling Balasubramanian Rangaswamy, Anant Singh Jain, Fred Glover 215

6 VI INTERFACES IN COMPUTER SCIENCE AND OPERATIONS RESEARCH 9 GA's and Surrogate Constraints for MCKPs Christian Haul, Stefan Vofl 10 Introduction to Genetic Heuristics and Vehicle Routing Problems with Complex Constraints Sam R. Thangiah, Pavel Petrovic A Genetic Algorithm for the Clustered Traveling Salesman Problem with a 287 Prespecified Order on the Clusters Jean-Yves Potvin, Francois Guertin 12 A New Algorithm for the Site-Dependent Vehicle Routing Problem 301 I-Ming Chao, Bruce L. Golden, Edward A. Wasil

7 Preface This book represents the expanding research frontiers in Operations Research and Computer Science at the time of the sixth conference of the Computer Science Technical Section of INFORMS held January 7-9,1998 in Carmel, California. Optimization issues have always been at the core of this interface, but the applications and computational issues change. In this volume we have works describing logic programming, post-optimization and infeasibility analysis for integer programs, stochastic optimization, heuristic search and its applications to vehicle routing problems. The chapters are clustered according to these topics. An attempt has been made to place papers near the boundary between areas in the boundary of the groups. Hence, the particular chapter that draws a reader to the volume is probably surrounded by chapters that are also of interest. The research presented here is evidence of a dynamic field. Some of the papers are extremely applied and others represent work with potential for application that is just beginning to be realized. Computer Science and Operations Research will continue to have a synergistic relationship. The chapters in this book contain expository material and reviews of the literature designed to enhance the participation of the reader in this expanding interface. DAVID L. WOODRUFF