若根据前 个关系即可确定这 个元素的顺序 yyy..y(如 ABC),输出
Sorted sequence determined after x relations: yyy...y.
其中 表示上述的前 个关系。
若根据前 个关系即发现存在矛盾(如 ),输出
Inconsistency found after x relations.
其中 表示的意义同上。
若根据这 个关系无法确定这 个元素的顺序,输出
Sorted sequence cannot be determined.
(提示:确定 个元素的顺序后即可结束程序,可以不用考虑确定顺序之后出现矛盾的情况)