我将尝试构思解决以下示例中出现的问题的解决方案:
A != B
B != C
D != B
C != B
E != D
E != A
有多少变量是真的,有多少是假的?据我所知,应该尝试使用广度优先搜索,但我的问题是从哪里开始以及图将是一个定向图(我将xi
连接到!xj
,其中存在等式关系)。有人能指点我方向吗?