決定性領域については、サヴィッチの定理以後22年間進歩が見られなかったが、1979年、aleliunasらはustconの実用的な確率的対数領域アルゴリズムを発見した。