ブール関数
例として回路最小化問題を考える。あるブール関数 "f" を計算する回路 "A" と数 "n" があるとき、最大 "n" 個の論理ゲートで同じ関数 "f" を計算する回路が存在するかどうかを決定する問題である。1回の交替のある交替性チューリング機械で存在的状態から動作を開始する場合、この問題を多項式時間で解くことができる。最大 "n" ゲートの回路 "B" を想定し、全称状態に交替し、入力を想定し、"B" にその入力を与えたときの出力と "A" に同じ入力を与えたときの出力を比較する。