2-SAT问题

2-SAT

拓扑逆序的正确性

反证：设\((x,\neg x)\)有\(tpn[x]>tpn[\neg x]\)，\((y,\neg y)\)有\(tpn[y]<tpn[\neg y]\)，\(x,y \in scc[k]\)，取\(x\)与之前取\(\neg y\)决策矛盾

即\(x \leftrightarrow y\)，会有\(\neg x\leftrightarrow \neg y\)，则\(\neg x,\neg y\in scc[k']\)，\(tpn[\neg x]>tpn[x]\)，与题设不符，证毕

（考场如何想到？）