Game Engineering Robert Aumann Center for the Study of Rationality The Hebrew University of Jerusalem.

Slides:



Advertisements
Similar presentations
Modelling and Solving the Stable Marriage problem using Constraint Programming David Manlove and Gregg OMalley University Of Glasgow Department of Computing.
Advertisements

Stable Matching Problems with Constant Length Preference Lists Rob Irving, David Manlove, Gregg OMalley University Of Glasgow Department of Computing Science.
Piyush Kumar (Lecture 3: Stable Marriage) Welcome to COT5405.
Prof. Swarat Chaudhuri COMP 482: Design and Analysis of Algorithms Spring 2013 Lecture 2.
1 Overview of Graph Theory Addendum “The Stable Marriage Problem” Instructor: Carlos Pomalaza-Ráez Fall 2003 University of Oulu, Finland.
Naveen Garg, CSE, IIT Delhi
Matching Theory.
Men Cheating in the Gale-Shapley Stable Matching Algorithm Chien-Chung Huang Dartmouth College.
Matching problems Toby Walsh NICTA and UNSW. Motivation Agents may express preferences for issues other than a collective decision  Preferences for a.
Specialised N-ary Constraint for the Stable Marriage Problem By Chris Unsworth and Patrick Prosser.
Intoduction to Fractions. What are FRACTIONS? Fractions are a part of the whole We use fractions all the time. Have you ever used a steel tape or a ruler?
Lau Ting Sum Samson Suen Wai.  Discuss what fairness is  Describe some methods for fair division: 1. Divide-and-choose 2. Last Diminisher 3. Selfridge-Conway.
Algoritmi per Sistemi Distribuiti Strategici
Lecture 1 - Introduction 1.  Introduction to Game Theory  Basic Game Theory Examples  Strategic Games  More Game Theory Examples  Equilibrium  Mixed.
Stabile Marriage Thanks to Mohammad Mahdian Lab for Computer Science, MIT.
Lecture 4 CSE 331 Sep 9, Blog posts for lectures Starts from today See Sep 8 post on the blog.
Lecture 8 CSE 331 Sep 17, HW 1 due today Place Q1 and Q2 in separate piles I will not accept HWs after 1:15pm.
Lecture 6 CSE 331 Sep 10, Homeworks HW 1 posted online: see blog/piazza Pickup graded HW 0 in TA OHs.
The Stable Marriage Problem
Local Computation Mechanism Design Shai Vardi, Tel Aviv University Joint work with Avinatan Hassidim & Yishay Mansour Men’s preferences first second Women’s.
Lecture 4 CSE 331 Sep 6, TA change Swapnoneel will leave us for 531 Jiun-Jie Wang will join us.
Apostrophes Post-Test What have you learned?. The Cheat Sheet First determine if the item is singular (one) or plural (more than one). To show possession,
Lecture 2 CSE 331. Day 1 Survey On UBlearns Day 1 Survey (talking points) Security MS PhD for research Building PC’s for 442 It’s ok to play games –
Stable Matchings a.k.a. the Stable Marriage Problem
Lecture 5 CSE 331 Sep 11, Submit the form I’ll need confirmation in writing. No graded material will be handed back till I get this signed form.
1 The Stable Marriage Problem Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij.
Chapter 3 Fair Division.
Stable Matching Lecture 7: Oct 3. Matching A B C DE Boys Girls Today’s goal: to “match” the boys and the girls in a “good” way.
Design & Co-design of Embedded Systems Final Project: “The Match Maker” Second Phase Oral Presentation Safa S. Mahmoodian.
Fair Division Lone Divider Method.
The Stable Marriage Problem
Incentive compatibility in 2-sided matching markets
Matching Lecture 19: Nov 23.
Fair Shares.
Excursions in Modern Mathematics, 7e: Copyright © 2010 Pearson Education, Inc. 3 The Mathematics of Sharing 3.1Fair-Division Games 3.2Two Players:
Combinations Practical Applications from two different groups How many different committees is it possible to make a committee of 4 men and 3 woman from.
Survey form Filling Method Case study. One Science Subject Students wishing to take one elective subject in the Science Education KLA can take any one.
Market Design and Analysis Lecture 2 Lecturer: Ning Chen ( 陈宁 )
Multiplying and Dividing Fractions. Can you name the parts of a fraction? ? ? numerator denominator.
Gender equality Adam Ondroušek 3. B. Outline Why? What is gender equality? Law aspects Economic aspects Organizations who fight against differences between.
Fair Division Fair Division Problem: A problem that involves the dividing up of an object or set of objects among several individuals (players) so that.
Matching Boys Girls A B C D E
Cybernetica AS & Tartu University
Stable Matching.
Stable Marriage Problem
Introduction to the Design and Analysis of Algorithms
Puzzle 1 “You cut, I choose”.
Intro to the Fair Allocation
LOGO Fair Division MATHEMATICS IN DAILY LIFE Hua Yinglei Hu Zhihao
Lecture 5 CSE 331 Sep 10, 2010.
Lecture 7 CSE 331 Sep 15, 2010.
Lecture 6 CSE 331 Sep 11, 2017.
Lecture 6 CSE 331 Sep 13, 2010.
S. Raskhodnikova; based on slides by K. Wayne
CSE 421: Introduction to Algorithms
Discrete Math for CS CMPSC 360 LECTURE 9 Last time: Strong induction
Chapter 1 Introduction: Some Representative Problems
Lecture 12 CSE 331 Sep 27, 2010.
Island Division: Lone-divider Method
Lecture 6 CSE 331 Sep 12, 2016.
Lecture 7 CSE 331 Sep 10, 2014.
Stable Matchings.
Lecture 5 CSE 331 Sep 9, 2011.
Lecture 7 CSE 331 Sep 11, 2013.
Aim: What is Science? And what does it have to do with Genetics?
Factor Game Sample Game.
Fair Division Fair Division Problem: A problem that involves the dividing up of an object or set of objects among several individuals (players) so that.
LGBT FAMILY BUILDING OPTIONS. LGBT family planning is unique for each couple when it comes to Assisted Reproductive Technologies (ART). Gay family building.
Combinations Practical Applications from
Week 10 - Wednesday CS221.
Presentation transcript:

Game Engineering Robert Aumann Center for the Study of Rationality The Hebrew University of Jerusalem

Science (Theory): Understanding Natural or Social Processes Engineering: Using Theory to design practical devices Game Theory: Understanding Strategic Interaction Game Engineering: Using Game Theory to design practical interactive systems

Game Engineering in one word: Incentives

Final offer arbitration Auctions – Strategy – Design Matching Traffic – Strategy – Design Elections Asset Division Other Examples of Game Engineering

Traffic - Design

Matching 20 men 20 women Each man has a preference order on the women. Each woman has a preference order on the men. A matching is an assignment of men to women. A matching is unstable if there is a couple who are not matched, and prefer each other to their partners. Otherwise, it is stable.

Matching FACT (Gale & Shapley, 1962) There is always a stable matching. (The number 20 is not important; it is true for any number.) Applications: Hospital Interns, Kidney Donations, High Schools

Matching: Two sexes needed Donald Adam Bryce Charles Adam Bryce Donald Bryce Charles Adam Donald Adam Bryce Charles Donald Adam Charles Bryce Donald

Cake Cutting (Asset Division -- Steven Brams) (1) One child: S/he gets it all. (2) Two Children: One cuts, the other chooses (3) Three Children (Ann, Bob, Cal): i. Ann cuts a piece of the cake. ii. Bob can leave it, or make it smaller. iii. Cal can leave the remaining piece, or make it smaller. Whoever cuts the cake last, gets the remaining piece. The rest is divided between the other two children as in (2).

Cake Cutting ANN

Asset Division ANN BOB

Asset Division ANN BOB CAL

Cake Cutting (Asset Division) (n)n children: The children take turns. The first cuts a piece of the cake. The second can leave it, or make it smaller. Each successive child can leave the remaining piece, or make it smaller. Whoever cuts the cake last, gets the remaining piece. The rest is divided between the remaining children as in (n-1).

Thank You!