改成 no_ceshuser，是不是更符合英语词汇的构造？
no_ceshiuser 就不太像英语单词了，然后就被你发现了。。

@LiubaiQ 建议将主题挪到“职场话题”节点啊。

关于知识盲区的理解很赞：“不知道自己不知道”。

楼主的这个>, >=的抽象好简洁。能问一下是从什么里面抽象出来的问题啊？

开始我想的方法，就是逐渐添加表达式，然后判断每一次添加，是否会造成环(所以对楼主的第二个问题感到奇怪)。然后发现每次添加新表达式后，总是要做一个“判断某个点是不是另一个点的父点”的操作，涉及到了查表。而查表的复杂度是 O(m)(m 是点的个数)，导致最后复杂度是 O(n*m)。看到 @geelaw 提到的 Tarjan 算法，发现它巧妙的用动态构建的栈将这个查表的复杂度降到了 O(1)，然而动态构建栈的代价是，建栈必须考虑整个图的所有连接信息，而如果是依次添加列表项，连接信息不完整，栈的方法就无效了。Tarjan 方法似乎和逐次添加列表项的方法是矛盾的。

不知道楼主第 2 个问题的复杂度是多少，感觉降到了 O((n+m)log(n))已经是挺神奇了。