2-sat—判可行性及求方案
介绍
2-sat问题的全称是2-satisfied，具体来说，给出n个变量，每个变量有两种取值方案Ai,0和Ai,1。另外有一些限制形如“若Ai选择Ai,p，那么Aj必须选择Aj,q”。求有无解及其方案。
可行性
解决2-sat的问题先要进行模型转换。
对于限制条件“若Ai选择Ai,p，那么Aj必须选择Aj,q”，则从id(i,p)到id(j,q)连一条有向边，表示选择id(i,p)就要选i...
原创
2018-10-07 16:34:25 ·
1002 阅读 ·
0 评论
关注
分享
扫一扫