原名:Shortest reconfiguration paths in the solution space of Boolean formulas by Amer Mouawad
作品简介:ST连接。定理(民间传说)st-连通性在 2CNF 公式的 P 中。证明。我们只需要翻转分配了不同值的变量即可。……

资源下载
VIP免费升级VIP
显示验证码

社交账号快速登录