Chapter 1: Introduction · Contains animations of visualization Large ﬁle sizes HandoutPDF ﬁles...

Constraint ProgrammingChapter Overview

Chapter Details

Chapter 1: Introduction

Helmut Simonis

Cork Constraint Computation CentreComputer Science Department

University College CorkIreland

ECLiPSe ELearning Overview

Helmut Simonis Introduction 1


Chapter Details

Licence

This work is licensed under the Creative CommonsAttribution-Noncommercial-Share Alike 3.0 Unported License.To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/ orsend a letter to Creative Commons, 171 Second Street, Suite300, San Francisco, California, 94105, USA.


http://creativecommons.org/licenses/by-nc-sa/3.0/

http://creativecommons.org/licenses/by-nc-sa/3.0/


Chapter Details

Outline

1 Constraint Programming

2 Chapter Overview

3 Chapter Details



Chapter Details

What we want to introduce

Constraint ProgrammingUsing ECLiPSe LanguageWith Saros Eclipse IDE



Chapter Details

Outline


2 Chapter Overview

3 Chapter Details



Chapter Details

Constraint Programming (CP)

Solve hard combinatorial problemsWith minimal programming effortExploit strategies and heuristicsUnderstand and control problem solving



Chapter Details

ECLiPSe Language

Open source constraint programming languageFlexible toolkit to develop/use constraintsContains different constraint solversHere: Use of finite domains/(mixed) integer programming



Chapter Details

Aims and Outcomes

Understand what constraint programming isHow constraint programs can be applied to a problemWhich application problems are good candidates for CPHow to write/run/analyze simple ECLiPSe programs



Chapter Details

You should already know about...

No hard requirementsBasic understanding of programming assumedUseful to have some background in one of:

Network ManagementInteger ProgrammingCombinatorial Optimization



Chapter Details

Choices of materials

Slides PDF files for computer viewingContains animations of visualizationLarge file sizes

Handout PDF files for printing2 slides per pageDoes not contain all animations

Video Video presentation with audio (640x480 pixels)iPhone Video presentation tuned for iPhone display

(480x320 pixels)



Chapter Details

Outline


2 Chapter Overview

3 Chapter Details



Chapter Details

Chapters

Introduction (You are here) Video iPhone Slides Handout

First Steps - Hello World Video iPhone Slides Handout

Application Overview Video iPhone Slides Handout

Basic Constraint Reasoning Video iPhone Slides Handout

Global Constraints Video iPhone Slides Handout

Search Strategies Video iPhone Slides Handout

Optimization Video iPhone Slides Handout

Symmetry Breaking Video iPhone Slides Handout

Choosing the Model Video iPhone Slides Handout

Customizing Search Video iPhone Slides Handout

Limits of Propagation Video iPhone Slides Handout

Systematic Development Video iPhone Slides Handout

Visualization Techniques Video iPhone Slides Handout

Finite Set and Continuous Variables Video iPhone Slides Handout

Network Applications Video iPhone Slides Handout

More Global Constraints Video iPhone Slides Handout



Chapter Details

More Chapters

Using Mixed Integer Linear Programming Video iPhone Slides Handout

A Hybrid Model Video iPhone Slides Handout

Comparing Technologies Video iPhone Slides Handout

Working with Implications Video iPhone Slides Handout

Adding Material Video iPhone Slides Handout

Lessons Learned Video iPhone Slides Handout



Chapter Details

Applications

Application Overview Video iPhone Slides Handout

SEND+MORE=MONEY Video iPhone Slides Handout

Sudoku Video iPhone Slides Handout

N-Queens Video iPhone Slides Handout

Routing and Wavelength Assignment Video iPhone Slides Handout

RWA - Demand Acceptance 1 Video iPhone Slides Handout

RWA - Demand Acceptance 2 Video iPhone Slides Handout

RWA - Static Design 2 Video iPhone Slides Handout

Balanced Incomplete Block Designs Video iPhone Slides Handout

Sports Scheduling Video iPhone Slides Handout

Progressive Party Video iPhone Slides Handout

Costas Array Video iPhone Slides Handout

SONET/SDH Ring Design Video iPhone Slides Handout

Network Applications Video iPhone Slides Handout

Car Sequencing Video iPhone Slides Handout

Shikaku Video iPhone Slides Handout



Chapter Details

Outline


2 Chapter Overview

3 Chapter Details



Chapter Details

Introduction

Aims and OutcomesOverview of chaptersHyperlinks to all materials

Video iPhone Slides Handout



Chapter Details

First Steps - Hello World

How to install ECLiPSe and SarosWriting a first programRunning the programWhere to find information




Chapter Details

Application Overview

Why constraint programming is interestingSolving industrial problems with CPMain application areas

AssignmentSchedulingNetwork problemsTransportationPersonnel Assignment




Chapter Details

Basic Constraint Reasoning - SEND+MORE =MONEY

Finite Domain variablesCP: Variables + Constraints + SearchBounds reasoning on arithmetic constraintsSimple visualizers




Chapter Details

Global Constraints - Sudoku

Modellimg the Sudoku puzzleOne model, different behavioursGlobal constraint: alldifferentBounds and domain consistencyA domain consistent alldifferent




Chapter Details

Search Strategies - N Queens

How to search for a solutionVariable and value choiceHow to avoid deep backtrackingPartial search strategies




Chapter Details

Optimization - Routing and Wavelength Assignment

OptimizationGraph algorithms libraryInteger Programming with eplex

Problem decompositionRouting and Wavelength Assignment in Optical Networks




Chapter Details

Symmetry Breaking - Balanced Incomplete BlockDesigns

Balanced Incomplete Block DesignsPlanning Experiments and Testing FeaturesProblems with highly symmetrical structureSymmetry Breaking with lex constraints




Chapter Details

Choosing the Model - Sports Scheduling

Complex sports scheduling problemHow to decide which model to useImproving reasoning by channeling




Chapter Details

Customizing Search - Progressive Party

Scheduling Meetings between TeamsTeams only meet onceCapacity LimitsBuild customized search routines tailored to problemProblem decomposition: decide which problem to solve




Chapter Details

Limits of Propagation - Costas Array

Antenna/Sonar DesignHard Benchmark ProblemNaive Enumeration works bestWhen clever reasoning doesn’t pay offCautionary Tale




Chapter Details

Systematic Development

Developing ProgramsTestingProfilingDocumentation




Chapter Details

Visualization Techniques

How to visualize constraint programsVariable VisualizersUnderstanding Search TreesConstraint VisualizersComplex Visualizations




Chapter Details

Finite Set and Continuous Variables - SONET DesignProblem

Finite set variablesContinuous domainsOptimization from belowAdvanced symmetry breakingSONET design problem without inter-ring traffic




Chapter Details

Network Applications

Overview of Network ApplicationsTraffic PlacementCapacity ManagementNetwork DesignUsing Advanced Techniques




Chapter Details

More Global Constraints - Car Sequencing

New global constraints: gcc and sequence

Choosing a better search strategy




Chapter Details

Using Mixed Integer Linear Programming - RWADemand Acceptance 1

Mixed Integer Linear Programming in ECLiPSeeplex LibaryAlternative Models for Routing and WavelengthAssignment in Optical Networks




Chapter Details

A Hybrid Model - RWA Demand Acceptance 2

Hybridisation by decompositionCombination of MIP and FD solverBest current solution to routing and wavelengthassignment problem




Chapter Details

Comparing Technologies

Compare static design and demand acceptance versionsof RWASee impact of objective functionCompare finite domain, MIP and SAT solutions




Chapter Details

Working with Implications - Shikaku

Solving a placement problem without specializedconstraintsDecomposition into pattern generation and set partitioningUsing implications to propagate information




Chapter Details

Adding Material

How to add new chaptersCopying template filesConfiguring templatesAdding frames to bodyIntegrating with other chapters




Chapter Details

Lessons Learned

New ELearning course for ECLiPSeModelling and programming with constraintsBased on sample problems solved and explained in detailA view on core constraint programming skillsStrong dependence on visualization to explain behavior




Chapter Details

To continue

Branch from here to all materialsChoose presentation form which suits you


Chapter 1: Introduction · Contains animations of visualization Large ﬁle sizes HandoutPDF ﬁles...

Documents

Transcript of Chapter 1: Introduction · Contains animations of visualization Large ﬁle sizes HandoutPDF ﬁles...