Assumindo alguma formação em matemática, como você daria uma visão geral da teoria da complexidade computacional aos ingênuos?

Estou procurando uma explicação para a questão P = NP. O que é P? O que é NP? O que é um NP-Hard?

Às vezes, a Wikipedia é escrita como se o leitor já entendesse todos os conceitos envolvidos.