PREFERENCES AGGREGATION & DECISION THEORY A. ROLLAND, UNIVERSITE LUMIERE LYON II
|
|
- Alvin Higgins
- 5 years ago
- Views:
Transcription
1 PREFERENCES AGGREGATION & DECISION THEORY A. ROLLAND, UNIVERSITE LUMIERE LYON II 2013
2 PLAN 1 Introduction & (Feb-05) 2 Preferences Aggregation : utility theory (Feb-15) 3 Preferences Aggregation : decision aiding theory (Feb-19) 4 Decision under uncertainty (Mar-12) 5 Tutorial (I & II) (Mar-19) 6 More about... and evaluation (Apr-02)
3 Introduction
4 DECISION MAKING Decision Making : the art of helping a decision maker to take a good decision Is deciding difficult?
5 DECIDING SHOULD BE DIFFICULT BECAUSE... there are too many possibilities to decide Examples which master should I choose? classical problems : Knapsack Problem (KP), Minimum Spanning Tree Problem, Traveller Salesman Problem (TSP)...
6 EXAMPLE : TSP How to visit 17 towns in Rhône-Alpes?
7 EXAMPLE : TSP How to visit 17 towns in Rhône-Alpes?
8 EXAMPLE : TSP How to visit 17 towns in Rhône-Alpes?
9 EXAMPLE : TSP How to visit 17 towns in Rhône-Alpes?
10 EXAMPLE : TSP How to visit 17 towns in Rhône-Alpes? (n 1)! possibilities!
11 EXAMPLE : TSP How to visit 17 towns in Rhône-Alpes? (n 1)! possibilities! possibilities in Rhône-Alpes
12 COMBINATORIAL OPTIMIZATION finding the best solution into a finite set of objects without any possibility to look at all of them!
13 DECIDING SHOULD BE DIFFICULT BECAUSE... there are too many possibilities to decide there are several decision makers to decide Examples where are we going to drink beer this evening? classical problems : voting theory
14 EXAMPLE : VOTING FOR SWEETS Three friends want to choose sweets together.
15 EXAMPLE : VOTING FOR SWEETS 1 2 3
16 EXAMPLE : VOTING FOR SWEETS 1 2 3
17 EXAMPLE : VOTING FOR SWEETS 1 2 3
18 EXAMPLE : VOTING FOR SWEETS 1 2 3
19 EXAMPLE : VOTING FOR SWEETS 1 2 3?
20 SOCIAL CHOICE finding the collective preferred solution knowing the preferences of every voter this solution sometimes should not exist!
21 DECIDING SHOULD BE DIFFICULT BECAUSE... there are too many possibilities to decide there are several decision makers to decide there are several criteria to be taken into consideration Examples Should I choose a bad movie with my favourite actor or a good movie without him? classical problems : multicriteria decision aiding
22 EXAMPLE : CHOOSING A CAMERA
23 EXAMPLE : CHOOSING A CAMERA
24 EXAMPLE : CHOOSING A CAMERA Mean Min Max σ Price Camera Camera
25 MULTICRITERIA finding the global preferred solution with possibly conflicting criteria
26 DECIDING SHOULD BE DIFFICULT BECAUSE... there are too many possibilities to decide there are several decision makers to decide there are several criteria to be taken into consideration consequences are uncertain Examples Should I take my umbrella? Expected Utility theory : basis of classical economic behaviour
27 EXAMPLE : UMBRELLA
28 EXAMPLE : UMBRELLA Score Probability
29 DO YOU WANT TO PLAY TOGETHER? GAME 1 You win 100 $ GAME 2 You win 0 $ with p=0.5 You win 250 $ with p=0.5 Which game do you choose?
30 DO YOU WANT TO PLAY TOGETHER? GAME 1 You win 10 $ GAME 2 You win 0 $ with p=0.5 You win 25 $ with p=0.5 Which game do you choose?
31 DO YOU WANT TO PLAY TOGETHER? GAME 1 You win $ GAME 2 You win 0 $ with p=0.5 You win $ with p=0.5 Which game do you choose?
32 DECISION UNDER UNCERTAINTY finding the global preferred solution without knowing the exact consequences
33 DECIDING SHOULD BE DIFFICULT BECAUSE... there are too many possibilities to decide Combinatorial optimization there are several decision makers to decide Social Choice Theory there are several criteria to be taken into consideration Multicriteria decision Making consequences are uncertain Decision under uncertainty
34 FORMAL FRAMEWORK Social Choice Multicriteria Uncertainty Candidates Alternatives Actions Voters Criteria States of the nature Ranks Values Consequences (Number) (Weight) (Probability) Social Choice : individual preferences global preferences Multicriteria : preferences on criteria preferences on the alternatives Uncertainty : preferences on the consequences preferences on the actions
35 Preference Modelling
36 BINARY RELATION BINARY RELATION : DEFINITION Let A a finite set of elements {a, b, c...}, where A = n. A binary relation R on A is a subset of the Cartesian product R A A, ie a set of ordered pairs (a; b) A A. If (a; b) R, noted arb, then element a is said to be in relation with element b for the relation R.
37 GRAPHICAL REPRESENTATION A C B D
38 MATRICIDAL REPRESENTATION One can also represent relation R by a squared binary matrix :
39 BINARY RELATION PROPERTIES If R is a binary relation on A A, then R is the complementary relation of R : arb bra I R is the symmetric part of R : ai R b arb and bra P R is the asymmetric part of R : ap R b arb and (bra) E R is an equivalence ( relation : ark brk ae R b kra krb k A
40 BINARY RELATION PROPERTIES R is said to be... reflexive if ara a A symmetric if arb bra asymmetric if arb bra anti-symmetric if arb bra b = a transitive if arb and brc arc semi-transitive if (arb brc) (ard drc) Ferrers if (arb crd) (ard crb) complete if arb bra, a b. Note that I R is symmetric and P R is asymmetric.
41 BINARY RELATION PROPERTIES R is said to be... reflexive if ara a A A C B D
42 BINARY RELATION PROPERTIES R is said to be... symmetric if arb bra A C B D
43 BINARY RELATION PROPERTIES R is said to be... asymmetric if arb bra A C B D
44 BINARY RELATION PROPERTIES R is said to be... anti-symmetric if arb bra b = a A C A B/C B D D
45 BINARY RELATION PROPERTIES R is said to be... transitive if arb and brc arc A C B D
46 BINARY RELATION PROPERTIES R is said to be... semi-transitive if (arb brc) (ard drc) A A B B D C D C A A B B D C D C
47 BINARY RELATION PROPERTIES R is said to be... Ferrers if (arb crd) (ard crb) A C A C B D B D
48 ORDERS DEFINITION A relation R is an order iff R is complete R is transitive R is antisymmetric Numerical representation : 7 6 A 5 B 4 C 3 D 2 E 1 F
49 PRE-ORDERS DEFINITION A relation R is an pre-order iff R is complete R is transitive Numerical representation : 7 6 A 5 B 4 3 C D 2 E 1 F
50 SEMI-ORDERS DEFINITION A relation R is a semi-order iff R is complete R is Ferrers R is semi-transitive Numerical representation :
51 INTERVAL ORDERS DEFINITION A relation R is an interval order iff R is complete R is Ferrers Numerical representation :
52 EXERCISE 1 Let B be the following binary relation : aba abb bba bbb bbc cba cbb cbc cbd cbe dba dbb dbc dbd dbe eba ebb ebc ebd ebe 1 propose a matricidal representation of B 2 propose a graphical representation of B 3 is B an order? a pre-order? a semi-order? an interval order?
53 EXERCISE 2 Let B be a binary relation on the set {a, b, c, d, e, f } defined by : aba abb abc abd abe abf bbb bbc bbd bbe bbf cbc cbd cbe cbf dbb dbe dbd dbe ebd ebe ebf fbe fbf 1 propose a matricidal representation of B 2 represent graphically the relation B 3 is the relation B reflexive? symmetric? asymmetric? transitive? semi-transitive? 4 how can you qualify the relation B?
54 EXERCISE 3 Word HandBall Championship Results of group A : All FRA BRA TUN ARG MON ALL FRA BRA TUN ARG 1 MON 1 how can you qualify this relation?
55 BIBLIOGRAPHY SOME USEFULL REFERENCES M. Pirlot and Ph. Vincke. Semi Orders. Kluwer Academic, Dordrecht, 1997 D. Bouyssou and Ph. Vincke, Binary Relations and Preference Modeling, in Concept and Methods for decision aiding, Ch. 2, 2009
1.4 Equivalence Relations and Partitions
24 CHAPTER 1. REVIEW 1.4 Equivalence Relations and Partitions 1.4.1 Equivalence Relations Definition 1.4.1 (Relation) A binary relation or a relation on a set S is a set R of ordered pairs. This is a very
More informationReference-based Preferences Aggregation Procedures in Multicriteria Decision Making
Reference-based Preferences Aggregation Procedures in Multicriteria Decision Making Antoine Rolland Laboratoire ERIC - Université Lumière Lyon 2 5 avenue Pierre Mendes-France F-69676 BRON Cedex - FRANCE
More informationComparison of two versions of the Ferrers property of fuzzy interval orders
Comparison of two versions of the Ferrers property of fuzzy interval orders Susana Díaz 1 Bernard De Baets 2 Susana Montes 1 1.Dept. Statistics and O. R., University of Oviedo 2.Dept. Appl. Math., Biometrics
More informationAutomata and Languages
Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets
More informationRelations, Functions, and Sequences
MCS-236: Graph Theory Handout #A3 San Skulrattanakulchai Gustavus Adolphus College Sep 13, 2010 Relations, Functions, and Sequences Relations An ordered pair can be constructed from any two mathematical
More informationA characterization of the 2-additive Choquet integral
A characterization of the 2-additive Choquet integral Brice Mayag Thales R & T University of Paris I brice.mayag@thalesgroup.com Michel Grabisch University of Paris I Centre d Economie de la Sorbonne 106-112
More informationCSC Discrete Math I, Spring Relations
CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:
More informationSolutions to In Class Problems Week 4, Mon.
Massachusetts Institute of Technology 6.042J/18.062J, Fall 05: Mathematics for Computer Science September 26 Prof. Albert R. Meyer and Prof. Ronitt Rubinfeld revised September 26, 2005, 1050 minutes Solutions
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationQUASI-PREFERENCE: CHOICE ON PARTIALLY ORDERED SETS. Contents
QUASI-PREFERENCE: CHOICE ON PARTIALLY ORDERED SETS ZEFENG CHEN Abstract. A preference relation is a total order on a finite set and a quasipreference relation is a partial order. This paper first introduces
More informationA Preference Logic With Four Kinds of Preferences
A Preference Logic With Four Kinds of Preferences Zhang Zhizheng and Xing Hancheng School of Computer Science and Engineering, Southeast University No.2 Sipailou, Nanjing, China {seu_zzz; xhc}@seu.edu.cn
More informationMassachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr.
Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Radhika Nagpal Quiz 1 Appendix Appendix Contents 1 Induction 2 2 Relations
More informationWhat are relations? f: A B
What are relations? Ch 9.1 What are relations? Notation Informally, a relation is a set of pairs of objects (or in general, set of n-tuples) that are related to each other by some rule. We will focus first
More informationDeviations from the Mean
Deviations from the Mean The Markov inequality for non-negative RVs Variance Definition The Bienaymé Inequality For independent RVs The Chebyeshev Inequality Markov s Inequality For any non-negative random
More informationValued relations aggregation with the Borda method.
Valued relations aggregation with the Borda method. Thierry Marchant* Service de mathématiques de la gestion, Université Libre de Bruxelles, Boulevard du Triomphe CP210-01, 1050 Bruxelles, Belgium. Tél
More information14 Equivalence Relations
14 Equivalence Relations Tom Lewis Fall Term 2010 Tom Lewis () 14 Equivalence Relations Fall Term 2010 1 / 10 Outline 1 The definition 2 Congruence modulo n 3 Has-the-same-size-as 4 Equivalence classes
More informationBADHAN ACADEMY OF MATHS CONTACT FOR HOMETUTOR, FOR 11 th 12 th B.B.A, B.C.A, DIPLOMA,SAT,CAT SSC 1.2 RELATIONS CHAPTER AT GLANCE
BADHAN ACADEMY OF MATHS 9804435 CONTACT FOR HOMETUTOR, FOR th 2 th B.B.A, B.C.A, DIPLOMA,SAT,CAT SSC.2 RELATIONS CHAPTER AT GLANCE. RELATIONS : Let A and B be two non- empty sets. A relation from set A
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2017 Fall Hakjoo Oh COSE212 2017 Fall, Lecture 1 September 4, 2017 1 / 9 Inductive Definitions Inductive definition (induction)
More informationCombinatorial optimization problems
Combinatorial optimization problems Heuristic Algorithms Giovanni Righini University of Milan Department of Computer Science (Crema) Optimization In general an optimization problem can be formulated as:
More informationRelations. Definition 1 Let A and B be sets. A binary relation R from A to B is any subset of A B.
Chapter 5 Relations Definition 1 Let A and B be sets. A binary relation R from A to B is any subset of A B. If A = B then a relation from A to B is called is called a relation on A. Examples A relation
More informationWho wins the election? Polarizing outranking relations with large performance differences. Condorcet s Approach. Condorcet s method
Who wins the election? Polarizing outranking relations with large performance differences Raymond Bisdorff Université du Luxembourg FSTC/ILAS ORBEL 26, Bruxelles, February 2012 Working hypothesis: 1. Each
More informationRelations Graphical View
Introduction Relations Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Recall that a relation between elements of two sets is a subset of their Cartesian
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2018 Fall Hakjoo Oh COSE212 2018 Fall, Lecture 1 September 5, 2018 1 / 10 Inductive Definitions Inductive definition (induction)
More informationStrategic Manipulation and Regular Decomposition of Fuzzy Preference Relations
Strategic Manipulation and Regular Decomposition of Fuzzy Preference Relations Olfa Meddeb, Fouad Ben Abdelaziz, José Rui Figueira September 27, 2007 LARODEC, Institut Supérieur de Gestion, 41, Rue de
More informationComputational complexity theory
Computational complexity theory Introduction to computational complexity theory Complexity (computability) theory deals with two aspects: Algorithm s complexity. Problem s complexity. References S. Cook,
More informationNotes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.
Relations Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 7.1, 7.3 7.5 of Rosen cse235@cse.unl.edu
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationSection 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B.
Section 7.1 Relations and Their Properties Definition: A binary relation R from a set A to a set B is a subset R A B. Note: there are no constraints on relations as there are on functions. We have a common
More informationRelations, Functions & Binary Operations
Relations, Functions & Binary Operations Important Terms, Definitions & Formulae 0 TYPES OF INTERVLS a) Open interval: If a and b be two real numbers such that a b then, the set of all the real numbers
More informationChapter 7. Geometric Inequalities
4. Let m S, then 3 2 m R. Since the angles are supplementary: 3 2580 4568 542 Therefore, m S 42 and m R 38. Part IV 5. Statements Reasons. ABC is not scalene.. Assumption. 2. ABC has at least 2. Definition
More informationComputational complexity theory
Computational complexity theory Introduction to computational complexity theory Complexity (computability) theory deals with two aspects: Algorithm s complexity. Problem s complexity. References S. Cook,
More informationName: Date: Period: ID: REVIEW CH 1 TEST REVIEW. 1. Sketch and label an example of each statement. b. A B. a. HG. d. M is the midpoint of PQ. c.
Name: Date: Period: ID: REVIEW CH 1 TEST REVIEW 1 Sketch and label an example of each statement a HG b A B c ST UV d M is the midpoint of PQ e Angles 1 and 2 are vertical angles f Angle C is a right angle
More informationRelations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)
Relations Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations Reading (Epp s textbook) 8.-8.3. Cartesian Products The symbol (a, b) denotes the ordered
More informationThe main limitation of the concept of a. function
Relations The main limitation of the concept of a A function, by definition, assigns one output to each input. This means that a function cannot model relationships between sets where some objects on each
More informationGeometry CP Review WS
Geometry CP 2.1-2.5 Review WS Name 1. a) Use inductive reasoning to sketch the fourth figure in each pattern. Figure 4 b) How many squares are in the next object? 2. Use inductive reasoning to write the
More informationAnalyzing the correspondence between non-strict and strict outranking relations
Analyzing the correspondence between non-strict and strict outranking relations Denis Bouyssou Marc Pirlot CNRS Paris, France FPMs Mons, Belgium ROADEF, Toulouse, 2010 2 Introduction Outranking relations
More informationFusing Interval Preferences
Fusing Interval Preferences Taner Bilgiç Department of Industrial Engineering Boğaziçi University Bebek, İstanbul, 80815 Turkey taner@boun.edu.tr Appeared in Proceedings of EUROFUSE Workshop on Preference
More informationCS2013: Relations and Functions
CS2013: Relations and Functions 20/09/16 Kees van Deemter 1 Relations and Functions Some background for CS2013 Necessary for understanding the difference between Deterministic FSAs (DFSAs) and NonDeterministic
More informationToday. Binary relations establish a relationship between elements of two sets
Today Relations Binary relations and properties Relationship to functions n-ary relations Definitions Binary relations establish a relationship between elements of two sets Definition: Let A and B be two
More informationINF210 Datamaskinteori (Models of Computation)
INF210 Datamaskinteori (Models of Computation) Textbook: John Martin, Introduction to Languages and the Theory of Computation, McGraw Hill, Third Edition. Fedor V. Fomin Datamaskinteori 1 Datamaskinteori
More informationCOMP232 - Mathematics for Computer Science
COMP232 - Mathematics for Computer Science Tutorial 11 Ali Moallemi moa ali@encs.concordia.ca Iraj Hedayati h iraj@encs.concordia.ca Concordia University, Fall 2015 Ali Moallemi, Iraj Hedayati COMP232
More informationMath 2534 Solution to Test 3A Spring 2010
Math 2534 Solution to Test 3A Spring 2010 Problem 1: (10pts) Prove that R is a transitive relation on Z when given that mrpiff m pmod d (ie. d ( m p) ) Solution: The relation R is transitive, if arb and
More informationAnswer Key. 9.1 Parts of Circles. Chapter 9 Circles. CK-12 Geometry Concepts 1. Answers. 1. diameter. 2. secant. 3. chord. 4.
9.1 Parts of Circles 1. diameter 2. secant 3. chord 4. point of tangency 5. common external tangent 6. common internal tangent 7. the center 8. radius 9. chord 10. The diameter is the longest chord in
More informationA B C DEF A AE E F A A AB F F A
A B C DEF A AE E F A A AB F F A F A F A B E A A F DEF AE D AD A B 2 FED AE A BA B EBF A F AE A E F A A A F ED FE F A F ED EF F A B E AE F DEF A BA FA B E F F E FB ED AB ADA AD A BA FA B AE A EFB A A F
More informationCOMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University
COMP 182 Algorithmic Thinking Relations Luay Nakhleh Computer Science Rice University Chapter 9, Section 1-6 Reading Material When we defined the Sorting Problem, we stated that to sort the list, the elements
More informationRight Derivations on Semirings
International Mathematical Forum, Vol. 8, 2013, no. 32, 1569-1576 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.38150 Right Derivations on Semirings S. P. Nirmala Devi Department of
More informationGood and bad objects: the symmetric difference rule. Abstract
Good and bad objects: the symmetric difference rule Dinko Dimitrov Tilburg University Peter Borm Tilburg University Ruud Hendrickx Tilburg University Abstract We consider the problem of ranking sets of
More informationChapter 2 - Relations
Chapter 2 - Relations Chapter 2: Relations We could use up two Eternities in learning all that is to be learned about our own world and the thousands of nations that have arisen and flourished and vanished
More informationCHAPTER 1. Relations. 1. Relations and Their Properties. Discussion
CHAPTER 1 Relations 1. Relations and Their Properties 1.1. Definition of a Relation. Definition 1.1.1. A binary relation from a set A to a set B is a subset R A B. If (a, b) R we say a is Related to b
More informationDependence and Independence in Social Choice Theory
Dependence and Independence in Social Choice Theory Eric Pacuit Department of Philosophy University of Maryland, College Park pacuit.org epacuit@umd.edu March 4, 2014 Eric Pacuit 1 Competing desiderata
More informationAdvances in the Use of MCDA Methods in Decision-Making
Advances in the Use of MCDA Methods in Decision-Making JOSÉ RUI FIGUEIRA CEG-IST, Center for Management Studies, Instituto Superior Técnico, Lisbon LAMSADE, Université Paris-Dauphine (E-mail : figueira@ist.utl.pt)
More informationPolynomial-time Reductions
Polynomial-time Reductions Disclaimer: Many denitions in these slides should be taken as the intuitive meaning, as the precise meaning of some of the terms are hard to pin down without introducing the
More informationAn Adaptive elearning framework- Design Issues and Considerations
The ITB Journal Volume 5 Issue 1 Article 4 2004 An Adaptive elearning framework- Design Issues and Considerations Maria Brennan Institute of Technology Blanchardstown, maria.brennan@itb.ie Follow this
More informationFavoring Consensus and Penalizing Disagreement in Group Decision Making
Favoring Consensus and Penalizing Disagreement in Group Decision Making Paper: jc*-**-**-**** Favoring Consensus and Penalizing Disagreement in Group Decision Making José Luis García-Lapresta PRESAD Research
More informationPartial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS
Partial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS 1 B. Preference Aggregation Rules 3. Anti-Plurality a. Assign zero points to a voter's last preference and one point to all other preferences.
More informationChapter 1 PREFERENCE MODELLING
Chapter 1 PREFERENCE MODELLING Meltem Öztürk, Alexis Tsoukiàs LAMSADE-CNRS, Université Paris Dauphine, 75775 Paris Cedex 16, France {ozturk,tsoukias}@lamsade.dauphine.fr Philippe Vincke Université Libre
More informationConjoint Measurement Models for Preference Relations
Chapter 16 Conjoint Measurement Models for Preference Relations 16.1. Introduction Conjoint measurement [KRA 71, WAK 89] is concerned with the study of binary relations defined on Cartesian products of
More informationChapter 9: Relations Relations
Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair
More informationReading 11 : Relations and Functions
CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Reading 11 : Relations and Functions Instructor: Beck Hasti and Gautam Prakriya In reading 3, we described a correspondence between predicates
More informationWhat is an integer program? Modelling with Integer Variables. Mixed Integer Program. Let us start with a linear program: max cx s.t.
Modelling with Integer Variables jesla@mandtudk Department of Management Engineering Technical University of Denmark What is an integer program? Let us start with a linear program: st Ax b x 0 where A
More informationRelations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)
Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) CmSc 365 Theory of Computation 1. Relations Definition: Let A and B be two sets. A relation R from A to B is any set of ordered pairs
More informationSurvey of Voting Procedures and Paradoxes
Survey of Voting Procedures and Paradoxes Stanford University ai.stanford.edu/ epacuit/lmh Fall, 2008 :, 1 The Voting Problem Given a (finite) set X of candidates and a (finite) set A of voters each of
More information9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics
MATH10111 - Foundations of Pure Mathematics 9 RELATIONS 9.1 Reflexive, symmetric and transitive relations Let A be a set with A. A relation R on A is a subset of A A. For convenience, for x, y A, write
More informationBinary Relations and Preference Modeling
Chapter 2 Binary Relations and Preference Modeling 2.1. Introduction This volume is dedicated to concepts, results, procedures and software aiming at helping people make a decision. It is then natural
More informationData Structures in Java
Data Structures in Java Lecture 21: Introduction to NP-Completeness 12/9/2015 Daniel Bauer Algorithms and Problem Solving Purpose of algorithms: find solutions to problems. Data Structures provide ways
More informationAn axiomatic approach to ELECTRE TRI 1
An axiomatic approach to ELECTRE TRI 1 Denis Bouyssou 2 CNRS LAMSADE Thierry Marchant 3 Ghent University 22 April 2004 Prepared for the Brest Proceedings Revised following the comments by Thierry 1 This
More informationAREAS OF PARALLELOGRAMS AND TRIANGLES
15 MATHEMATICS AREAS OF PARALLELOGRAMS AND TRIANGLES CHAPTER 9 9.1 Introduction In Chapter 5, you have seen that the study of Geometry, originated with the measurement of earth (lands) in the process of
More informationWreath Products in Algebraic Voting Theory
Wreath Products in Algebraic Voting Theory Committed to Committees Ian Calaway 1 Joshua Csapo 2 Dr. Erin McNicholas 3 Eric Samelson 4 1 Macalester College 2 University of Michigan-Flint 3 Faculty Advisor
More informationIsolation and Contentment in Segregation Games with Three Types
Student Projects Isolation and Contentment in Segregation Games with Three Types Mark Burek, Brian McDonough, Spencer Roach Mark Burek is finishing up his undergraduate work in mathematics at Valparaiso
More informationPLC Papers. Created For:
PLC Papers Created For: ed by use of accompanying mark schemes towards the rear to attain 8 out of 10 marks over time by completing Circle Theorems 1 Grade 8 Objective: Apply and prove the standard circle
More informationPRIME RADICAL IN TERNARY HEMIRINGS. R.D. Giri 1, B.R. Chide 2. Shri Ramdeobaba College of Engineering and Management Nagpur, , INDIA
International Journal of Pure and Applied Mathematics Volume 94 No. 5 2014, 631-647 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v94i5.1
More informationComputer Science 385 Analysis of Algorithms Siena College Spring Topic Notes: Limitations of Algorithms
Computer Science 385 Analysis of Algorithms Siena College Spring 2011 Topic Notes: Limitations of Algorithms We conclude with a discussion of the limitations of the power of algorithms. That is, what kinds
More informationSection 2-1. Chapter 2. Make Conjectures. Example 1. Reasoning and Proof. Inductive Reasoning and Conjecture
Chapter 2 Reasoning and Proof Section 2-1 Inductive Reasoning and Conjecture Make Conjectures Inductive reasoning - reasoning that uses a number of specific examples to arrive at a conclusion Conjecture
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationLecture 4.3: Closures and Equivalence Relations
Lecture 4.3: Closures and CS 250, Discrete Structures, Fall 2015 Nitesh Saxena Adopted from previous lectures by Cinda Heeren Course Admin Mid-Term 2 Exam Solution will be posted soon Should have the results
More informationOn measuring and testing the ordinal correlation between valued outranking relations
On measuring and testing the ordinal correlation between valued outranking relations Raymond Bisdorff University of Luxembourg, FSTC/CSC/ILIAS raymond.bisdorff@uni.lu Abstract. We generalize Kendall s
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Section 9.1 Rela%onships Relationships between elements of sets occur in many contexts. Every day we deal with relationships such as those between a business and its telephone number, an employee and his
More informationConnection MATH Connection. Benjamin V.C. Collins, James A. Swenson MATH 2730
MATH 2730 Benjamin V.C. Collins James A. Swenson Traveling Salesman Problem Image: Padberg-Rinaldi, 1987: 532 cities http://www.tsp.gatech.edu/data/usa/tours.html Walks in a graph Let G = (V, E) be a graph.
More informationProofs Practice Proofs Worksheet #2
Name: No. Per: Date: Serafino Geometry M T W R F 2C Proofs Practice Proofs Worksheet #2 1. Given: O is the midpoint of MN Prove: OW = ON OM = OW 1. O is the midpoint of seg MN Given 2. Segment NO = Segment
More informationBinary Relations Part Two
Binary Relations Part Two Outline for Today Recap from Last Time Where are we, again? A Fundamental Theorem What do equivalence relations do? Strict Orders Representing prerequisites. Hasse Diagrams Drawing
More informationCoalitional Strategic Games
Coalitional Strategic Games Kazuhiro Hara New York University November 28, 2016 Job Market Paper The latest version is available here. Abstract In pursuit of games played by groups of individuals (each
More informationSensitivity Analysis for Intuitionistic Fuzzy Travelling Salesman Problem
Volume 119 No. 9 2018, 143-154 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu ijpam.eu Sensitivity Analysis for Intuitionistic Fuzzy Travelling Salesman Problem
More information3. R = = on Z. R, S, A, T.
6 Relations Let R be a relation on a set A, i.e., a subset of AxA. Notation: xry iff (x, y) R AxA. Recall: A relation need not be a function. Example: The relation R 1 = {(x, y) RxR x 2 + y 2 = 1} is not
More informationGiven. Segment Addition. Substitution Property of Equality. Division. Subtraction Property of Equality
Mastery Test Questions (10) 1. Question: What is the missing step in the following proof? Given: ABC with DE AC. Prove: Proof: Statement Reason
More informationLimitations of Algorithm Power
Limitations of Algorithm Power Objectives We now move into the third and final major theme for this course. 1. Tools for analyzing algorithms. 2. Design strategies for designing algorithms. 3. Identifying
More informationCS 320, Fall Dr. Geri Georg, Instructor 320 NP 1
NP CS 320, Fall 2017 Dr. Geri Georg, Instructor georg@colostate.edu 320 NP 1 NP Complete A class of problems where: No polynomial time algorithm has been discovered No proof that one doesn t exist 320
More informationFall Inverse of a matrix. Institute: UC San Diego. Authors: Alexander Knop
Fall 2017 Inverse of a matrix Authors: Alexander Knop Institute: UC San Diego Row-Column Rule If the product AB is defined, then the entry in row i and column j of AB is the sum of the products of corresponding
More informationDeveloping a Distributed Java-based Speech Recognition Engine
The ITB Journal Volume 5 Issue 1 Article 2 2004 Developing a Distributed Java-based Speech Recognition Engine Tony Ayers Institute of Technology Blanchardstown, tony.ayers@itb.ie Brian Nolan Institute
More informationTechnische Universität München, Zentrum Mathematik Lehrstuhl für Angewandte Geometrie und Diskrete Mathematik. Combinatorial Optimization (MA 4502)
Technische Universität München, Zentrum Mathematik Lehrstuhl für Angewandte Geometrie und Diskrete Mathematik Combinatorial Optimization (MA 4502) Dr. Michael Ritter Problem Sheet 1 Homework Problems Exercise
More informationMath.3336: Discrete Mathematics. Chapter 9 Relations
Math.3336: Discrete Mathematics Chapter 9 Relations Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall 2018
More informationDEPARTMENT OF ECONOMICS WORKING PAPER SERIES. Modeling Resource Flow Asymmetries using Condensation Networks
DEPARTMENT OF ECONOMICS WORKING PAPER SERIES Modeling Resource Flow Asymmetries using Condensation Networks Pascal Billand Universite de Lyon, Universite Jean Monnet & CNRS, GATE Lyon St. Etienne Christophe
More informationThema Working Paper n Université de Cergy Pontoise, France
Thema Working Paper n 2010-02 Université de Cergy Pontoise, France Sincere Scoring Rules Nunez Matias May, 2010 Sincere Scoring Rules Matías Núñez May 2010 Abstract Approval Voting is shown to be the unique
More informationHL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups
HL Topic (Further Mathematics SL Topic 3) 9 This topic explores the fundamental nature of algebraic structures and the relationships between them. Included is an extension of the work covered in the Core
More informationWorksheet on Relations
Worksheet on Relations Recall the properties that relations can have: Definition. Let R be a relation on the set A. R is reflexive if for all a A we have ara. R is irreflexive or antireflexive if for all
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationRelationships between elements of sets occur in many contexts. Every day we deal with
C H A P T E R 9 Relations 9.1 Relations and Their Properties 9.2 n-ary Relations and Their Applications 9.3 Representing Relations 9.4 Closures of Relations 9.5 Equivalence Relations 9.6 Partial Orderings
More informationAnalysis of Algorithms. Unit 5 - Intractable Problems
Analysis of Algorithms Unit 5 - Intractable Problems 1 Intractable Problems Tractable Problems vs. Intractable Problems Polynomial Problems NP Problems NP Complete and NP Hard Problems 2 In this unit we
More information9. Quantifier-free Equality and Data Structures
9. Quantifier-free Equality and Data Structures The Theory of Equality T E Σ E : {=, a, b, c,..., f, g, h,..., p, q, r,...} uninterpreted symbols: constants a, b, c,... functions f, g, h,... predicates
More informationCharacterization of Semantics for Argument Systems
Characterization of Semantics for Argument Systems Philippe Besnard and Sylvie Doutre IRIT Université Paul Sabatier 118, route de Narbonne 31062 Toulouse Cedex 4 France besnard, doutre}@irit.fr Abstract
More informationToday s topics. Binary Relations. Inverse Relations. Complementary Relations. Let R:A,B be any binary relation.
Today s topics Binary Relations Relations Kinds of relations n-ary relations Representations of relations Reading: Sections 7.-7.3 Upcoming Upcoming Minesweeper Let A, B be any sets. A binary relation
More information