Slide 1

Slide 1 text

MARKETS, MECHANISMS, MACHINES University of Virginia, Spring 2019 Class 18: Hardness of Auctions 21 March 2019 cs4501/econ4559 Spring 2019 David Evans and Denis Nekipelov https://uvammm.github.io Trial Auction starts Now!

Slide 2

Slide 2 text

Trial Auction Starts Now! 1

Slide 3

Slide 3 text

Recap: Multi-Unit Auction 2 Input: Valuations for the players: !" , … , !% . Output: Allocation, '" , … , '% where ∑ ) ') ≤ ' that maximizes ∑ ) !) ') . Query model: !) 0 = 0, ∀. ∈ 0, … , ' − 1 : !) . ≤ !) (. + 1) Single-Minded Step Bids: !) . = 0 for . < .) ∗; !) . = <) ∗ for . ≥ .) ∗. Downward Sloping: ∀. ∈ 0, … , ' − 1 : !) . + 1 − !) . ≤ !) . − !) (. − 1) No polynomial (in log ') time solution Know polynomial (in log ') time solution ???

Slide 4

Slide 4 text

Second most Interesting Complexity Class? 3 NP Non-deterministic Polynomial Time

Slide 5

Slide 5 text

q 1 1 1 1 0 1 0 … q 0 1 1 1 0 0 0 … q 6 0 1 1 0 1 0 … Deterministic Turing Machine Nondeterministic Turing Machine q 0 1 1 1 0 0 0 … Tries all possible transitions; accepts if any path leads to accepting state. q 1 1 1 1 0 1 0 … q 7 1 1 1 0 0 0 …

Slide 6

Slide 6 text

Computability: Is NDTM more powerful than DTM?

Slide 7

Slide 7 text

Computability: Is NDTM more powerful than DTM? No! We can simulate a NDTM with a DTM. Use a tape to keep track of which paths to try (breadth-first search, not depth first!)

Slide 8

Slide 8 text

Complexity: Are there problems that are “hard” to solve with a DTM that are “easy” to solve with a NDTM?

Slide 9

Slide 9 text

Complexity Classes NP P Problems that a DTM can solve in polynomial time. Problems that a NDTM can solve in polynomial time.

Slide 10

Slide 10 text

P NP P NP We know P ⊆ NP: no need to take advantage of non-determinism.

Slide 11

Slide 11 text

No content

Slide 12

Slide 12 text

P NP P NP Option 1: There are problems in Class NP that are not tractable Option 2: All problems in Class NP are tractable P = NP? P ⊊ NP P = NP

Slide 13

Slide 13 text

Assuming P ⊊ NP, how can we prove a problem is not in P? 12

Slide 14

Slide 14 text

Class NP-Complete 13

Slide 15

Slide 15 text

NP-Complete A problem B is in NP-Complete iff: 2. There is a polynomial-time reduction from every problem A Î NP to B. 1. B Î NP B NP B NP What does NP-Complete look like?

Slide 16

Slide 16 text

NP-Hard A problem B is in NP-Hard iff: There is a polynomial-time reduction from every problem A Î NP to B. B NP What does NP-Hard look like?

Slide 17

Slide 17 text

NP-Hard (if P Ì NP) P NP-C Option 1a: P Ì NP, NP-C È P Ì NP Option 1b: P Ì NP, NP-C È P = NP NP-Hard P NP-C

Slide 18

Slide 18 text

NP-Hard (if P = NP) P NP Option 2: P = NP NP-C ≈ NP-Complete

Slide 19

Slide 19 text

What’s a Reduction? 18 There is a polynomial-time reduction from every problem A Î NP to B. B NP

Slide 20

Slide 20 text

Valid Reductions Transform ! into " Transformation must not take too long: finish in polynomial time Transformation must not expand input size too much: polynomial in original input size There is a polynomial-time reduction from every problem A Î NP to B. B NP Invalid transformation: “do an exponential search to find the answer, and output that”

Slide 21

Slide 21 text

Reduction Proofs Goal: Prove A does not have some property Y. We already know B does not have property Y. Proof by Contradiction: Assume ! has some property ". Since ! has ", there is a solution $ to ! that satisfies ". Show how $ could be used to solve %.

Slide 22

Slide 22 text

Reduction Proofs Goal: Prove A does not have some property Y. We already know B does not have property Y. Proof by Contradiction: Assume ! has some property ". Since ! has ", there is a solution $ to ! that satisfies ". Show how $ could be used to solve %. Since we know B does not satisfy Y, but having S would imply B satisfies Y, S cannot exist. Thus, S cannot exist, and A does not have Y.

Slide 23

Slide 23 text

NP-Hardness Reduction Proofs Goal: Prove A does not have some property Y. We already know B does not have property Y. Proof by Contradiction: Assume ! has some property ". Since ! has ", there is a solution $ to ! that satisfies ". Show how $ could be used to solve %. NP-Hardness: " = “is NP-Hard”, % = a known NP-Hard problem, $ = “a TM that solves ! in polynomial-time”

Slide 24

Slide 24 text

Proving NP-Hardness Show there is a polynomial-time reduction from every problem A Î NP to B. B NP Show there is a polynomial- time reduction from one problem X Î NP-Hard to B. X NP B This assumes we already know some problem X that is in NP-Hard. To get the first one, we need to prove it the hard way!

Slide 25

Slide 25 text

24

Slide 26

Slide 26 text

KNAPSACK Problem Input: !" , $" , !% , $% , … , !' , $' !( , $( ∈ ℝ+, maximum weight , Output: - ⊆ {1, … , 1} that maximizes ∑ ( ∈4 $( subject to ∑ ( ∈4 !( ≤ , 25 Known (but won’t prove): KNAPSACK problem is in NP-Hard.

Slide 27

Slide 27 text

Multi-Unit Auction: Input Representation 26 Input: Valuations for the players: !" , … , !% . Output: Allocation, '" , … , '% where ∑ ) ') ≤ ' that maximizes ∑ ) !) ') . Query model: !) 0 = 0, ∀. ∈ 0, … , ' − 1 : !) . ≤ !) (. + 1) Single-Minded Step Bids: !) . = 0 for . < .) ∗; !) . = <) ∗ for . ≥ .) ∗. Downward Sloping: ∀. ∈ 0, … , ' − 1 : !) . + 1 − !) . ≤ !) . − !) (. − 1) No polynomial (in log ') time solution Know polynomial (in log ') time solution ???

Slide 28

Slide 28 text

Proof: Multi-Unit Auction with Single-Minded Bids is NP-Hard 27 Goal: Prove A does not have some property Y. We already know B does not have property Y. Proof by Contradiction: Assume ! has some property ". Since ! has ", there is a solution $ to ! that satisfies ". Show how $ could be used to solve %. NP-Hardness: " = “is NP-Hard”, % = a known NP-Hard problem, $ = “a TM that solves ! in polynomial-time”

Slide 29

Slide 29 text

Proof: Multi-Unit Auction with Single-Minded Bids is NP-Hard 28 Goal: Prove Multi-Unit Auction with Single-Minded Bids is NP-Hard. We already know KNAPSACK is NP-Hard. Proof by Contradiction: Assume !"# is not NP-Hard. Since !"# is not NP-Hard, there is a polynomial-time solution % to !"#. Show how % could be used to solve &'#(%#)&. NP-Hardness: * = “is NP-Hard”, + = KNAPSACK, % = “a TM that solves !"# in polynomial-time”

Slide 30

Slide 30 text

Reduction 29 MUA-SMB Input: Valuations for the players: !" , … , !% . !' ( = 0 for ( < (' ∗; !' ( = 1' ∗ for ( ≥ (' ∗. Output: Allocation, 3" , … , 3% where ∑ ' 3' ≤ 3 that maximizes ∑ ' !' 3' . KNAPSACK Input: 1" , !" , 16 , !6 , … , 1% , !% 1' , !' ∈ ℝ9, maximum weight : Output: ; ⊆ {1, … , ?} that maximizes ∑ ' ∈A !' subject to ∑ ' ∈A 1' ≤ :

Slide 31

Slide 31 text

Multi-Unit Auction: Input Representation 30 Input: Valuations for the players: !" , … , !% . Output: Allocation, '" , … , '% where ∑ ) ') ≤ ' that maximizes ∑ ) !) ') . Query model: !) 0 = 0, ∀. ∈ 0, … , ' − 1 : !) . ≤ !) (. + 1) Single-Minded Step Bids: !) . = 0 for . < .) ∗; !) . = <) ∗ for . ≥ .) ∗. Downward Sloping: ∀. ∈ 0, … , ' − 1 : !) . + 1 − !) . ≤ !) . − !) (. − 1) No polynomial (in log ') time solution Know polynomial (in log ') time solution NP-Hard: no polynomial time solution unless P=NP

Slide 32

Slide 32 text

31 Trial Auction Results

Slide 33

Slide 33 text

“If P = NP, then the world would be a profoundly different place than we usually assume it to be. There would be no special value in ‘creative leaps’, no fundamental gap between solving a problem and recognizing the solution once it’s found. Everyone who could appreciate a symphony would be Mozart; everyone who could follow a step-by-step argument would be Gauss...” Scott Aaronson Charge Project 4: Final auction next Thursday Project 4 reports Due next Friday