P versus NP problem: Is P equal to NP?