摘要： 零、基本思想将输入数据转换为有向图，并使用tarjan算法求得图中的所有scc，再判断已知条件是否自相矛盾（即判断每一点是否与它的反点位于同一个scc中，如果是则问题无解）一、转换方式在一般的逻辑推理中，我们所能... 阅读全文