Untitled Document

　　
　　首先作一些准备工作，利用前面介绍的算法，求出"不相容状态对"集合D和"相容状态对"集合C。
　　Step1 从D中任选一个"不相容状态对"(s_p, s_q)，作以下操作以便在π中形成2个生长点：
　　C₁ = { s_p }; C₂ = { s_q };
　　π = { C₁ , C₂ };
　　S = S - {s_p, s_q};
　　K = 3;
　　Step2 对S中每一状态s_j 作以下操作，以便继续在π中形成新的生长点：
　　若s_j和π中每一相容类C_i (1≤i< k)都不相容，则
　　C_k = { s_j };
　　π = π ∪ C_k ;
　　S = S - { s_j };
　　K = K + 1;
　　Step3 若 S = φ; 转Step6
　　否则，令T = 0; 并对S中每一状态s_j 作以下操作：若s_j 和某一相容类C_i 相容，则
　　　　C_i = C_i ∪ { s_j };
　　　　S = S - { s_j };
　　　　T = 1;
　　Step4 若 T = 1, 转Step3
　　Step5 若 S ≠ φ ，从S中任选一状态s_j ，作以下操作：
　　　　C_k = { s_j }；
　　　　π = π ∪ C_k ;
　　　　S = S - { s_j };
　　　　K = K + 1; 转Step3;
　　Step6 算法结束，π即为所求。