asymptotic behavior problems become large previous example might say problem requires math n math steps solve perhaps important open problem computer science question whether certain broad class problems denoted np solved efficiently discussed complexity classes p np p versus np problem one seven millennium prize problems stated clay mathematics institute http wwwclaymathorg sites default files pvsnppdf official problem description given turing award winner stephen cook models
Formal science Computer science Theory of computation