3.〔结束判断)若在步2找到过交点，则 交得凸多边形顶点序列已在调用 0 utput:过程中输出，算法结束； 否则，做如下检查： 若P,包含于多边形Q中，则输出P 包含于Q中，算法结束； 若Q1包含于多边形P中，则输出Q 包含于P中，算法结束； 若上述两个检查都不成功，输出 交为空，两多边形分离，算法结束； 3.〔结束判断〕若在步2找到过交点,则 交得凸多边形顶点序列已在调用 Output过程中输出,算法结束; 否则,做如下检查: 若P1包含于多边形Q中,则输出P 包含于Q中,算法结束; 若Q1包含于多边形P中,则输出Q 包含于P中,算法结束; 若上述两个检查都不成功,输出 交为空,两多边形分离,算法结束;