I've studied computer science, but I don't recall this theoretical problem. Perhaps its just not as popular or well known as things like P vs NP?