正常的2-sat都是靠tarjan缩点，根据scc编号的大小关系来输出答案。

可是在这道题中，题解和提交记录里无一例外都是靠dfs搜索确定答案。本蒟蒻想知道这样做正确性和复杂度的原理qwq

有没有dalao帮我