It is also possible that a proof would not lead directly to efficient methods, perhaps if the proof is non-constructive, or the size of the bounding polynomial is too big to be efficient in practice.
Este de asemenea posibil ca o dovadă să nu conducă direct la metode eficiente, dacă de exemplu dovada este neconstructivă⁠(d), sau dacă dimensiunea polinomului de încadrare este prea mare pentru a fi eficientă în practică.