dissolve P vs. NP problem