18
Heuristic Optimisation Part 1: Introduction andor Zolt ´ an N ´ emeth http://web.mat.bham.ac.uk/S.Z.Nemeth [email protected] University of Birmingham SZN´ emeth ([email protected]) Heuristic Optimisation University of Birmingham 1 / 17

Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth ([email protected]) Heuristic Optimisation University of Birmingham

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Heuristic Optimisation

Part 1: Introduction

Sandor Zoltan Nemeth

http://web.mat.bham.ac.uk/S.Z.Nemeth

[email protected]

University of Birmingham

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 1 / 17

Page 2: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Overview

Module structure

Topics

Assessment

Difficult problems

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 2 / 17

Page 3: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Module structure

Two lectures/week

One tutorial/fortnight

Office hours: Will be posted on my door:

Room 324, Watson building

Online material: CANVAS or

http://web.mat.bham.ac.uk/S.Z.Nemeth/teaching.htm

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 3 / 17

Page 4: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Topics

1. Basic difficulties in problem solving. The need for heuristic optimization

2. Basic concepts: representation, optima, neighbourhood

3. Exhaustive search and local search

4. Greedy algorithm

5. Dynamic programming

6. A* search. Branch and bound algorithm

7. Simulated annealing

8. Tabu search

9. Evolutionary algorithms

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 4 / 17

Page 5: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Recommended books

Z. Michalewicz, D.B. Fogel: How to solve it: Modern heuristics, Springer,

Corrected Third Printing 2002, ISBN 3-540-66061-5. (core text)

S. Russel, P. Norvig: Artificial Intelligence: A modern approach, Prentice

Hall, Second edition, 2002, ISBN 0137903952. (10%)

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 5 / 17

Page 6: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Assessment

10% continuous assessment - two class tests & and an essay for 4th

year students

90% written exam - 90 minutes

Dates for the classtests: 5th Week of Term, Second Lecture, Lecture

Venue and 9th Week of Term, Second Lecture, Lecture Venue

Deadline for the essay: 7th Week of Term, Friday 1pm

See the Syllabus for more details

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 6 / 17

Page 7: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

What this course is and is not about

It is about traditional and modern heuristic optimization methods for

problem solving

It is not about telling what the ultimate method to use is!

Example puzzle:

There is a well, open at the top, with di-

ameter D = 3m. We throw two sticks of

lengths 4m and 5m into the well. The

sticks stay in a plane and cross each

other. The problem is to find the distance

h from the bottom of the well to the point

where they cross.

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 7 / 17

Page 8: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Why are some problems difficult to solve?

The size of the search space is huge

The problem is very complicated, the solutions to a simplified model

are useless

The evaluation function varies with time, so a set of solutions is

required

There are heavy constraints, it is hard to even construct a feasible

solution

The person solving the problem is not prepared properly

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 8 / 17

Page 9: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

The size of the search space

The Boolean satisfiability (SAT) problem

The task is to make a compound statement of Boolean variables evaluate

to TRUE.

F : {0, 1}n → {0, 1}

For ex.

F(x1, x2, . . . , x6) = (x1

x3

x5)∧

(x2

x4

x6)

For n = 100 the size of the search space is

2100 ≈ 1030!

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 9 / 17

Page 10: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

The size of the search space cont’d

The Traveling Salesperson (TSP) problem

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 10 / 17

Page 11: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

The size of the search space cont’d

The Traveling Salesperson (TSP) problem

The traveling salesperson must visit every city in his territory exactly once

and return to his hometown covering the shortest distance / shortest

traveling time / using the least fuel.

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 10 / 17

Page 12: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

The size of the search space cont’d

A nonlinear programming problem

Maximize function

G2(x) =

∑ni=1 cos4(xi)−2 ∏

ni=1 cos2(xi)√

∑ni=1 ix2

i

subject to

∏ni=1 xi ≥ 0.75,

∑ni=1 xi ≤ 7.5n

with bounds 0 ≤ xi ≤ 10

for 1 ≤ i ≤ n 0

0.2

0.4

0.6

Z

01

23

45

67

89

10

X

01

23

45

67

89

10

Y

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 11 / 17

Page 13: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Finding the model

Problem ⇒ Model ⇒ Solution

Simplify the model and use a traditional optimizer:

Problem ⇒ Modelapprox ⇒ Solutionprec(Modelapprox)

Keep the exact model and use a non-traditional optimizer to find a

near-optimal solution:

Problem ⇒ Modelprec ⇒ Solutionapprox(Modelprec)

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 12 / 17

Page 14: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Change in time

TSP:

Possible routes might change due to rush hours

For ex. travel from A to B normally takes 40 minutes, but can be 60

minutes in worst case

Shall we use the expected time of 50 minutes in our calculations?

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 13 / 17

Page 15: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Constraints

The NLP problem:

We need the optimum within the feasible region

Hard constraints must be satisfied

Timetabling: a student cannot have two lectures at the same time

Soft constraints are desirable, but not mandatory

Timetabling: if there are 3 lectures/week for a module, they would be

preferred on Monday, Wednesday and Friday

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 14 / 17

Page 16: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Heuristic optimization

The original Greek word means “I found it”

We use some information available about the problem

to reduce the region(s) of the search space

to be checked

or to speed up the search

at the cost of not guaranteeing the optimum

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 15 / 17

Page 17: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Summary

Complex problems have a huge number of possible solutions

We often need to simplify the problem, but then we might obtain

useless solutions

The problem’s conditions can change in time.

Real-world problems may have constraints, so generating feasible

solutions is hard already!

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 16 / 17

Page 18: Heuristic Optimisation - School of Mathematicsweb.mat.bham.ac.uk/S.Z.Nemeth/presentations_ho_part_01.pdfS Z Ne´meth (s.nemeth@bham.ac.uk) Heuristic Optimisation University of Birmingham

Recommended reading

Z. Michalewicz & D.B. FogelHow to Solve It: Modern Heuristics

Chapter 1. Why are some problems difficult to solve?

S Z Nemeth ([email protected]) Heuristic Optimisation University of Birmingham 17 / 17