A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf ·...

72
A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings Robbie Weber Joint work with Anna Karlin and Shayan Oveis Gharan

Transcript of A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf ·...

Page 1: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings

Robbie Weber

Joint work with Anna Karlin and Shayan Oveis Gharan

Page 2: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Given 𝑚1, … ,𝑚𝑛 , {𝑤1, … , 𝑤𝑛} each rank the other set.

Stable Matching Problem

Page 3: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Given 𝑚1, … ,𝑚𝑛 , {𝑤1, … , 𝑤𝑛} each rank the other set.

A matching is stable if there is no blocking pair.

A pair (𝑚,𝑤) is blocking if 𝑚 prefers 𝑤 to his match, and 𝑤 prefers 𝑚 to her match.

𝑤𝑚

𝑚′ 𝑤′

𝑤 ,𝑤’ 𝑚 ,𝑚’

Stable Matching Problem

Page 4: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Given 𝑚1, … ,𝑚𝑛 , {𝑤1, … , 𝑤𝑛} each rank the other set.

A matching is stable if there is no blocking pair.

A pair (𝑚,𝑤) is blocking if 𝑚 prefers 𝑤 to his match, and 𝑤 prefers 𝑚 to her match.

𝑤𝑚

𝑚′ 𝑤′

𝑤 ,𝑤’ 𝑚 ,𝑚’

Stable Matching Problem

Page 5: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Given 𝑚1, … ,𝑚𝑛 , {𝑤1, … , 𝑤𝑛} each rank the other set.

A matching is stable if there is no blocking pair.

A pair (𝑚,𝑤) is blocking if 𝑚 prefers 𝑤 to his match, and 𝑤 prefers 𝑚 to her match.

𝑤𝑚

𝑚′ 𝑤′

𝑤 ,𝑤’ 𝑚 ,𝑚’

Stable Matching Problem

Page 6: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Gale-Shapley ‘62]

There is always at least one stable matching,

and there can be more than one.

Stable Matching Problem

Page 7: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Gale-Shapley ‘62]

There is always at least one stable matching,

and there can be more than one.

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

Stable Matching Problem

Page 8: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Gale-Shapley ‘62]

There is always at least one stable matching,

and there can be more than one.

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

Stable Matching Problem

Page 9: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Gale-Shapley ‘62]

There is always at least one stable matching,

and there can be more than one.

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

Stable Matching Problem

Page 10: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Gale-Shapley ‘62]

There is always at least one stable matching,

and there can be more than one.

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

Stable Matching Problem

Page 11: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Gale-Shapley ‘62]

There is always at least one stable matching,

and there can be more than one.

What is the maximum number of stable matchings?

I.e. as the size of the instance increases, how fast can we make the number of stable matchings increase?

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

Stable Matching Problem

Page 12: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Gale-Shapley ‘62]

There is always at least one stable matching,

and there can be more than one.

What is the maximum number of stable matchings?

I.e. as the size of the instance increases, how fast can we make the number of stable matchings increase?

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

Stable Matching Problem

[Knuth’76,Gusfield-Irving’89]:

Page 13: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Knuth’76,Gusfield-Irving’89]:

What is the maximum number of stable matchings?

Page 14: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Knuth’76,Gusfield-Irving’89]:

What is the maximum number of stable matchings?𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

Lower Bounds (i.e. constructions)

Page 15: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Knuth’76,Gusfield-Irving’89]:

What is the maximum number of stable matchings?𝑤1, 𝑤2 𝑚1 1

2

≥ 2𝑛/2

𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

𝑤3, 𝑤4 𝑚3 1

2𝑚4𝑤4, 𝑤3

𝑚4, 𝑚3

𝑚3, 𝑚4

𝑤3

1𝑤4

𝑤𝑛−1, 𝑤𝑛 𝑚𝑛−1 1

2𝑚𝑛𝑤𝑛, 𝑤𝑛−1

𝑚𝑛, 𝑚𝑛−1

𝑚𝑛−1, 𝑚𝑛

𝑤𝑛−1

1𝑤𝑛

Lower Bounds (i.e. constructions)

Page 16: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Knuth’76,Gusfield-Irving’89]:

What is the maximum number of stable matchings?𝑤1, 𝑤2 𝑚1 1

2

≥ 2𝑛/2

≥ 2.28𝑛 [Irving-Leather-Knuth’86,

Benjamin-Converse-Krieger’95, Thurber’02]

𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

𝑤3, 𝑤4 𝑚3 1

2𝑚4𝑤4, 𝑤3

𝑚4, 𝑚3

𝑚3, 𝑚4

𝑤3

1𝑤4

𝑤𝑛−1, 𝑤𝑛 𝑚𝑛−1 1

2𝑚𝑛𝑤𝑛, 𝑤𝑛−1

𝑚𝑛, 𝑚𝑛−1

𝑚𝑛−1, 𝑚𝑛

𝑤𝑛−1

1𝑤𝑛

Lower Bounds (i.e. constructions)

Page 17: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Knuth’76,Gusfield-Irving’89]:

What is the maximum number of stable matchings?𝑤1, 𝑤2 𝑚1 1

2

≥ 2𝑛/2

≥ 2.28𝑛 [Irving-Leather-Knuth’86,

Benjamin-Converse-Krieger’95, Thurber’02]

≤ 𝑛! ≈ 2𝑛 log 𝑛 −𝑂(𝑛)

𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

𝑤3, 𝑤4 𝑚3 1

2𝑚4𝑤4, 𝑤3

𝑚4, 𝑚3

𝑚3, 𝑚4

𝑤3

1𝑤4

𝑤𝑛−1, 𝑤𝑛 𝑚𝑛−1 1

2𝑚𝑛𝑤𝑛, 𝑤𝑛−1

𝑚𝑛, 𝑚𝑛−1

𝑚𝑛−1, 𝑚𝑛

𝑤𝑛−1

1𝑤𝑛

Lower Bounds (i.e. constructions)

Upper Bounds

Page 18: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Knuth’76,Gusfield-Irving’89]:

What is the maximum number of stable matchings?𝑤1, 𝑤2 𝑚1 1

2

≥ 2𝑛/2

≥ 2.28𝑛 [Irving-Leather-Knuth’86,

Benjamin-Converse-Krieger’95, Thurber’02]

≤ 𝑛! ≈ 2𝑛 log 𝑛 −𝑂(𝑛)

≤ 𝑛!/𝑐𝑛 [Stathopoulos’11]

𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

𝑤3, 𝑤4 𝑚3 1

2𝑚4𝑤4, 𝑤3

𝑚4, 𝑚3

𝑚3, 𝑚4

𝑤3

1𝑤4

𝑤𝑛−1, 𝑤𝑛 𝑚𝑛−1 1

2𝑚𝑛𝑤𝑛, 𝑤𝑛−1

𝑚𝑛, 𝑚𝑛−1

𝑚𝑛−1, 𝑚𝑛

𝑤𝑛−1

1𝑤𝑛

Lower Bounds (i.e. constructions)

Upper Bounds

Page 19: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Main Result

There is a universal constant 𝐶 such that every stable matching instance with 𝑛 men and 𝑛 women

has ≤ 𝐶𝑛 stable matchings.

Page 20: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving Leather 86]: The number of stable matchings equals the number of downsets of a certain POSET.

POSET: A set with a transitive antisymmetric relation ≺, i.e., a DAG

𝑢 dominates 𝑣 if 𝑣 ≺ 𝑢.

Downset: a set of elements, and everything they dominate. Downset

Page 21: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving Leather 86]: The number of stable matchings equals the number of downsets of a certain POSET.

POSET: A set with a transitive antisymmetric relation ≺, i.e., a DAG

𝑢 dominates 𝑣 if 𝑣 ≺ 𝑢.

Downset: a set of elements, and everything they dominate. Downset

Page 22: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving Leather 86]: The number of stable matchings equals the number of downsets of a certain POSET.

POSET: A set with a transitive antisymmetric relation ≺, i.e., a DAG

𝑢 dominates 𝑣 if 𝑣 ≺ 𝑢.

Downset: a set of elements, and everything they dominate. Downset

Page 23: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving Leather 86]: The number of stable matchings equals the number of downsets of a certain POSET.

Fact: POSETs for stable matchings have at most 𝑛2 elements.

Does this imply a 𝐶𝑛 upper bound?

Page 24: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving Leather 86]: The number of stable matchings equals the number of downsets of a certain POSET.

Fact: POSETs for stable matchings have at most 𝑛2 elements.

Does this imply a 𝐶𝑛 upper bound?

Page 25: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving Leather 86]: The number of stable matchings equals the number of downsets of a certain POSET.

Fact: POSETs for stable matchings have at most 𝑛2 elements.

Does this imply a 𝐶𝑛 upper bound?

Step 2: POSETs for stable matchings are “2𝑛–mixing.”

Page 26: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving-Leather 86]: The number of stable matchings equals the number of downsets of a POSET with ≤ 𝑛2 nodes.

Step 2: POSETs for stable matchings are “2𝑛–mixing”.

Step 3: Every 𝑘-mixing POSET has at most 𝐶𝑘 downsets.

Page 27: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving-Leather 86]: The number of stable matchings equals the number of downsets of a POSET with ≤ 𝑛2 nodes.

Step 2: POSETs for stable matchings are “2𝑛–mixing”.

Step 3: Every 𝑘-mixing POSET has at most 𝐶𝑘 downsets.

Our main theorem follows immediately from these three steps.

Page 28: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving-Leather 86]: The number of stable matchings equals the number of downsets of a POSET with ≤ 𝑛2 nodes.

Step 2: POSETs for stable matchings are “2𝑛–mixing”.

Step 3: Every 𝑘-mixing POSET has at most 𝐶𝑘 downsets.

Our main theorem follows immediately from these three steps.

Page 29: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Another of Knuth’s problems from 1976:

Find a concise description of the set of stable matchings.

Irving and Leather’s POSET

Page 30: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Another of Knuth’s problems from 1976:

Find a concise description of the set of stable matchings.

Idea:

Start at the man-optimal matching, and jump from one matching to another, getting closer to the woman optimal matching.

Irving and Leather’s POSET

Page 31: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Another of Knuth’s problems from 1976:

Find a concise description of the set of stable matchings.

Idea:

Start at the man-optimal matching, and jump from one matching to another, getting closer to the woman optimal matching.

There can be exponentially many stable matchings

But there are only polynomially many “simple transformations” to jump from one stable matching to another.

Irving and Leather’s POSET

Page 32: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A trivial example: 𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

𝑤3, 𝑤4 𝑚3 1

2𝑚4𝑤4, 𝑤3

𝑚4, 𝑚3

𝑚3, 𝑚4

𝑤3

1𝑤4

𝑤𝑛−1, 𝑤𝑛 𝑚𝑛−1 1

2𝑚𝑛𝑤𝑛, 𝑤𝑛−1

𝑚𝑛, 𝑚𝑛−1

𝑚𝑛−1, 𝑚𝑛

𝑤𝑛−1

1𝑤𝑛

Irving and Leather’s POSET

Page 33: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A trivial example:

There are 2𝑛/2 stable matchings

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

𝑤3, 𝑤4 𝑚3 1

2𝑚4𝑤4, 𝑤3

𝑚4, 𝑚3

𝑚3, 𝑚4

𝑤3

1𝑤4

𝑤𝑛−1, 𝑤𝑛 𝑚𝑛−1 1

2𝑚𝑛𝑤𝑛, 𝑤𝑛−1

𝑚𝑛, 𝑚𝑛−1

𝑚𝑛−1, 𝑚𝑛

𝑤𝑛−1

1𝑤𝑛

Irving and Leather’s POSET

Page 34: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A trivial example:

There are 2𝑛/2 stable matchings

but only 𝑛/2 simple transformations from one stable matching to another

(Switching from the blue matching to the green matching in some pair)

𝑤1, 𝑤2 𝑚1 1

2𝑚2𝑤2, 𝑤1

𝑚2, 𝑚1

𝑚1, 𝑚2

𝑤1

1𝑤2

𝑤3, 𝑤4 𝑚3 1

2𝑚4𝑤4, 𝑤3

𝑚4, 𝑚3

𝑚3, 𝑚4

𝑤3

1𝑤4

𝑤𝑛−1, 𝑤𝑛 𝑚𝑛−1 1

2𝑚𝑛𝑤𝑛, 𝑤𝑛−1

𝑚𝑛, 𝑚𝑛−1

𝑚𝑛−1, 𝑚𝑛

𝑤𝑛−1

1𝑤𝑛

Irving and Leather’s POSET

Page 35: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

RotationA rotation is an ordered list of pairs:

𝜌 = 𝑚1, 𝑤1 , 𝑚2, 𝑤2 , … , 𝑚𝑘 , 𝑤𝑘

s.t., for all stable matchings 𝑀 where 𝜌 ⊆ 𝑀

• 𝑀′ = 𝑀 \ 𝜌 ∪ 𝑚1, 𝑤2 , 𝑚2, 𝑤3 , … (𝑚𝑘 , 𝑤1)is stable.

• Each 𝑚𝑖 is worse off in 𝑀′ than in 𝑀, and each 𝑤𝑖 is better off.

• [some technical points we don’t need]

𝑚1

𝑚2

𝑤1

𝑤2

𝑚3 𝑤3

Page 36: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

RotationA rotation is an ordered list of pairs:

𝜌 = 𝑚1, 𝑤1 , 𝑚2, 𝑤2 , … , 𝑚𝑘 , 𝑤𝑘

s.t., for all stable matchings 𝑀 where 𝜌 ⊆ 𝑀

• 𝑀′ = 𝑀 \ 𝜌 ∪ 𝑚1, 𝑤2 , 𝑚2, 𝑤3 , … (𝑚𝑘 , 𝑤1)is stable.

• Each 𝑚𝑖 is worse off in 𝑀′ than in 𝑀, and each 𝑤𝑖 is better off.

• [some technical points we don’t need]

𝑚1

𝑚2

𝑤1

𝑤2

𝑚3 𝑤3

Page 37: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

RotationA rotation is an ordered list of pairs:

𝜌 = 𝑚1, 𝑤1 , 𝑚2, 𝑤2 , … , 𝑚𝑘 , 𝑤𝑘

s.t., for all stable matchings 𝑀 where 𝜌 ⊆ 𝑀

• 𝑀′ = 𝑀 \ 𝜌 ∪ 𝑚1, 𝑤2 , 𝑚2, 𝑤3 , … (𝑚𝑘 , 𝑤1)is stable.

• Each 𝑚𝑖 is worse off in 𝑀′ than in 𝑀, and each 𝑤𝑖 is better off.

• [some technical points we don’t need]

Any stable matching instance has at most 𝑂(𝑛2)rotations that can be constructed in poly time.

𝑚1

𝑚2

𝑤1

𝑤2

𝑚3 𝑤3

Page 38: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

RotationA rotation is an ordered list of pairs:

𝜌 = 𝑚1, 𝑤1 , 𝑚2, 𝑤2 , … , 𝑚𝑘 , 𝑤𝑘

s.t., for all stable matchings 𝑀 where 𝜌 ⊆ 𝑀

• 𝑀′ = 𝑀 \ 𝜌 ∪ 𝑚1, 𝑤2 , 𝑚2, 𝑤3 , … (𝑚𝑘 , 𝑤1)is stable.

• Each 𝑚𝑖 is worse off in 𝑀′ than in 𝑀, and each 𝑤𝑖 is better off.

• [some technical points we don’t need]

Any stable matching instance has at most 𝑂(𝑛2)rotations that can be constructed in poly time.

𝑚1

𝑚2

𝑤1

𝑤2

𝑚3 𝑤3

Page 39: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Rotation POSET

To jump from stable matching to stable matching, some rotations must be eliminated before others.

Page 40: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Rotation POSET

To jump from stable matching to stable matching, some rotations must be eliminated before others.

This induces a partial order on rotations:

𝜌1 ≺ 𝜌2 iff 𝜌1 must be eliminated before 𝜌2.

Page 41: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Rotation POSET

To jump from stable matching to stable matching, some rotations must be eliminated before others.

This induces a partial order on rotations:

𝜌1 ≺ 𝜌2 iff 𝜌1 must be eliminated before 𝜌2.

Nodes of the rotation POSET are rotations and 𝜌1 ← 𝜌2 if 𝜌1 ≺ 𝜌2.

Page 42: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Rotation POSET

To jump from stable matching to stable matching, some rotations must be eliminated before others.

This induces a partial order on rotations:

𝜌1 ≺ 𝜌2 iff 𝜌1 must be eliminated before 𝜌2.

Nodes of the rotation POSET are rotations and 𝜌1 ← 𝜌2 if 𝜌1 ≺ 𝜌2.

Observation: All rotations with an agent form a directed path.

Page 43: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

[Irving-Leather 86]

#Stable Matchings = #Downsets Rotation POSET

(𝑚1, 𝑤2),(m4, w3)

(𝑚1, 𝑤1),(𝑚2, 𝑤2)

𝑚1

𝑚2

𝑚3

𝑚4

𝑤1

𝑤2

𝑤3

𝑤4 (𝑚3, 𝑤3),(𝑚4, 𝑤4)

(𝑚2, 𝑤1),(m3, w4)

(𝑚1, 𝑤3),(m2, w4)

(𝑚3, 𝑤1),(m4, w2)

Page 44: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving-Leather 86]: The number of stable matchings equals the number of downsets of a POSET with ≤ 𝑛2 nodes.

Step 2: POSETs for stable matchings are “2𝑛–mixing”.

Step 3: Every 𝑘-mixing POSET has at most 𝐶𝑘 downsets.

Page 45: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving-Leather 86]: The number of stable matchings equals the number of downsets of a POSET with ≤ 𝑛2 nodes.

Step 2: POSETs for stable matchings are “2𝑛–mixing”.

Step 3: Every 𝑘-mixing POSET has at most 𝐶𝑘 downsets.

Page 46: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A POSET is k-mixing if we can decompose

it into 𝑘 paths 𝑃1, 𝑃2, … , 𝑃𝑘 s.t.,

• ⋃𝑃𝑖 includes all elements

• Every set 𝑈 intersects ≥ 𝑈 paths.

𝑘-Mixing POSETs

𝑛

𝑛

Page 47: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A POSET is k-mixing if we can decompose

it into 𝑘 paths 𝑃1, 𝑃2, … , 𝑃𝑘 s.t.,

• ⋃𝑃𝑖 includes all elements

• Every set 𝑈 intersects ≥ 𝑈 paths.

𝑘-Mixing POSETs

𝑛

𝑛

Page 48: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Each man and each woman have a path 𝑃𝑖 with all rotations containing that agent.

Rotation POSETs are 2𝑛-Mixing

Page 49: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Each man and each woman have a path 𝑃𝑖 with all rotations containing that agent.

There are 2𝑛 paths.

Rotation POSETs are 2𝑛-Mixing

Page 50: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Each man and each woman have a path 𝑃𝑖 with all rotations containing that agent.

There are 2𝑛 paths.

• These paths cover all rotations.

Rotation POSETs are 2𝑛-Mixing

Page 51: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Each man and each woman have a path 𝑃𝑖 with all rotations containing that agent.

There are 2𝑛 paths.

• These paths cover all rotations.

• They mix!

1) Every rotation contains a new (man, woman) pair.

2) We need at least 𝑟 men and or women to make 𝑟 new pairs. Thus 𝑟 rotations must intersect at least 𝑟 paths.

Rotation POSETs are 2𝑛-Mixing

Page 52: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving-Leather 86]: The number of stable matchings equals the number of downsets of a POSET with ≤ 𝑛2 nodes.

Step 2: POSETs for stable matchings are “2𝑛–mixing”.

Step 3: Every 𝑘-mixing POSET has at most 𝐶𝑘 downsets.

Page 53: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Outline

Step 1 [Irving-Leather 86]: The number of stable matchings equals the number of downsets of a POSET with ≤ 𝑛2 nodes.

Step 2: POSETs for stable matchings are “2𝑛–mixing”.

Step 3: Every 𝑘-mixing POSET has at most 𝐶𝑘 downsets.

Page 54: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A node is 𝛼-critical if it dominates and is dominated by at least 𝛼 nodes.

Fact: By inspecting an 𝛼-critical node, we can eliminate 𝛼 nodes:

Main Idea: Critical Nodes

Page 55: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A node is 𝛼-critical if it dominates and is dominated by at least 𝛼 nodes.

Fact: By inspecting an 𝛼-critical node, we can eliminate 𝛼 nodes:

Main Idea: Critical Nodes

9-critical

Page 56: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A node is 𝛼-critical if it dominates and is dominated by at least 𝛼 nodes.

Fact: By inspecting an 𝛼-critical node, we can eliminate 𝛼 nodes:

Main Idea: Critical Nodes

9-critical

Page 57: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

A node is 𝛼-critical if it dominates and is dominated by at least 𝛼 nodes.

Fact: By inspecting an 𝛼-critical node, we can eliminate 𝛼 nodes:

Main Idea: Critical Nodes

9-critical

Page 58: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

T(|V|) ≤ 2T(|𝑉| − 𝛼) if |𝑉| > 𝑘

2𝑘 if |𝑉| ≤ 𝑘

Critical Nodes ⇒ Main Theorem

Page 59: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

T(|V|) ≤ 2T(|𝑉| − 𝛼) if |𝑉| > 𝑘

2𝑘 if |𝑉| ≤ 𝑘

Main Lem: Every 𝑘-mixing poset (𝑉, ≺) with paths 𝑃1, 𝑃2, … , 𝑃𝑘 has a

Ω(𝑑3/2)-critical element, where 𝑑 =|𝑉|

𝑘is ”average” length of a path.

Critical Nodes ⇒ Main Theorem

Page 60: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

T(|V|) ≤ 2T(|𝑉| − 𝛼) if |𝑉| > 𝑘

2𝑘 if |𝑉| ≤ 𝑘

Main Lem: Every 𝑘-mixing poset (𝑉, ≺) with paths 𝑃1, 𝑃2, … , 𝑃𝑘 has a

Ω(𝑑3/2)-critical element, where 𝑑 =|𝑉|

𝑘is ”average” length of a path.

Unfolding the recurrence leads to a geometric series.

Which gives 𝑇 |𝑉| ≤ 𝐶|𝑉|.

Critical Nodes ⇒ Main Theorem

Page 61: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

𝑆1 𝑆2

Constructing Disjoint Subpaths

We construct a partition into subpaths 𝑆1, … , 𝑆𝑘 s.t.,

• Each 𝑆𝑖 ⊆ 𝑃𝑖.• If a node 𝑣 dominates 𝑚 nodes

in its subpath 𝑆𝑖 then it dominates 𝑚 nodes in all 𝑆𝑗 where 𝑣 ∈ 𝑃𝑗.

𝑆3 𝑆4

𝑃1𝑃1

Page 62: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

>1

2of nodes

Finding a half-Critical Node

Claim: Most nodes dominates Ω 𝑑3/2 nodes.

k-mixing: Every set 𝑈 intersects |𝑈| of paths 𝑃1, … , 𝑃𝑘

Partition: Define subpaths 𝑆1, 𝑆2, … , 𝑆𝑘 such that:• Each 𝑆𝑖 ⊆ 𝑃𝑖.• If 𝑣 dominates 𝑚 nodes in 𝑆𝑖 then

it dominates 𝑚 nodes in all 𝑆𝑗 where 𝑣 ∈ 𝑃𝑗.

𝑆1 𝑆2 𝑆3 𝑆4 𝑆𝑘…

𝑑

2levels

Page 63: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

>1

2of nodes

Finding a half-Critical Node

Claim: Most nodes dominates Ω 𝑑3/2 nodes.

k-mixing: Every set 𝑈 intersects |𝑈| of paths 𝑃1, … , 𝑃𝑘

Partition: Define subpaths 𝑆1, 𝑆2, … , 𝑆𝑘 such that:• Each 𝑆𝑖 ⊆ 𝑃𝑖.• If 𝑣 dominates 𝑚 nodes in 𝑆𝑖 then

it dominates 𝑚 nodes in all 𝑆𝑗 where 𝑣 ∈ 𝑃𝑗.

𝑆1 𝑆2 𝑆3 𝑆4 𝑆𝑘…

𝑑

2levels

Page 64: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

𝑑

4levels

>1

2of nodes

Finding a half-Critical Node

𝑑

4levels

Claim: Most nodes dominates Ω 𝑑3/2 nodes.

• Red node dominates 𝑑/4 green nodes

k-mixing: Every set 𝑈 intersects |𝑈| of paths 𝑃1, … , 𝑃𝑘

Partition: Define subpaths 𝑆1, 𝑆2, … , 𝑆𝑘 such that:• Each 𝑆𝑖 ⊆ 𝑃𝑖.• If 𝑣 dominates 𝑚 nodes in 𝑆𝑖 then

it dominates 𝑚 nodes in all 𝑆𝑗 where 𝑣 ∈ 𝑃𝑗.

𝑆1 𝑆2 𝑆3 𝑆4 𝑆𝑘…

Page 65: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

𝑑

4levels

>1

2of nodes

Finding a half-Critical Node

𝑑

4levels

Claim: Most nodes dominates Ω 𝑑3/2 nodes.

• Red node dominates 𝑑/4 green nodes

• Green nodes mix, so belong to Ω( 𝑑) paths.

k-mixing: Every set 𝑈 intersects |𝑈| of paths 𝑃1, … , 𝑃𝑘

Partition: Define subpaths 𝑆1, 𝑆2, … , 𝑆𝑘 such that:• Each 𝑆𝑖 ⊆ 𝑃𝑖.• If 𝑣 dominates 𝑚 nodes in 𝑆𝑖 then

it dominates 𝑚 nodes in all 𝑆𝑗 where 𝑣 ∈ 𝑃𝑗.

𝑆1 𝑆2 𝑆3 𝑆4 𝑆𝑘…

Page 66: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

𝑑

4levels

>1

2of nodes

Finding a half-Critical Node

𝑑

4levels

Claim: Most nodes dominates Ω 𝑑3/2 nodes.

• Red node dominates 𝑑/4 green nodes

• Green nodes mix, so belong to Ω( 𝑑) paths.• Every green node dominates at least 𝑑/4 in

every path that it appears.

k-mixing: Every set 𝑈 intersects |𝑈| of paths 𝑃1, … , 𝑃𝑘

Partition: Define subpaths 𝑆1, 𝑆2, … , 𝑆𝑘 such that:• Each 𝑆𝑖 ⊆ 𝑃𝑖.• If 𝑣 dominates 𝑚 nodes in 𝑆𝑖 then

it dominates 𝑚 nodes in all 𝑆𝑗 where 𝑣 ∈ 𝑃𝑗.

𝑆1 𝑆2 𝑆3 𝑆4 𝑆𝑘…

Page 67: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

𝑑

4levels

>1

2of nodes

Finding a half-Critical Node

𝑑

4levels

Claim: Most nodes dominates Ω 𝑑3/2 nodes.

• Red node dominates 𝑑/4 green nodes

• Green nodes mix, so belong to Ω( 𝑑) paths.• Every green node dominates at least 𝑑/4 in

every path that it appears.

• The red node dominates Ω(𝑑3/2) blue nodes.

k-mixing: Every set 𝑈 intersects |𝑈| of paths 𝑃1, … , 𝑃𝑘

Partition: Define subpaths 𝑆1, 𝑆2, … , 𝑆𝑘 such that:• Each 𝑆𝑖 ⊆ 𝑃𝑖.• If 𝑣 dominates 𝑚 nodes in 𝑆𝑖 then

it dominates 𝑚 nodes in all 𝑆𝑗 where 𝑣 ∈ 𝑃𝑗.

𝑆1 𝑆2 𝑆3 𝑆4 𝑆𝑘…

Page 68: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated
Page 69: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Existence of a Critical Node

Main Lem: Every 𝑘-mixing POSET with paths has a Ω(𝑑3/2)-critical element, where 𝑑 is ”average” length of a path.

Most nodes dominate Ω(𝑑3/2) nodes.

Most nodes are dominated by Ω(𝑑3/2) nodes.

Therefore, there is an Ω(𝑑3/2)-critical node.

Page 70: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

Proof Summary𝑘- mixing POSETs have Ω(𝑑3/2) critical nodes

𝑘-mixing POSETs have at most 𝐶𝑘 downsets

#downsets in rotation POSETs is at most 𝐶𝑛

#stable matchings is at most 𝐶𝑛

Rotation POSETs are 2n-mixing

Page 71: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

• Getting close to the 2.28𝑛 lower bound?• Our current bound is about 217𝑛

• Counting algorithms for estimating

• #Stable Matchings [Dyer-Goldberg-Greenhill-Jerrum’04,Chebolu-Goldberg-Martin’12]

• General case equivalent to • #Downsets of a POSET

• #Independent sets in bipartite graphs

Future directions

Page 72: A Simply Exponential Upper Bound on the Maximum Number of ...rtweber2/StableMatchingSlides.pdf · To jump from stable matching to stable matching, some rotations must be eliminated

• Getting close to the 2.28𝑛 lower bound?• Our current bound is about 217𝑛

• Counting algorithms for estimating

• #Stable Matchings [Dyer-Goldberg-Greenhill-Jerrum’04,Chebolu-Goldberg-Martin’12]

• General case equivalent to • #Downsets of a POSET

• #Independent sets in bipartite graphs

Future directions

Any questions?