r - 南京大学计算机科学与技术系

最⼩小化算法(分划部分)
1. 设置初始分划П={S-F,F}
2. 迭代,不断分划:
for (П中的每个元素G){
细分G,使得G中的s、t仍然在同一组中 iff
对任意a,s,t都到达П中的同一组;
П new =将П中的G替换为细分得到的小组;
}
3. 如果П new ==П,令П final ==П,转步骤4;否则П==П new ,
转步骤2;