Sformaluj definicję klas złożoności P (problemy rozwiązywalne w czasie wielomianowym) oraz NP (problemy, których rozwiązanie można zweryfikować w czasie wielomianowym). Przedstaw teoretyczne argumenty przemawiające za i założeniem, że P nie jest równe NP. Wyjaśnij, dlaczego udowodnienie P=NP miałoby drastyczne skutki dla współczesnej kryptografii asymetrycznej, a udowodnienie P≠NP utwierdziłoby nas w przekonaniu o istnieniu problemów inherently trudnych dla komputerów. Omów koncepcję redukcji wielomianowej oraz problem NP-zupełności.