交代チューリングマシンを使えば線型時間で自明に解けるが、＝pspaceなのでこれは当然である(apは交代チューリングマシンで多項式時間で解ける問題の集合)。