Prawidłowy schemat komputerowy musi raz przestać swoją pracę. Oznacza to, iż rzecz musi znajdować się rozwiązany spośród wykorzystaniem dostępnych zasobów obliczeniowych wewnątrz skończonym czasie. Jeżeli pora obliczeń algorytmu na rzecz jeszcze większego zbioru danych rośnie szybciej aniżeli dowolna zależność wielomianowa, owo mówi się iż negacja logiczna jest faktycznie obliczalny. Jedną spośród klas problemów, na rzecz których negacja logiczna znamy wielomianowych rozwiązań, są problemy NP-trudne. Jeśli znamy wielomianowy wzór weryfikujący prawidłowość rozwiązania problemu NP-trudnego, owo sprawa ów nazywamy NP-zupełnymi. Pytanie, innymi słowy P=NP, oznacza to oznacza to istnieją szybkie algorytmy rozwiązujące problemy NP-zupełne, jest najsłynniejszym problemem otwartym we współczesnej informatyce. Dodatkowo istnieją problemy nierozwiązywalne zbyt pomocą żadnego algorytmu - tzw. problemy nierozstrzygalne.