2-sat 的图是中心对称的，即每个命题都连着它的逆否命题 。
您的图中表示着
“如果 z 那么 非x”
所以逆否命题
”如果 x 那么 非z” 成立
补充一些没连的边
上面这副 2-sat 应该无解
by ღꦿ࿐ @ 2022-07-08 17:05:28
也就是说
x 和非 x 要么互相影响，只能选一个，要么无解，要么完全独立，选啥都行
by ღꦿ࿐ @ 2022-07-08 17:06:31
@[ღꦿ࿐](/user/161697) 感谢您
by pengyule @ 2022-07-08 17:13:34
@[ღꦿ࿐](/user/161697) 烦请您再看一眼这种情况，行吗
程序显然会判有解，但是输出解的时候没法保证满足原先的条件吧，因为1,1'随便选一个，2,2'随便选一个
by pengyule @ 2022-07-08 18:25:28
请您看一下题解，会选择拓扑序更后的
即 1 ， 2
by ღꦿ࿐ @ 2022-07-08 18:54:24
@[pengyule](/user/300078) 这就是“只能选1个” 的情况啊
by ღꦿ࿐ @ 2022-07-08 18:54:50
@[ღꦿ࿐](/user/161697) 哈哈，我可能看反了，实在实在很抱歉拿这么弱智的问题复打扰您
by pengyule @ 2022-07-08 19:02:29
@[pengyule](/user/300078) 没事，第一个问题我也思考过很久。
祝您爆切2-sat
by ღꦿ࿐ @ 2022-07-08 19:08:16