我们有n个物品进出队列，他们可以随时进出。我们拥有的信息是，对于每一对 (a,b)，我们知道 1) a 在 b 进入之前离开队列，反之亦然； 2) 在某个时刻，a 和 b 同时在队列中。或 3) 根本没有信息。假设我们给出了所有（n 选择 2）对的成对信息列表，找到一个 O(n^2) 算法来确定信息中是否存在任何不一致。
例如a在b进入之前离开（为简单起见，写成a>b），b>c，c=a是不一致的，因为没有a,b,c进入和离开的可能时间线使所有三个语句都为真的队列。我想把它变成一个图横向问题，每个项目作为一个顶点，成对关系作为一条边，如果 a>b 或 b 或 < 是可传递的。但是，如果循环中的所有边都是无向的，则不存在不一致。或者，如果有些是定向的或有些是非定向的，则可能不一致或一致。例如a>b、b>c、c=a是不一致的，而a=b、b=c、c>a是一致的。
任何意见和想法将不胜感激！
答案 0 :(得分：1)
将此视为一个有向图，如果 a 在 b 进入之前离开，则从 a 到 b 有一条弧线，反之亦然。
对于同时在队列中的节点 (x,y)，请注意，这意味着对于每个顶点 w，一致图没有 x < w < y，也没有 x > w > y。通过将这些节点合并为一个节点来反映这一点，保留所有弧。
然后，运行 topological sort 以查找节点的拓扑排序。
当且仅当没有拓扑排序时才存在不一致。
运行时间：拓扑排序为 O(nodes + edge) 即 O(n^2)。