Loading in 5 sec....

Local Computation Mechanism DesignPowerPoint Presentation

Local Computation Mechanism Design

- 78 Views
- Uploaded on
- Presentation posted in: General

Local Computation Mechanism Design

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Local Computation Mechanism Design

ShaiVardi, Tel Aviv University

Joint work with Avinatan Hassidim & Yishay Mansour

UC Berekely, February 18th, 2014

- Imagine a huge auction, with millions of items and hundreds of thousands of buyers.
- An item arrives to be shipped. We don’t want to have to compute the result of the entire auction, just to know to which buyer to ship the item….
- There is a cloud with millions of computers on which we would like to schedule millions of jobs.
- We are queried on a job and would like to reply on which machine it should run. But we don’t want to compute the entire schedule….

Example – a combinatorial auction

Which item does Dudu get?

Local Computation Algorithms

- When do we need Local Computation Algorithms (LCAs)?
- Huge input.
- Not enough time or space to calculate the entire solution.
- Only need small parts of the solution at any one time.

- LCAs implement query access to a global solution.
- We require LCAs to be:
- Fast – at most polylogarithmic in the input size per query.
- Space-efficient – at most polylogarithmic overall.
- Replies to all queries are consistent with the same solution.

- Local computation of PageRank contributions
- Andersen et al., 2008.
- Property-preserving data reconstruction
- Ailon et al., 2008.
- On the efficiency of local decoding procedures for error-
- correcting codes
- Katz and Trevisan, 2000.

- Fast local computation algorithms
- Rubinfeld, Tamir, V and Xie, 2011.

- Space-efficient local computation algorithms
- Alon, Rubinfeld, V and Xie, 2012.
- Converting online algorithms to local computation
- algorithms
- Mansour, Rubinstein, V and Xie, 2012.
- Tighter bounds for local computations
- Reingold and V, 2014.

Local computation mechanism design

- We want to implement a local mechanism
- A local allocation algorithm .
- A local payment scheme .
- The replies of and to all the queries combine to a “good” allocation and payment scheme that guarantees truthfulness.
- The truthfulness must be guaranteed regardless of other queries or the locality of the mechanism.

Mechanisms without payment

- Usually, the allocation is harder to find than the payments.
- This is especially true considering the large volume of work on calculating payments in the past few years, e.g., Babaioff, Kleinberg, Silvkins, EC ‘10, EC ‘13.
- Therefore, I won’t get into payments in this talk.
- I will focus on mechanisms without payments.

Stable matching

The problem: There is a group of men and women. Each man has a preference list over the women, and each woman has a preference list over the men.

A stable matching is one in which there is no man and woman who both prefer each other over their matched partner.

Stable matching

The Gale-Shapley algorithm (’62) (male courtship):

Each man goes to his most preferred woman. Each woman chooses which man to keep. The rejected men go to their next-preferred woman. Each woman once again chooses which man to keep, and so on.

Stable matching

It is clear that a problem that can not be solved polynomially does not have an LCA.

Still, not every problem that can be solved polynomially necessarily has an LCA.

For example, it does not seem likely there is an LCA for maximal independent set on a graph where many nodes have degree

We will usually have some restrictions on our game space, e.g., constant degree, randomness etc.

Restrictions for stable matching

2

1

1

2

2

2

1

1

1

1

1

1

1

1

2

2

2

2

1

1

1

1

1

2

2

2

2

2

1

2

1

2

1

2

1

Local mechanism for stable matching

- Assume that the men’s preferences are chosen uniformly i.i.d.
- We allow men to be unmatched; we also allow the mechanism to “disqualify” men: they are unmatched but unable to contest the matching
- (they are sometimes referred to as “unstable” or “blocking”, and such matchings are said to be “almost stable”.)
- Our goal: a stable matching, with at most unmatched men and at most disqualified men.

Previous work

- Truncation strategies in matching markets.
- Roth and Rothblum,1999.
- A parallel iterative improvement stable matching algorithm.
- Lu and Zheng, 2003.
- Marriage, honesty, and stability.
- Immorlica and Mahdian, 2005.
- Almost stable matchings by truncating the Gale-Shapley algorithm.
- Floreen et al., 2010.

Stable matching LCA

- We propose the following local computation algorithm, for , :
- Allow the men’s lists to be of length
- ).
- Simulate the Gale-Shapley men’s courtship algorithm for) rounds.
- The men rejected on the last round are disqualified.

Stable matching LCA

We need to prove 3 things:

The algorithm is an LCA (i.e., runs in polylog time and space).

At mostof the men will remain unmatched because the list length is bounded by .

At most of the men will be disqualified because they were rejected on the last round.

Proof intuition – why is it local?

Assume that the women’s lists are of length as well.

Proof intuition – why is it local?

If the degrees were all bounded by and we run Gale-Shapley for rounds, the maximum number of queries would be .

However, the men’s degree is and the women’s degree is distributed binomially

We show that in the worst case (w.h.p.), we need queries.

Stable matching LCA

We need to prove 3 things:

The algorithm is an LCA (i.e., runs in polylog time and space).

At mostof the men will remain unmatched because the list length is bounded by .

At most of the men will be disqualified because they were rejected on the last round.

How many men are left unmatched? k=1

Worst case:

Average case:

With prob. :

k=2

Worst case:

Average case:

With prob. :

Stable matching LCA

We need to prove 3 things:

The algorithm is an LCA (i.e., runs in polylog time and space).

At mostof the men will remain unmatched because the list length is bounded by .

At most of the men will be disqualified because they were rejected on the last round.

Proof of 3)

Denote by the number of men rejected on round

Observation: is monotonically non-increasing in

(Whenever a woman is matched she remains matched).

Proof of 3)

Claim: The number of men rejected on round is at most

Proof: The total number of rejections possible is

From monotonicity

Stable matching LCA recap

- We propose the following local computation algorithm, for , :
- Allow the men’s lists to be of length
- ).
- Simulate the Gale-Shapley men’s courtship algorithm for) rounds.
- The men rejected on the last round are disqualified.

Some more local computation mechanisms

- - approximation universally truthful local mechanism for - single minded bidders.
- - approximation truthful-in-expectation local mechanism for machine scheduling on related machines.
- An LCA which simulates Random Serial Dictatorship.
- Some others similar results.

The non-local case

We show how to apply our techniques to the

non-local case.

Approximating the Gale-Shapley algorithm

Assume that the Gale-Shapley algorithm produces the matching . We would like to show that after a constant number of iterations, we get a matching that is almost the size of .

Note: we don’t assume uniform choice henceforth, only that the men’s lists are of bounded length.

Approximating the Gale-Shapley algorithm

We already have an additive bound:

We saw that the number of men rejected on round is at most

Therefore, after rounds, we will have a matching of size at least

We would like a multiplicative bound too.

Approximating the Gale-Shapley algorithm

In the paper, we show an approximation.

Today, we will show a 2-approximation.

2-approximating the Gale-Shapley algorithm

Notation: in round

- the size of the matching in round

- the total number of men who have been rejected by all of their women .

- the number of men rejected in round .

2-approximating the Gale-Shapley algorithm

2-approximating the Gale-Shapley algorithm

Notice that .

Therefore, ,

it holds that and we are done.

Hence we can assume

2-approximating the Gale-Shapley algorithm

is monotonically increasing, so

for

- the number of men rejected in round (monotonically decreasing).

2-approximating the Gale-Shapley algorithm

The proof is in two parts:

After rounds, there are few possible total rejections left.

Thereafter, the number of rejections left are reduced by a constant in each round.

Thus, after a constant number of rounds, there are fewer than total rejections left.

Part 1 of the proof

for

Part 2 of the proof

- the number of remaining possible rejections.

Because ,

Part 2 of the proof

Because , and so

Part 2 of the proof

Because

We take ,

Gale-Shapley approximation recap

Theorem: Consider a stable matching problem. Let each man's list be bounded by . Denote the size of the stable matching returned by the Gale-Shapley algorithm by Then, if the process is stopped after rounds, the matching returned is at most a -approximation to , and has at most unstable couples.

Thank you for listening!Questions?