Ecco come l'ho spiegato a mia madre, spero che ti servirà :)
Ci sono problemi per i quali è facile trovare una soluzione (P, ma meno li chiamano "facilmente risolvibili"), problemi per i quali è facile controllare se una determinata soluzione è corretta (NP, ma chiamiamoli "facilmente controllabili" ) e problemi che non sono né facilmente risolvibili né facilmente verificabili. Per semplicità supponiamo che "Easy" sia definito formalmente e che ogni problema abbia una soluzione unica.
Ora, le persone sono state in grado di dimostrare (usando la matematica) relazioni interessanti tra queste due nozioni di "facilmente risolvibile" e "facilmente controllabile", in modo tale che alcuni problemi non siano facilmente risolvibili e che altri non siano facilmente controllabili. Un esempio di base di tale risultato è che un problema facilmente risolvibile è anche facilmente controllabile: basta trovare la sua soluzione e confrontarla con la soluzione fornita.
Abbastanza sorprendentemente, per molti problemi pratici (come decidere se esiste un possibile assegnamento di studenti a professori e aule, quando c'è un margine molto limitato) non si sa se esiste un modo "semplice" per risolverlo, ma è noto come verificare facilmente se una soluzione è corretta o meno. Le persone hanno provato molto e hanno fallito, quindi hanno provato a dimostrare che non era possibile e hanno fallito: semplicemente non lo sanno. Alcuni pensano che tutti i problemi che sono facilmente verificabili siano facilmente risolvibili (dovremmo solo pensarci di più), altri pensano il contrario, che non dovremmo perdere tempo cercando di trovare soluzioni facili a questi problemi.
Ciò che abbiamo scoperto è come mostrare i collegamenti tra i problemi (ad esempio se sai come andare a scuola, sai come andare al forno che si trova proprio di fronte) e problemi facilmente verificabili che sono collegati a tutti gli altri problemi facilmente verificabili ( NP-complete, ma chiamiamoli "problemi chiave") in modo tale che se qualcuno, un giorno, mostra che uno dei problemi chiave è facilmente risolto, allora anche tutti i problemi che sono facilmente verificabili sono facilmente risolvibili (cioè P = NP). D'altra parte, se qualcuno mostra che uno dei problemi chiave non può essere facilmente risolvibile, nessuno degli altri può essere facilmente risolvibile (cioè P <> NP).
Quindi la domanda è allettante e relativamente importante nella pratica (anche se alcuni sostengono che dovremmo piuttosto concentrarci su definizioni alternative di "facile") e le persone stanno investendo parecchi soldi e tempo nel dibattito.