it has been (mathematically) proven that there is no polynomial time algorithm for any np-complete problem.