| 输入:随机安全比较器的集合,年代 |
| 输出:最高安全的比较器的最小集合,Ψ |
| 程序: |
| (1)初始化,0和1是用于存储类型安全的比较器,分别; |
| (2)取第一个安全比较器年代到的变量一个,并设置变量; |
| (3)如果,添加成,否则将它添加到; |
| (4), |
| 如果,然后 |
| 如果,然后添加项成; |
| 其他的 |
| 如果,然后添加项成; |
| 别的,删除所有如果; |
| 如果,然后 |
| 如果,然后添加项成; |
| 其他的如果, |
| 那么清楚,添加项成并设置国旗= 0; |
| 别的,删除所有如果; |
| 如果,然后 |
| 如果,然后添加项成; |
| 其他的 |
| 如果,然后添加项成; |
| 别的,删除所有如果; |
| 如果,然后 |
| 如果,然后添加项成; |
| 其他的如果, |
| 那么清楚,添加项成并设置国旗= 1; |
| 别的,删除所有如果; |
| 结束了 |
| (5)如果国旗= 0,然后设置Ψ=;否则,设置Ψ=; |
|
