2-Xor 重访：可满足性与函数概率

Élie de Panafieu; Danièle Gardy; Bernhard Gittenberger; Markus Kuba

2-Xor 重访：可满足性与函数概率

组合数学 2015-11-25 v1 概率论

作者: Élie de Panafieu , Danièle Gardy , Bernhard Gittenberger , Markus Kuba

摘要

问题 2-Xor-Sat 询问一个由子句 $x \oplus y$ 的合取构成的随机表达式可满足的概率。我们通过给出该概率的一个替代的显式表达式来重新探讨这一经典问题。进而我们考虑其一个细化，即随机表达式计算特定布尔函数的概率。两个问题的答案都涉及将 2-Xor 表达式描述为多重图，并利用解析组合学的经典方法，通过生成函数的系数来表达概率。

关键词

2-Xor-Sat 可满足性布尔函数多重图解析组合学生成函数概率

引用

@article{arxiv.1511.07813,
  title  = {2-Xor revisited: satisfiability and probabilities of functions},
  author = {Élie de Panafieu and Danièle Gardy and Bernhard Gittenberger and Markus Kuba},
  journal= {arXiv preprint arXiv:1511.07813},
  year   = {2015}
}

备注

31 pages, 2 figures

2-Xor 重访：可满足性与函数概率

摘要

关键词

引用

备注

相关论文