周六:SAT解算器-源码

所需积分/C币:5 2021-02-17 04:17:22 573KB ZIP
7
收藏 收藏
举报

{0,1}上的代数多项式总和求解器 实例:多项式P(k,x 1 ,x 2 ,...,x n ),它是项的和,其中每个项是k个不同变量x j的乘积。 答案:对于所有可能的赋值U i = {u 1 ,u 2 ,... u n }这样,计算∑ U i P(k,u 1 ,u 2 ,... u n )的总和值。 u j在{0,1}中。 例子 实例:P(2,x 1 ,x 2 ,x 3 )= x 1 * x 2 + x 2 * x 3 答:对于所有可能的分配,总和值为4 : 1个 2倍 3倍 P(2,x 1 ,x 2 ,x 3 ) 1个 1个 1个 2 1个 1个 0 1个 0 1个 1个 1

...展开详情
立即下载 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
周六:SAT解算器-源码 5积分/C币 立即下载
1/0