可视化

给形如 甲等于乙 并且 乙小于丙 并且 甲等于丙 这样只有并且,等于,小于的表达式(没有括号),检测是否永远为真或假
楼主十分脑残地答了强连通分量而不是拓扑排序,最后没有写完。