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?
Similarly, algorithms can solve the NP-complete knapsack problem over a wide range of sizes in less than quadratic time and SAT solvers routinely handle large instances of the NP-complete Boolean satisfiability problem.
Каков пример проблемы, решение которой обеспечили эффективные алгоритмы, несмотря на трудноразрешимость, связанную с широтой размеров?
Аналогично, алгоритмы могут решить проблему NP-полного рюкзака в широком диапазоне размеров менее чем за квадратичное время, и решатели SAT обычно обрабатывают большие экземпляры проблемы NP-полной булевой выполнимости.