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?
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.
Каков пример проблемы, решение которой обеспечили эффективные алгоритмы, несмотря на трудноразрешимость, связанную с широтой размеров?
Например, было показано, что проблема решения в арифметике Пресбургера не находится в P, однако были написаны алгоритмы, которые в большинстве случаев решают проблему в разумные сроки.