DMCA
Maximum Overhang (Extended Abstract)
BibTeX
@MISC{Paterson_maximumoverhang,
author = {Mike Paterson and Yuval Peres and Mikkel Thorup and Peter Winkler and Uri Zwick},
title = { Maximum Overhang (Extended Abstract) },
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
How far can a stack of n identical blocks be made to hang over the edge of a table? The question dates back to at least the middle of the 19th century and the answer to it was widely believed to be of order log n. However, at SODA’06, Paterson and Zwick constructed n-block stacks with overhangs of order n 1/3. Here we complete the solution to the overhang problem, and answer Paterson and Zwick’s primary open question, by showing that order n 1/3 is best possible. At the heart of the argument is a lemma (possibly of independent interest) showing that order d³3 non-adaptive coinflips are needed to propel a discrete random walk on the number line to distance d. We note that our result is not a mainstream algorithmic result, yet it is about the solution to a discrete optimization problem. Moreover, it illustrates how methods founded in theoretical computer science can be applied to a problem that has puzzled some mathematicians and physicists for more than 150 years.
Keyphrases
maximum overhang extended abstract independent interest discrete random walk number line primary open question mainstream algorithmic result n-block stack discrete optimization problem order log overhang problem non-adaptive coinflips identical block 19th century theoretical computer science
