44
Mike Paterson Uri Zwick Overhang

Mike Paterson Uri Zwick

  • Upload
    quito

  • View
    35

  • Download
    0

Embed Size (px)

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

Citation preview

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?