text: Неформально, но достаточно точно вопрос сводится к тому, можно ли любую задачу, предъявленное решение которой можно проверить за полиномиальное время, также и решить за полиномиальное время, используя полиномиальную память.