Mike Paterson Uri Zwick

44
Mike Paterson Uri Zwick Overhang

description

Overhang. Mike Paterson Uri Zwick. The overhang problem. How far off the edge of the table can we reach by stacking n identical blocks of length 1 ? J.G. Coffin – Problem 3009, American Mathematical Monthly (1923). “Real-life” 3D version. Idealized 2D version. The classical solution. - PowerPoint PPT Presentation

Transcript of Mike Paterson Uri Zwick

Page 1: Mike Paterson Uri Zwick

Mike PatersonUri Zwick

Overhang

Page 2: Mike Paterson Uri Zwick

The overhang problem

How far off the edge of the table can we reach by stacking n identical

blocks of length 1?

J.G. Coffin – Problem 3009, American Mathematical Monthly (1923).

“Real-life” 3D version Idealized 2D version

Page 3: Mike Paterson Uri Zwick

The classical solution

Harmonic Piles

Using n blocks we can get an overhang of

Page 4: Mike Paterson Uri Zwick

Is the classical solution optimal?

Obviously not!

Page 5: Mike Paterson Uri Zwick

Inverted pyramids?

Page 6: Mike Paterson Uri Zwick

Inverted pyramids?

Unstable!

Page 7: Mike Paterson Uri Zwick

Diamonds?

The 4-diamond is stable

Page 8: Mike Paterson Uri Zwick

Diamonds?

The 5-diamond is …

Page 9: Mike Paterson Uri Zwick

Diamonds?

The 5-diamond is Unstable!

Page 10: Mike Paterson Uri Zwick

What really happens?

Page 11: Mike Paterson Uri Zwick

What really happens!

Page 12: Mike Paterson Uri Zwick

Why is this unstable?

Page 13: Mike Paterson Uri Zwick

… and this stable?

Page 14: Mike Paterson Uri Zwick

Equilibrium

F1 + F2 + F3 = F4 + F5

x1 F1+ x2 F2+ x3 F3 = x4 F4+ x5 F5

Force equation

Moment equation

F1

F5F4

F3

F2

Page 15: Mike Paterson Uri Zwick

Forces between blocks

Assumption: No friction.All forces are vertical.

Equivalent sets of forces

Page 16: Mike Paterson Uri Zwick

Stability

Definition: A stack of blocks is stable iff there is an admissible set of forces under which each block is in equilibrium.

1 1

3

Page 17: Mike Paterson Uri Zwick

Checking stability

Page 18: Mike Paterson Uri Zwick

Checking stability

F1F2 F3 F4 F5 F6

F7F8 F9 F10

F11 F12

F13F14 F15 F16

F17 F18

Equivalent to the feasibilityof a set of linear inequalities:

Page 19: Mike Paterson Uri Zwick

Stability and Collapse

A feasible solution of the primal system gives a set of stabilizing forces.

A feasible solution of the dual system describes an infinitesimal motion that

decreases the potential energy.

Page 20: Mike Paterson Uri Zwick

Small optimal stacks

Overhang = 1.16789Blocks = 4

Overhang = 1.30455Blocks = 5

Overhang = 1.4367Blocks = 6

Overhang = 1.53005Blocks = 7

Page 21: Mike Paterson Uri Zwick

Small optimal stacks

Overhang = 2.14384Blocks = 16

Overhang = 2.1909Blocks = 17

Overhang = 2.23457Blocks = 18

Overhang = 2.27713Blocks = 19

Page 22: Mike Paterson Uri Zwick

Support and balancing blocks

Principalblock

Support set

Balancing

set

Page 23: Mike Paterson Uri Zwick

Support and balancing blocks

Principalblock

Support set

Balancing

set

Page 24: Mike Paterson Uri Zwick

Principalblock

Support set

Stacks with downward external

forces acting on them

Loaded stacks

Size =

number of blocks

+ sum of external

forces.

Page 25: Mike Paterson Uri Zwick

Principalblock

Support set

Stacks in which the support set contains

only one block at each level

Spinal stacks

Page 26: Mike Paterson Uri Zwick

Loaded vs. standard stacks

1

1

Loaded stacks are slightly more powerful.

Conjecture: The difference is bounded by a constant.

Page 27: Mike Paterson Uri Zwick

Optimal spinal stacks

Optimality condition:

Page 28: Mike Paterson Uri Zwick

Spinal overhangLet S (n) be the maximal overhang achievable

using a spinal stack with n blocks.

Let S*(n) be the maximal overhang achievable using a loaded spinal stack on total weight n.

Theorem:

A factor of 2 improvement over harmonic stacks!

Conjecture:

Page 29: Mike Paterson Uri Zwick

100 blocks example

Spine

Shadow

Towers

Page 30: Mike Paterson Uri Zwick

Are spinal stacks optimal?

No!

Support set is not spinal!

Overhang = 2.32014Blocks = 20

Page 31: Mike Paterson Uri Zwick

Optimal weight 100 construction

Overhang = 4.20801Blocks = 47

Weight = 100

Page 32: Mike Paterson Uri Zwick

Brick-wall constructions

Page 33: Mike Paterson Uri Zwick

Brick-wall constructions

Page 34: Mike Paterson Uri Zwick

“Parabolic” constructions

5-stack

Number of blocks: Overhang:

Stable!

Page 35: Mike Paterson Uri Zwick

Using n blocks we can get an overhang of (n1/3) !!!

An exponential improvement over the O(log n) overhang of

spinal stacks !!!

Page 36: Mike Paterson Uri Zwick

“Parabolic” constructions

5-slab

4-slab

3-slab

Page 37: Mike Paterson Uri Zwick

r-slab

5-slab

Page 38: Mike Paterson Uri Zwick

r-slab

5-slab

Page 39: Mike Paterson Uri Zwick

r-slab

5-slab

Page 40: Mike Paterson Uri Zwick
Page 41: Mike Paterson Uri Zwick

“Vases”

Weight = 1151.76

Blocks = 1043

Overhang = 10

Page 42: Mike Paterson Uri Zwick

“Vases”

Weight = 115467.

Blocks = 112421

Overhang = 50

Page 43: Mike Paterson Uri Zwick

“Oil lamps”

Weight = 1112.84

Blocks = 921

Overhang = 10

Page 44: Mike Paterson Uri Zwick

Open problems● Is the (n1/3) construction tight?

Yes! Shown recently by Paterson-Peres-Thorup-Winkler-Zwick

● What is the asymptotic shape of “vases”?● What is the asymptotic shape of “oil lamps”?● What is the gap between brick-wall constructions

and general constructions?● What is the gap between loaded stacks

and standard stacks?