{"trustable":true,"sections":[{"title":"","value":{"format":"HTML","content":"顺序是数学和计算机科学中的一个重要概念。例如,佐恩引理指出:“一个每个链都有上界的偏序集包含一个极大元素。”顺序在推理程序的固定点语义时也很重要。\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e这个问题既不涉及佐恩引理,也不涉及固定点语义,但涉及顺序。\u003cbr\u003e给定形式为 x \u0026lt; y 的变量约束列表,您需要编写一个程序,打印所有与这些约束一致的变量排序。\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e例如,给定约束 x \u0026lt; y 和 x \u0026lt; z,变量 x、y 和 z 有两个与这些约束一致的排序:x y z 和 x z y。\u003cbr\u003e"}},{"title":"输入","value":{"format":"HTML","content":"输入由一系列约束规范组成。一个规范由两行组成:第一行是变量列表,第二行是约束列表。约束由一对变量给出,其中 x y 表示 x \u0026lt; y。\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e所有变量都是单个字符的小写字母。每个规范中至少有两个变量,最多不超过 20 个变量。每个规范中至少有一个约束,最多不超过 50 个约束。每个规范中至少有一个,与约束一致的排序,最多不超过 300 个。\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e输入以文件结束符终止。\u003cbr\u003e"}},{"title":"输出","value":{"format":"HTML","content":"对于每个约束规范,应该打印所有与约束一致的排序。排序按字典顺序(字母顺序)打印,每行一个。\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e不同约束规范的输出之间用一个空行分隔。\u003cbr\u003e"}},{"title":"示例","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003ea b f g\r\na b b f\r\nv w x y z\r\nv y x v z v w v\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003eabfg\r\nabgf\r\nagbf\r\ngabf\r\n\r\nwxzvy\r\nwzxvy\r\nxwzvy\r\nxzwvy\r\nzwxvy\r\nzxwvy\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e"}}]}