该算法直接推导出简单随机博弈（simple stochastic games）可以在拟多项式时间内求解。