ma .. non è 1 dei problemi di computabilità da risolvere di questo secolo ?

http://www.claymath.org/millennium/P_vs_NP/