Verifying Missing Solutions Is Hard

When pigeons outnumber pigeonholes, some birds must double up. This obvious statement — and its inverse — have deep connections to many areas of math and computer science.

The story How a Problem About Pigeons Powers Complexity Theory first appeared on Quanta Magazine.