Why am I not surprised the Demaines are behind this? They're a hilarious father-son team at MIT.
I worked next to Martin (the father) at CSAIL one summer. He excitedly ushered me and some friends into his office one day to show us all a new video he had finished shooting with Erik. It was a real-life demonstration of some algorithmic problem about rolling a cube over a pattern on the ground. In the video, Martin proceeded to put on a helmet and then climb into a box which Erik then rolled everywhere. And by 'rolled', I mean, tipped the cube up onto its edge to have it come crashing down onto a new face (with Martin inside, sometimes upside down). It was very funny.
Also, looks like Ron Rivest of RSA fame is an author.
I see what you did there. A professor of mine once said that humans remember stories related to violence or sex (which is a no-no in class). I guess, hence, two-generals problem, byzantine-generals.
Almost every paper or artwork by Erik Demaine opens me to something I wouldn't ever imagine. I encourage everyone to look at his website. He is closest to the da Vinci of our times.
I enjoyed his 'family' tree. Showing his academic ancestry to the likes of Fourier and Euler at the bottom of this page:
http://erikdemaine.org/family/
As the note at the bottom of the page mentions, the 'tree' part of that can be got for any mathematician from the wonderful Mathematics Genealogy Project: http://genealogy.math.ndsu.nodak.edu/index.php.
While we're on collaborations and curiosities, I could have sworn that there was a page out there that would try to calculate your Erdös number automatically (maybe through MathSciNet?), but I can't seem to find it.
If it falls when exactly K nails are removed, I don't think it will go back up when you remove the K+1th nail. And if you remove k-1 nails first, and then remove 2 more simultaneously, the picture will fall anyway. So it's ">= K".
"At least k" might imply that removing more than k nails is necessary to make the picture fall, which is not the case. I think "exactly k" is perfectly clear.
"Exactly k" is not clear because the picture will still fall if you remove k+1 nails. I think it's harder to get clearer than the way it's stated in the paper: "the picture falls whenever any k out of the n nails get removed, and the picture remains hanging when fewer than k nails get removed."
That's really weird. My complex analysis professor assigned a few cases of these as joke homework problems (vaguely related to winding numbers around poles) around two years ago.
the case where n=2, k=1 was an IMO problem around 2001/2002 (and the parent article says it is first from spivak '97) and it's pretty easy to see the generalization if you know about fundamental groups. I used to pose the n arbitrary, k=1 case to other math students :D (parent article claims this version is first from mathpuzzle.com, 2002)
This was published at the The Sixth International conference on Fun with Algorithms (FUN 2012). Maybe it's worth looking looking into other papers from that conference. I am wondering what a keynote of such a conference might sound like.
I worked next to Martin (the father) at CSAIL one summer. He excitedly ushered me and some friends into his office one day to show us all a new video he had finished shooting with Erik. It was a real-life demonstration of some algorithmic problem about rolling a cube over a pattern on the ground. In the video, Martin proceeded to put on a helmet and then climb into a box which Erik then rolled everywhere. And by 'rolled', I mean, tipped the cube up onto its edge to have it come crashing down onto a new face (with Martin inside, sometimes upside down). It was very funny.
Also, looks like Ron Rivest of RSA fame is an author.