Zdefiniuj klasy złożoności P oraz NP i wyjaśnij różnicę między weryfikowalnością a rozwiązywaniem problemu. Opisz konsekwencje dla kryptografii, bezpieczeństwa danych i ogólnej wiedzy ludzkiej, w przypadku gdyby udowodniono, że P = NP. Czy istnieją argumenty sugerujące, że P ≠ NP, mimo braku formalnego dowodu? Omów problem NP-zupełności na przykładzie satysfakcjonowalności formuł (SAT).