PREFERENCES AGGREGATION & DECISION THEORY A. ROLLAND, UNIVERSITE LUMIERE LYON II

Size: px
Start display at page:

Download "PREFERENCES AGGREGATION & DECISION THEORY A. ROLLAND, UNIVERSITE LUMIERE LYON II"

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

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 information

Reference-based Preferences Aggregation Procedures in Multicriteria Decision Making

Reference-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 information

Comparison of two versions of the Ferrers property of fuzzy interval orders

Comparison 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 information

Automata and Languages

Automata 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 information

Relations, Functions, and Sequences

Relations, 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 information

A characterization of the 2-additive Choquet integral

A 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 information

CSC Discrete Math I, Spring Relations

CSC 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 information

Solutions to In Class Problems Week 4, Mon.

Solutions 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 information

Sets and Motivation for Boolean algebra

Sets 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 information

QUASI-PREFERENCE: CHOICE ON PARTIALLY ORDERED SETS. Contents

QUASI-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 information

A Preference Logic With Four Kinds of Preferences

A 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 information

Massachusetts 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. 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 information

What are relations? f: A B

What 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 information

Deviations from the Mean

Deviations 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 information

Valued relations aggregation with the Borda method.

Valued 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 information

14 Equivalence Relations

14 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 information

BADHAN 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 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 information

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1)

COSE212: 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 information

Combinatorial optimization problems

Combinatorial 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 information

Relations. Definition 1 Let A and B be sets. A binary relation R from A to B is any subset of A B.

Relations. 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 information

Who 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. 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 information

Relations Graphical View

Relations 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 information

COSE212: Programming Languages. Lecture 1 Inductive Definitions (1)

COSE212: 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 information

Strategic Manipulation and Regular Decomposition of Fuzzy Preference Relations

Strategic 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 information

Computational complexity theory

Computational 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 information

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Notes. 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 information

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section 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 information

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.

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. 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 information

Relations, Functions & Binary Operations

Relations, 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 information

Chapter 7. Geometric Inequalities

Chapter 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 information

Computational complexity theory

Computational 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 information

Name: 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. 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 information

Relations. 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) 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 information

The main limitation of the concept of a. function

The 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 information

Geometry CP Review WS

Geometry 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 information

Analyzing the correspondence between non-strict and strict outranking relations

Analyzing 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 information

Fusing Interval Preferences

Fusing 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 information

CS2013: Relations and Functions

CS2013: 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 information

Today. Binary relations establish a relationship between elements of two sets

Today. 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 information

INF210 Datamaskinteori (Models of Computation)

INF210 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 information

COMP232 - Mathematics for Computer Science

COMP232 - 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 information

Math 2534 Solution to Test 3A Spring 2010

Math 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 information

Answer Key. 9.1 Parts of Circles. Chapter 9 Circles. CK-12 Geometry Concepts 1. Answers. 1. diameter. 2. secant. 3. chord. 4.

Answer 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 information

A 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 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 information

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University

COMP 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 information

Right Derivations on Semirings

Right 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 information

Good and bad objects: the symmetric difference rule. Abstract

Good 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 information

Chapter 2 - Relations

Chapter 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 information

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

CHAPTER 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 information

Dependence and Independence in Social Choice Theory

Dependence 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 information

Advances in the Use of MCDA Methods in Decision-Making

Advances 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 information

Polynomial-time Reductions

Polynomial-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 information

An Adaptive elearning framework- Design Issues and Considerations

An 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 information

Favoring Consensus and Penalizing Disagreement in Group Decision Making

Favoring 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 information

Partial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS

Partial 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 information

Chapter 1 PREFERENCE MODELLING

Chapter 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 information

Conjoint Measurement Models for Preference Relations

Conjoint 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 information

Chapter 9: Relations Relations

Chapter 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 information

Reading 11 : Relations and Functions

Reading 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 information

What is an integer program? Modelling with Integer Variables. Mixed Integer Program. Let us start with a linear program: max cx s.t.

What 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 information

Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)

Relations, 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 information

Survey of Voting Procedures and Paradoxes

Survey 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 information

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

9 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 information

Binary Relations and Preference Modeling

Binary 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 information

Data Structures in Java

Data 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 information

An axiomatic approach to ELECTRE TRI 1

An 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 information

AREAS OF PARALLELOGRAMS AND TRIANGLES

AREAS 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 information

Wreath Products in Algebraic Voting Theory

Wreath 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 information

Isolation and Contentment in Segregation Games with Three Types

Isolation 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 information

PLC Papers. Created For:

PLC 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 information

PRIME RADICAL IN TERNARY HEMIRINGS. R.D. Giri 1, B.R. Chide 2. Shri Ramdeobaba College of Engineering and Management Nagpur, , INDIA

PRIME 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 information

Computer Science 385 Analysis of Algorithms Siena College Spring Topic Notes: Limitations of Algorithms

Computer 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 information

Section 2-1. Chapter 2. Make Conjectures. Example 1. Reasoning and Proof. Inductive Reasoning and Conjecture

Section 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 information

Part IA Numbers and Sets

Part 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 information

Lecture 4.3: Closures and Equivalence Relations

Lecture 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 information

On measuring and testing the ordinal correlation between valued outranking relations

On 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 information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: 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 information

Connection MATH Connection. Benjamin V.C. Collins, James A. Swenson MATH 2730

Connection 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 information

Proofs Practice Proofs Worksheet #2

Proofs 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 information

Binary Relations Part Two

Binary 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 information

Coalitional Strategic Games

Coalitional 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 information

Sensitivity Analysis for Intuitionistic Fuzzy Travelling Salesman Problem

Sensitivity 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 information

3. R = = on Z. R, S, A, T.

3. 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 information

Given. Segment Addition. Substitution Property of Equality. Division. Subtraction Property of Equality

Given. 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 information

Limitations of Algorithm Power

Limitations 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 information

CS 320, Fall Dr. Geri Georg, Instructor 320 NP 1

CS 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 information

Fall Inverse of a matrix. Institute: UC San Diego. Authors: Alexander Knop

Fall 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 information

Developing a Distributed Java-based Speech Recognition Engine

Developing 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 information

Technische 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) 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 information

Math.3336: Discrete Mathematics. Chapter 9 Relations

Math.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 information

DEPARTMENT 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 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 information

Thema Working Paper n Université de Cergy Pontoise, France

Thema 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 information

HL Topic. Sets, relations and groups. (Further Mathematics SL Topic 3) Sets Ordered pairs Functions Binary operations Groups Further groups

HL 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 information

Worksheet on Relations

Worksheet 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 information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture 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 information

Relationships between elements of sets occur in many contexts. Every day we deal with

Relationships 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 information

Analysis of Algorithms. Unit 5 - Intractable Problems

Analysis 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 information

9. Quantifier-free Equality and Data Structures

9. 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 information

Characterization of Semantics for Argument Systems

Characterization 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 information

Today s topics. Binary Relations. Inverse Relations. Complementary Relations. Let R:A,B be any binary relation.

Today 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