question: What is an example of a problem to which effective algorithms have provided a solution in spite of the intractability associated with the breadth of sizes?
sentence: For example, the decision problem in Presburger arithmetic has been shown not to be in P, yet algorithms have been written that solve the problem in reasonable times in most cases.