回答:
スペースクラスには常に作業スペースのみが含まれます。モデルは、読み取り専用の入力テープと書き込み専用の出力テープに加えて、読み取り専用の作業テープ(またはそのような複数のテープ)があり、使用できるのは限られたスペース。この定義は、LOGSPACEなどの意味を理解するために必要です。出力を使用済みスペースの一部としてカウントした場合、「入力を出力するだけ」などのアルゴリズムでさえ、LOGSPACEでは実行されません。問題間でLOGSPACEリダクションを使用することがよくあるため、これは重要です。
指数関数的に大量の出力を生成する(自明ではない)FPSPACEアルゴリズムの簡単な例は、変数の値のすべての可能な組み合わせを試行し、式を満たす組み合わせを出力するSATソルバーです。これにより、入力クラス指数関数的に長い出力が生成されます。
時間制限のある複雑性クラスの場合、この種の問題は発生しないことに注意してください。Turingマシンで は、出力のシンボルの書き込みは常に少なくとも タイムステップかかるため、たとえば、多項式タイムマシンは多項式で多くの出力を生成します。