But having an efficient market doesn't imply that an algorithm \in P exists for that problem ?? Efficient markets just imply decidability of the problem.