The correctness of our method has been verified by testing in the MPP computer Dawn 2000.

• 这种策略的正确性已通过在曙光 -2 0 0 0并行机上的实验结果得到验证。