1
ん
ポリタイムチューリングマシン/ポリサイズ回路の代わりに、対数空間チューリングマシンまたは回路が問題をエンコードするようにを定義するとどうなりますか?P P A DPPAD{\bf PPAD} A C 0AC0{\bf AC^0} 最近、小さな回路の回路充足可能性のアルゴリズムを高速化することが重要であることが判明したため、 PPAD制限されたバージョンはどうなるのだろうか。P P A DPPAD{\bf PPAD}