chapter 1 introduction
play

Chapter 1: Introduction Helmut Simonis Cork Constraint Computation - PowerPoint PPT Presentation

Jan 04, 2023 •519 likes •904 views

Constraint Programming Chapter Overview Chapter Details Chapter 1: Introduction Helmut Simonis Cork Constraint Computation Centre Computer Science Department University College Cork Ireland ECLiPSe ELearning Overview Helmut Simonis

  1. Constraint Programming Chapter Overview Chapter Details Chapter 1: Introduction Helmut Simonis Cork Constraint Computation Centre Computer Science Department University College Cork Ireland ECLiPSe ELearning Overview Helmut Simonis Introduction 1

  2. Constraint Programming Chapter Overview Chapter Details Licence This work is licensed under the Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported License. To view a copy of this license, visit http: //creativecommons.org/licenses/by-nc-sa/3.0/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA. Helmut Simonis Introduction 2

  3. Constraint Programming Chapter Overview Chapter Details Outline Constraint Programming 1 Chapter Overview 2 Chapter Details 3 Helmut Simonis Introduction 3

  4. Constraint Programming Chapter Overview Chapter Details What we want to introduce Constraint Programming Using ECLiPSe Language With Saros Eclipse IDE Helmut Simonis Introduction 4

  5. Constraint Programming Chapter Overview Chapter Details Outline Constraint Programming 1 Chapter Overview 2 Chapter Details 3 Helmut Simonis Introduction 5

  6. Constraint Programming Chapter Overview Chapter Details Constraint Programming (CP) Solve hard combinatorial problems With minimal programming effort Exploit strategies and heuristics Understand and control problem solving Helmut Simonis Introduction 6

  7. Constraint Programming Chapter Overview Chapter Details ECLiPSe Language Open source constraint programming language Flexible toolkit to develop/use constraints Contains different constraint solvers Here: Use of finite domains/(mixed) integer programming Helmut Simonis Introduction 7

  8. Constraint Programming Chapter Overview Chapter Details Aims and Outcomes Understand what constraint programming is How constraint programs can be applied to a problem Which application problems are good candidates for CP How to write/run/analyze simple ECLiPSe programs Helmut Simonis Introduction 8

  9. Constraint Programming Chapter Overview Chapter Details You should already know about... No hard requirements Basic understanding of programming assumed Useful to have some background in one of: Network Management Integer Programming Combinatorial Optimization Helmut Simonis Introduction 9

  10. Constraint Programming Chapter Overview Chapter Details Choices of materials Slides PDF files for computer viewing Contains animations of visualization Large file sizes Handout PDF files for printing 2 slides per page Does not contain all animations Video Video presentation with audio (640x480 pixels) iPhone Video presentation tuned for iPhone display (480x320 pixels) Helmut Simonis Introduction 10

  11. Constraint Programming Chapter Overview Chapter Details Outline Constraint Programming 1 Chapter Overview 2 Chapter Details 3 Helmut Simonis Introduction 11

  12. Constraint Programming Chapter Overview Chapter Details Chapters Video iPhone Slides Handout Introduction (You are here) Video iPhone Slides Handout First Steps - Hello World Video iPhone Slides Handout Application Overview Basic Constraint Reasoning Video iPhone Slides Handout Global Constraints Video iPhone Slides Handout Video iPhone Slides Handout Search Strategies Video iPhone Slides Handout Optimization Video iPhone Slides Handout Symmetry Breaking Choosing the Model Video iPhone Slides Handout Customizing Search Video iPhone Slides Handout Limits of Propagation Video iPhone Slides Handout Video iPhone Slides Handout Systematic Development Video iPhone Slides Handout Visualization Techniques Finite Set and Continuous Variables Video iPhone Slides Handout Network Applications Video iPhone Slides Handout More Global Constraints Video iPhone Slides Handout Helmut Simonis Introduction 12

  13. Constraint Programming Chapter Overview Chapter Details More Chapters Using Mixed Integer Linear Programming Video iPhone Slides Handout Video iPhone Slides Handout A Hybrid Model Video iPhone Slides Handout Comparing Technologies Video iPhone Slides Handout Working with Implications Adding Material Video iPhone Slides Handout Lessons Learned Video iPhone Slides Handout Helmut Simonis Introduction 13

  14. Constraint Programming Chapter Overview Chapter Details Applications Video iPhone Slides Handout Application Overview Video iPhone Slides Handout SEND+MORE=MONEY Video iPhone Slides Handout Sudoku N-Queens Video iPhone Slides Handout Routing and Wavelength Assignment Video iPhone Slides Handout Video iPhone Slides Handout RWA - Demand Acceptance 1 Video iPhone Slides Handout RWA - Demand Acceptance 2 Video iPhone Slides Handout RWA - Static Design 2 Balanced Incomplete Block Designs Video iPhone Slides Handout Sports Scheduling Video iPhone Slides Handout Progressive Party Video iPhone Slides Handout Video iPhone Slides Handout Costas Array Video iPhone Slides Handout SONET/SDH Ring Design Network Applications Video iPhone Slides Handout Car Sequencing Video iPhone Slides Handout Shikaku Video iPhone Slides Handout Helmut Simonis Introduction 14

  15. Constraint Programming Chapter Overview Chapter Details Outline Constraint Programming 1 Chapter Overview 2 Chapter Details 3 Helmut Simonis Introduction 15

  16. Constraint Programming Chapter Overview Chapter Details Introduction Aims and Outcomes Overview of chapters Hyperlinks to all materials Video iPhone Slides Handout Helmut Simonis Introduction 16

  17. Constraint Programming Chapter Overview Chapter Details First Steps - Hello World How to install ECLiPSe and Saros Writing a first program Running the program Where to find information Video iPhone Slides Handout Helmut Simonis Introduction 17

  18. Constraint Programming Chapter Overview Chapter Details Application Overview Why constraint programming is interesting Solving industrial problems with CP Main application areas Assignment Scheduling Network problems Transportation Personnel Assignment Video iPhone Slides Handout Helmut Simonis Introduction 18

  19. Constraint Programming Chapter Overview Chapter Details Basic Constraint Reasoning - SEND+MORE = MONEY Finite Domain variables CP: Variables + Constraints + Search Bounds reasoning on arithmetic constraints Simple visualizers Video iPhone Slides Handout Helmut Simonis Introduction 19

  20. Constraint Programming Chapter Overview Chapter Details Global Constraints - Sudoku Modellimg the Sudoku puzzle One model, different behaviours Global constraint: alldifferent Bounds and domain consistency A domain consistent alldifferent Video iPhone Slides Handout Helmut Simonis Introduction 20

  21. Constraint Programming Chapter Overview Chapter Details Search Strategies - N Queens How to search for a solution Variable and value choice How to avoid deep backtracking Partial search strategies Video iPhone Slides Handout Helmut Simonis Introduction 21

  22. Constraint Programming Chapter Overview Chapter Details Optimization - Routing and Wavelength Assignment Optimization Graph algorithms library Integer Programming with eplex Problem decomposition Routing and Wavelength Assignment in Optical Networks Video iPhone Slides Handout Helmut Simonis Introduction 22

  23. Constraint Programming Chapter Overview Chapter Details Symmetry Breaking - Balanced Incomplete Block Designs Balanced Incomplete Block Designs Planning Experiments and Testing Features Problems with highly symmetrical structure Symmetry Breaking with lex constraints Video iPhone Slides Handout Helmut Simonis Introduction 23

  24. Constraint Programming Chapter Overview Chapter Details Choosing the Model - Sports Scheduling Complex sports scheduling problem How to decide which model to use Improving reasoning by channeling Video iPhone Slides Handout Helmut Simonis Introduction 24

  25. Constraint Programming Chapter Overview Chapter Details Customizing Search - Progressive Party Scheduling Meetings between Teams Teams only meet once Capacity Limits Build customized search routines tailored to problem Problem decomposition: decide which problem to solve Video iPhone Slides Handout Helmut Simonis Introduction 25

  26. Constraint Programming Chapter Overview Chapter Details Limits of Propagation - Costas Array Antenna/Sonar Design Hard Benchmark Problem Naive Enumeration works best When clever reasoning doesn’t pay off Cautionary Tale Video iPhone Slides Handout Helmut Simonis Introduction 26

  27. Constraint Programming Chapter Overview Chapter Details Systematic Development Developing Programs Testing Profiling Documentation Video iPhone Slides Handout Helmut Simonis Introduction 27

  28. Constraint Programming Chapter Overview Chapter Details Visualization Techniques How to visualize constraint programs Variable Visualizers Understanding Search Trees Constraint Visualizers Complex Visualizations Video iPhone Slides Handout Helmut Simonis Introduction 28

  29. Constraint Programming Chapter Overview Chapter Details Finite Set and Continuous Variables - SONET Design Problem Finite set variables Continuous domains Optimization from below Advanced symmetry breaking SONET design problem without inter-ring traffic Video iPhone Slides Handout Helmut Simonis Introduction 29

Recommend

Introduction 1.1 Legal background This series of lectures lecture has been prepared using the

Introduction 1.1 Legal background This series of lectures lecture has been prepared using the

AAT Tax Update 2014 Chapter 1 Introduction Chapter 2 Budget round-up - overview of key announcements - particular interest/ importance Personal tax Income tax, NICs, tax allowances etc Chapter 3 Chapter 4 Business tax review - MIP/SME

1.23k views • 74 slides
Chapter 1: Introduction to Computers and Java Chapter Topics Chapter 1 discusses the following

Chapter 1: Introduction to Computers and Java Chapter Topics Chapter 1 discusses the following

Chapter 1: Introduction to Computers and Java Chapter Topics Chapter 1 discusses the following main topics: Introduction Why Program? Computer Systems: Hardware and Software Programming Languages What Is a Program Made Of?

1k views • 61 slides
Chapter 1: Introduction CMPS 105: Systems Programming Prof. Scott Brandt T Th 2-3:45 Soc Sci 2,

Chapter 1: Introduction CMPS 105: Systems Programming Prof. Scott Brandt T Th 2-3:45 Soc Sci 2,

Chapter 1: Introduction CMPS 105: Systems Programming Prof. Scott Brandt T Th 2-3:45 Soc Sci 2, Rm. 167 Class Outline Chapter 1: Introduction Chapter 2: Unix Standards and Implementations Chapter 3: File I/O Chapter 4: Files and

204 views • 17 slides
Chapter 3 Chapter 3 Data Description McGraw-Hill, Bluman, 7 th ed, Chapter 3 1 Ch Chapter 3

Chapter 3 Chapter 3 Data Description McGraw-Hill, Bluman, 7 th ed, Chapter 3 1 Ch Chapter 3

Chapter 3 Chapter 3 Data Description McGraw-Hill, Bluman, 7 th ed, Chapter 3 1 Ch Chapter 3 Overview t 3 O i Introduction Introduction 3-1 Measures of Central Tendency 3-2 Measures of Variation 3-3 Measures of Position 3

892 views • 87 slides
INTRODUCTION TO TRANSACTION PROCESSING CHAPTER 21 (6/E) CHAPTER 17 (5/E) CHAPTER 21 OUTLINE

INTRODUCTION TO TRANSACTION PROCESSING CHAPTER 21 (6/E) CHAPTER 17 (5/E) CHAPTER 21 OUTLINE

INTRODUCTION TO TRANSACTION PROCESSING CHAPTER 21 (6/E) CHAPTER 17 (5/E) CHAPTER 21 OUTLINE Introduction to Transaction Processing Desirable Properties of Transactions Transaction Support in SQL 2 DEFINITIONS

636 views • 15 slides
Reading assignment Chapter 3.1, 3.2 Chapter 4.1, 4.3 1 Outline Introduction to

Reading assignment Chapter 3.1, 3.2 Chapter 4.1, 4.3 1 Outline Introduction to

Reading assignment Chapter 3.1, 3.2 Chapter 4.1, 4.3 1 Outline Introduction to assembly programing Introduction to Y86 Y86 instructions, encoding and execution 2 Assembly The CPU uses machine language to perform all its

1.06k views • 48 slides
Chapter 13: Introduction to Analysis of Chapter 13: Introduction to Analysis of Variance I t

Chapter 13: Introduction to Analysis of Chapter 13: Introduction to Analysis of Variance I t

Chapter 13: Introduction to Analysis of Chapter 13: Introduction to Analysis of Variance I t Introduction d ti Analysis of variance (ANOVA) is a hypothesis-testing procedure that is used to evaluate mean differences between two or

754 views • 46 slides
Introduction to Business Statistics Introduction to Business Statistics QM 120 Ch Chapter 4 t

Introduction to Business Statistics Introduction to Business Statistics QM 120 Ch Chapter 4 t

DEPARTMENT OF QUANTITATIVE METHODS & INFORMATION SYSTEMS Introduction to Business Statistics Introduction to Business Statistics QM 120 Ch Chapter 4 t 4 Spring 2008 Dr. Mohammad Zainal Chapter 4: Experiment, outcomes, and sample space

1.02k views • 63 slides
Chapter 21 Listings www.charltonslaw.com 0 Index Page Introduction 3 Chapter 20

Chapter 21 Listings www.charltonslaw.com 0 Index Page Introduction 3 Chapter 20

Chapter 21 Listings www.charltonslaw.com 0 Index Page Introduction 3 Chapter 20 Listings 4 Chapter 21 Listings 5 Reasons for Listing under Chapter 21 6 Restrictive Regime 9 Jurisdictional Comparison 17

753 views • 35 slides
Chapter 13 Chapter 13 1 What is this? Chapter 13 2 What is this? Chapter 13 3 What is

Chapter 13 Chapter 13 1 What is this? Chapter 13 2 What is this? Chapter 13 3 What is

Chapter 13 Chapter 13 1 What is this? Chapter 13 2 What is this? Chapter 13 3 What is this? Uncertainty Chapter 13 4 Outline Uncertainty Probability Syntax and Semantics Inference Independence and Bayes Rule

688 views • 37 slides
INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

ADVANCED COMPUTER SECURITY INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT IS SECURITY? A systems security policies describe What the system is supposed to do Store and provide access

479 views • 16 slides
Table of Contents Chapter 1 Introduction Chapter 2 First Prototypes of an

Table of Contents Chapter 1 Introduction Chapter 2 First Prototypes of an

Table of Contents Chapter 1 Introduction Chapter 2 First Prototypes of an Associative Computing (ASC) Processor Design and Implementation of an FPGA-Based Chapter 3 A Scalable Pipelined ASC Processor With Scalable

367 views • 9 slides
Simulation Simulation CHAPTER 1 INTRODUCTION TO SIMULATION 2 MODELING CHAPTER 1 INTRODUCTION

Simulation Simulation CHAPTER 1 INTRODUCTION TO SIMULATION 2 MODELING CHAPTER 1 INTRODUCTION

Introduction to Simulation Simulation CHAPTER 1 INTRODUCTION TO SIMULATION 2 MODELING CHAPTER 1 INTRODUCTION TO SIMULATION 3 MODELING Simulation Modeling Paradigm that creates simplified representations of complex systems Generates

540 views • 22 slides
Introduction to Business Statistics QM 220 Chapter 10 Dr. Mohammad Zainal Chapter 10:

Introduction to Business Statistics QM 220 Chapter 10 Dr. Mohammad Zainal Chapter 10:

Department of Quantitative Methods & Information Systems Introduction to Business Statistics QM 220 Chapter 10 Dr. Mohammad Zainal Chapter 10: Estimation and hypothesis testing: two populations What are we going to cover? 10.1

722 views • 47 slides
Chapter 1 Introduction Computer Networking: A Top Down Approach Featuring the Internet , 3 rd

Chapter 1 Introduction Computer Networking: A Top Down Approach Featuring the Internet , 3 rd

Chapter 1 Introduction Computer Networking: A Top Down Approach Featuring the Internet , 3 rd edition. Jim Kurose, Keith Ross Addison-Wesley, July 2004. Introduction 1-1 Chapter 1: Introduction Our goal: Overview: get feel and

792 views • 35 slides
Chapter 1 Introduction Adapted from Computer Networking: A Top Down Approach, 6th edition,

Chapter 1 Introduction Adapted from Computer Networking: A Top Down Approach, 6th edition,

Chapter 1 Introduction Adapted from Computer Networking: A Top Down Approach, 6th edition, Jim Kurose, Keith Ross Addison-Wesley, March 2012 Introduction 1-1 Chapter 1: introduction Review : what s the Internet? what s a

1.01k views • 59 slides
Last Unit Judiciary Chapter 16 Civil liberties Chapter 5 Civil Rights Chapter 6 Introduction

Last Unit Judiciary Chapter 16 Civil liberties Chapter 5 Civil Rights Chapter 6 Introduction

Last Unit Judiciary Chapter 16 Civil liberties Chapter 5 Civil Rights Chapter 6 Introduction Alexander Hamilton: the judiciary would be the least dangerous branch of the national govt. Do you agree that the judiciary is an

1.31k views • 84 slides
OVERVIEW OF CHAPTER 40B FUNDAMENTALS The Next Chapter of 40B: A Training on the Latest

OVERVIEW OF CHAPTER 40B FUNDAMENTALS The Next Chapter of 40B: A Training on the Latest

OVERVIEW OF CHAPTER 40B FUNDAMENTALS The Next Chapter of 40B: A Training on the Latest Developments in the Affordable Housing Law Fall 2011 Presented by CPTC In Cooperation with CHAPA Introduction to 40B l History of Chapter 40B l 2008

352 views • 20 slides
Chapter Chapter 1 Computer Abstractions and Technology 1.1 Introduction The Computer

Chapter Chapter 1 Computer Abstractions and Technology 1.1 Introduction The Computer

Chapter Chapter 1 Computer Abstractions and Technology 1.1 Introduction The Computer Revolution Progress in computer technology Underpinned by Moores Law Makes novel applications feasible Computers in automobiles Cell

736 views • 46 slides
Chapter 2.0: Introduction Welcome to the second of five chapters in a digital workbook on

Chapter 2.0: Introduction Welcome to the second of five chapters in a digital workbook on

Chapter 2 Construct Coherence This digital workbook on educational assessment design and evaluation was developed by edCount, LLC, under Enhanced Assessment Grants Program, CFDA 84.368A. 1 1 Chapter 2.0: Introduction Welcome to the second of

1.05k views • 83 slides
Introduction This presentation will provide an overview of the Chapter 8 Tax Sale. 2 A Few

Introduction This presentation will provide an overview of the Chapter 8 Tax Sale. 2 A Few

CHAPTER 8 TAX SALES An Overview Presented by The State Controllers Office Hanford, CA October, 2016 Introduction This presentation will provide an overview of the Chapter 8 Tax Sale. 2 A Few Facts About Completed Chapter 8 Tax Sale

714 views • 22 slides
Course Review 2 Quantitative Overview Chapter 1 (Introduction) 0.5 session, 14 slides

Course Review 2 Quantitative Overview Chapter 1 (Introduction) 0.5 session, 14 slides

Mechanical Equipment (ENGI-7903) Spring 2013 Course Review 2 Quantitative Overview Chapter 1 (Introduction) 0.5 session, 14 slides Chapter 2 (Thermofluids fundamentals) 2.5 sessions, 20 slides, 4 examples Chapter 3 (Flow

368 views • 20 slides
7 View-synchronous Group Communication 7.1 Introduction This chapter starts from where Chapter

7 View-synchronous Group Communication 7.1 Introduction This chapter starts from where Chapter

Security and Fault-tolerance in Distributed Systems ETHZ, Summer 2005 Christian Cachin, IBM Zurich Research Lab www.zurich.ibm.com/cca/ 7 View-synchronous Group Communication 7.1 Introduction This chapter starts from where Chapter 4

230 views • 4 slides
Chapter 1 Introduction Chapter 1 Objectives Know the difference between computer

Chapter 1 Introduction Chapter 1 Objectives Know the difference between computer

Chapter 1 Introduction Chapter 1 Objectives Know the difference between computer organization and computer architecture. Understand units of measure common to computer systems. Appreciate the evolution of computers. Understand

1.2k views • 73 slides

More recommend