Digamos que encontramos um algoritmo que resolva problemas NP-Complete em tempo polinômio, mas não podemos prová-lo. Quais seriam as consequências?
Se eu resolver qualquer problema de NP, posso então aplicar isso para resolver todos os outros problemas de NP? O uso da heurística conta como resolver o problema?