可以实现在T0时刻是否存在安全序列,有的话可以输出一个安全序列