A gap where information-theoretically optimal solutions require less error than what polynomial-time algorithms can achieve.