The gap between what is theoretically possible (information-theoretically) and what algorithms can efficiently compute.