Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

Σχετικά έγγραφα
Γραµµικός Προγραµµατισµός (ΓΠ)

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

2 Composition. Invertible Mappings

Section 8.3 Trigonometric Equations

Statistical Inference I Locally most powerful tests

The Simply Typed Lambda Calculus

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

EE512: Error Control Coding

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

derivation of the Laplacian from rectangular to spherical coordinates

Example Sheet 3 Solutions

Section 7.6 Double and Half Angle Formulas

Matrices and Determinants

Areas and Lengths in Polar Coordinates

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Other Test Constructions: Likelihood Ratio & Bayes Tests

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Homework 3 Solutions

ΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011

Reminders: linear functions

PARTIAL NOTES for 6.1 Trigonometric Identities

Areas and Lengths in Polar Coordinates

Solutions to Exercise Sheet 5

Math221: HW# 1 solutions

Assalamu `alaikum wr. wb.

Numerical Analysis FMN011

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Srednicki Chapter 55

ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ "ΠΟΛΥΚΡΙΤΗΡΙΑ ΣΥΣΤΗΜΑΤΑ ΛΗΨΗΣ ΑΠΟΦΑΣΕΩΝ. Η ΠΕΡΙΠΤΩΣΗ ΤΗΣ ΕΠΙΛΟΓΗΣ ΑΣΦΑΛΙΣΤΗΡΙΟΥ ΣΥΜΒΟΛΑΙΟΥ ΥΓΕΙΑΣ "

Math 6 SL Probability Distributions Practice Test Mark Scheme

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 24/3/2007

Finite Field Problems: Solutions

Εφαρμογές Επιχειρησιακής Έρευνας. Δρ. Γεώργιος Κ.Δ. Σαχαρίδης

Instruction Execution Times

Congruence Classes of Invertible Matrices of Order 3 over F 2

Inverse trigonometric functions & General Solution of Trigonometric Equations

Approximation of distance between locations on earth given by latitude and longitude

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Concrete Mathematics Exercises from 30 September 2016

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 7η: Consumer Behavior Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών

CE 530 Molecular Simulation

ΜΟΝΤΕΛΑ ΛΗΨΗΣ ΑΠΟΦΑΣΕΩΝ

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

Fractional Colorings and Zykov Products of graphs

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

The challenges of non-stable predicates

D Alembert s Solution to the Wave Equation

Πρόβλημα 1: Αναζήτηση Ελάχιστης/Μέγιστης Τιμής

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Problem Set 3: Solutions

C.S. 430 Assignment 6, Sample Solutions

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

4.6 Autoregressive Moving Average Model ARMA(1,1)

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

On a four-dimensional hyperbolic manifold with finite volume

New bounds for spherical two-distance sets and equiangular lines

Variational Wavefunction for the Helium Atom

ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗΣ

6.3 Forecasting ARMA processes

( y) Partial Differential Equations

Αλγόριθμοι και πολυπλοκότητα NP-Completeness (2)

ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ

Homework 8 Model Solution Section

Μοντελοποίηση προβληµάτων

Every set of first-order formulas is equivalent to an independent set

ST5224: Advanced Statistical Theory II

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Simplex Crossover for Real-coded Genetic Algolithms

Notes on the Open Economy

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

ECON 381 SC ASSIGNMENT 2

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

Figure A.2: MPC and MPCP Age Profiles (estimating ρ, ρ = 2, φ = 0.03)..

Solution Series 9. i=1 x i and i=1 x i.

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

Μεταπτυχιακή διατριβή. Ανδρέας Παπαευσταθίου

Second Order Partial Differential Equations

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

Quadratic Expressions

27/2/2013

Models for Probabilistic Programs with an Adversary

ΜΕΘΟΔΟΙ ΑΕΡΟΔΥΝΑΜΙΚΗΣ

Κατανοώντας και στηρίζοντας τα παιδιά που πενθούν στο σχολικό πλαίσιο

Second Order RLC Filters

If we restrict the domain of y = sin x to [ π 2, π 2

Section 8.2 Graphs of Polar Equations

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 10η: Basics of Game Theory part 2 Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Transcript:

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D. Ακέραιος προγραμματισμός πολύ-κριτηριακές αντικειμενικές συναρτήσεις Πανεπιστήμιο Θεσσαλίας Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής Διάλεξη 12-13 η /2017

Τι παρουσιάστηκε έως σήμερα Αναλυτικές μέθοδοι επίλυσης προβλημάτων βελτιστοποίησης. Μέθοδοι γραμμικού προγραμματισμού για την επίλυση προβλημάτων με γραμμική αντικειμενική συνάρτηση και γραμμικούς περιορισμούς ισότητας ή ανισότητας. Μέθοδοι επίλυσης μονοδιάστατων προβλημάτων βελτιστοποίησης, οι οποίες είναι χρήσιμες στην εύρεση του βέλτιστου μήκους βήματος σε προβλήματα επίλυσης με επαναληπτικές μεθόδους. Μέθοδοι επίλυσης μη γραμμικών προβλημάτων με και χωρίς περιορισμούς Μοντέρνες μέθοδοι βελτιστοποίησης: γενετικοί αλγόριθμοι, simulated annealing, particle swarm optimization, ant colony optimization

Τι θα παρουσιαστεί Μέθοδοι επίλυσης προβλημάτων με διακριτές μεταβλητές: ακέραιος προγραμματισμός Βελτιστοποίηση συναρτήσεων με πολλά κριτήρια (Multi-objective optimization)

Ακέραιος προγραμματισμός Μέχρι τώρα είδαμε προβλήματα με μεταβλητές απόφασης, οι οποίες είναι συνεχείς και πραγματικοί αριθμοί (ανήκουν στο σύνολο πραγματικών αριθμών R). Πολλά πρακτικά προβλήματα μπορούν να λάβουν ακέραιες αριθμητικές τιμές (διακριτές τιμές). Στις τεχνικές που παρουσιάστηκαν θα μπορούσε το πρόβλημα να επιλυθεί συμβατικά και το αποτέλεσμα να στρογγυλοποιηθεί στον κοντινότερο ακέραιο. Όμως πολλές φορές η στρογγυλοποίηση της λύσης παραβιάζει τους περιορισμούς. Αυτό μπορεί να αποφευχθεί αν προσεγγιστεί ως πρόβλημα ακέραιου προγραμματισμού.

Ακέραιος προγραμματισμός Όταν όλες οι μεταβλητές λαμβάνουν μόνο ακέραιες τιμές τότε ονομάζεται all-integer programming problem. Όταν λαμβάνουν μόνο διακριτές τιμές τότε ονομάζεται discrete programming problem Όταν μερικές μόνο από τις μεταβλητές λαμβάνουν ακέραιες τιμές τότε ονομάζεται mixed-integer (discrete) programming problem. Όταν οι μεταβλητές λαμβάνουν μόνο τιμές 0 ή 1 τότε ονομάζεται zero-one programming problem

Γραφική αναπαράσταση

Γραφική αναπαράσταση

Gomory s cutting plane method Η μέθοδος βασίζεται στη δημιουργία επιπλέον περιορισμών, ώστε να μειωθεί το αρχικό σύνολο εφικτών λύσεων με τέτοια μεθοδολογία, η οποία θα περιέχει στο όριό της τη νέα λύση ως ακέραια. Το νέο σύνολο εφικτών λύσεων που προκύπτει από τους νέους περιορισμούς πρέπει να είναι κυρτό (convex) και το τμήμα που αφαιρείται να μην περιέχει διακριτές λύσεις του προβλήματος. Οι νέοι περιορισμοί εισάγονται με συστηματικό τρόπο.

BRANCH-AND-BOUND method

Branch and Bound for Binary IP

Βελτιστοποίηση συναρτήσεων με πολλά κριτήρια Multi-objective optimization

Introduction Is an area of multiple criteria decision making, that is concerned with mathmatical optimization problem involving more than one objective function to be optimized simultaneously. Most real-world engineering optimization problems are multi-objective in nature Objectives are often conflicting Performance vs. Silicon area Quality vs. Cost Efficiency vs. Portability The notion of optimum has to be redefined

Multiobjective optimization (multicriteria, multiperformance, vector optimization or Pareto optimization ) Find a vector of decision variables which satisfies constraints and optimizes a vector function whose elements represent the objective functions Objectives are usually in conflict with each other Optimize: finding solutions which would give the values of all the objective functions acceptable to the designer

Mathematical Formulation

Feasible Region

Pareto Optimum Formulated

Pareto Optimum

Pareto Optimum

Pareto Front

Multi-Objective Optimization Classic Methods : 1- Weighted Sum Method 2- Constraint method 3- Weighted Metric Methods 4- Rotated Weighted Metric Method 5- Benson s Method 5- Value Function Method Currently an Evolutionary Algorithm Methods are Used For MOOP

Multi-Objective Optimization All the problems that we have considered in this class have been comprised of a single objective function with perhaps multiple constraints and design variables. Minimize F(x) Subject To: g( x) 0...

Multi-Objective Optimization Consider the following 2D performance space: F 2 Minimize Both F s Optimum F 1

Multi-Objective Optimization But what happens in a case like this: F 2 Minimize Both F s Optimum? Optimum? F 1

Multi-Objective Optimization Suppose I wish to minimize both of the following functions simultaneously: F 1 = 750x 1 +60(25-x 1 ) x 2 +45(25-x 1 )(25-x 2 ) F 2 = (25-x 1 ) x 2 For the typical weighted sum approach, I would assign a weight to each function such that: w + w = 1 and w, w 1 2 1 2 0

Multi-Objective Optimization I would then combine the two functions into a single function as follows and solve: F T = i w F i i = w F + w F 1 1 2 2

Multi-Objective Optimization The net effect of our weighted sum approach is to convert a multiple objective problem into a single objective problem. But this will only provide us with a single Pareto point. How will be go about finding other Pareto points? By altering the weights and solving again.

Multi-Objective Optimization Ok, so I march up and down my weights generating Pareto points and then I ve got a good representation of my set. Unfortunately not. As it turns out it is seldom this easy. There are a number of pitfalls associated with using weighted sums to generate Pareto points.

Multi-Objective Optimization Some of those pitfalls are: Inability to generate points in non-convex portions of the frontier Inability to generate a uniform sampling of the frontier A non-intuitive relationship between combinatorial parameters (weights, etc.) and performances Poor efficiency (can require an excessive number of function evaluations).