Computer-Assisted Proof

Verhoeff and Heuseveldt pin the shortest two-out-of-four picture hanging at 16 wraps

Proving that a k-out-of-n hanging exists stopped being the hard part in 2012. The open work moved to length, and an exhaustive computer check has now established the exact minimum for the four-nail case.