边障造句

1.证明了由此算法产生的迭代序列至少存在一个聚点，该聚点是双边障碍问题的解。