What kind of statement is made in the effort of establishing the time and space requirements needed to enhance the ultimate number of problems solved?
For the complexity classes defined in this way, it is desirable to prove that relaxing the requirements on (say) computation time indeed defines a bigger set of problems.
Какое заявление делается в попытке определить требования ко времени и пространству, необходимые для увеличения максимального числа решаемых проблем?
Для классов сложности, определенных таким образом, желательно доказать, что ослабление требований к (скажем) времени вычислений действительно определяет больший набор проблем.