Are problems whose solutions can be quickly verified the same class as problems that can be quickly solved? The biggest open question in computer science. $1M prize.
Are problems whose solutions can be quickly verified the same class as problems that can be quickly solved? The biggest open question in computer science. $1M prize.