×
安托万·金特里尼;伯恩哈德·吉滕贝格;克劳斯，维罗妮卡;塞西尔·梅勒

布尔函数的关联树和交换树表示。 （英语） Zbl 1314.94120号

理论。计算。科学。 570, 70-101 (2015).
摘要：自20世纪90年代以来，由建立在连接词上的一些随机公式导出的布尔函数的概率分布而且和或者，已被深入研究。这些公式依赖于平面二叉树。我们将所有结果，特别是函数的概率和复杂性之间的关系，推广到更一般的公式结构：非二叉树或非平面树。这些公式满足结合性和交换性的自然性质。

引用于5文件

理学硕士：

94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）
2016年1月5日 渐进枚举
06E30年 布尔函数

关键词：

布尔函数;概率分布;随机布尔公式;随机树;渐近比;组合分析
PDF格式BibTeX公司 XML格式引用
\textit{A.Genitrini}等人，Theor。计算。科学。570、70--101（2015；Zbl 1314.94120）
全文： 内政部 arXiv公司

参考文献：

[1] 博纳，M。；Flajolet，P.，《随机系统发育树中的同构和对称性》，J.Appl。概率。，46, 4, 1005-1019 (2009) ·Zbl 1231.60009号
[2] Boppana，R.B.，概率布尔公式的放大，（第26届IEEE计算机科学基础研讨会论文集（1985）），20-29
[3] 布罗茨基，A。；Pippenger，N.，《由随机布尔公式计算的布尔函数或如何增长正确的函数》，《随机结构算法》，27490-519（2005）·Zbl 1083.94024号
[4] Chauvin，B。；弗拉乔莱特，P。；Gardy，D。；Gittenberger，B.，和/或树木重访，Combin.Probab。计算。，13、4-5、475-497（2004年7月至9月）·Zbl 1077.94526号
[5] Chauvin，B。；Gardy，D。；Mailler，C.，布尔函数的增长树分布，（第八届SIAM分析与组合研讨会，第八届分析与组合SIAM研讨会，ANALCO（2011）），45-56·Zbl 1430.68033号
[6] Drmota，M.，《随机树》（2009），施普林格：施普林格维也纳，纽约·兹比尔1170.05022
[7] 杜宾纳，M。；Zwick，U.，通过读取公式进行放大，SIAM J.Compute。，26, 1, 15-38 (1997) ·Zbl 0868.94059号
[8] 弗拉乔莱特，P。；Odlyzko，A.M.，生成函数的奇异性分析，SIAM J.离散数学。，3, 216-240 (1990) ·Zbl 0712.05004号
[9] 弗拉乔莱特，P。；Sedgewick，R.，分析组合数学（2009），剑桥大学出版社：剑桥大学出版社·Zbl 1165.05001号
[10] Fournier，H。；Gardy，D。；Genitrini，A.，《平衡和/或树与线性阈值函数》，（第六届SIAM分析与组合研讨会，第六届分析与组合SIAM研讨会，ANALCO（2009）），51-57·Zbl 1430.68165号
[11] Fournier，H。；Gardy，D。；Genitrini，A。；Gittenberger，B.，布尔函数对蕴涵的复杂性和极限比，（第33届计算机科学数学基础国际研讨会，第33届国际计算机科学数学基金会，MFCS’08，Torun，Pologne（2008年8月）），347-362·兹比尔1173.03301
[12] Fournier，H。；Gardy，D。；Genitrini，A。；Gittenberger，B.，在关联逻辑中代表给定布尔函数的大随机树的分数，随机结构算法，40，3，317-349（2012）·兹比尔1239.03004
[13] Fournier，H。；Gardy，D。；Genitrini，A。；Zaionc，M.，经典逻辑和直觉逻辑是渐近相同的，（计算机科学逻辑年度会议。2007年瑞士洛桑CSL科学逻辑年度大会（2007），斯普林格·弗拉格），177-193·Zbl 1179.03015号
[14] Gardy，D.，《随机布尔表达式》，（计算逻辑与应用学术讨论会，AF.计算逻辑和应用学术讨论，AF卷，DMTCS论文集（2006）），1-36·Zbl 1193.03016号
[15] Genitrini，A。；Gittenberger，B.，无香农效应对随机表达式诱导的布尔函数概率分布的影响， （第21届算法分析的概率、组合和渐近方法国际会议。第21届国际算法分析的可能性、组合和渐进方法会议，奥地利维也纳算法。第21届概率、组合和渐近算法分析国际会议，奥地利维也纳，DMTCS会议记录（2010年7月）·Zbl 1355.68119号
[16] Genitrini，A。；Gittenberger，B。；克劳斯，V。；Mailler，C.，随机隐含公式给出的布尔函数的概率，电子。J.Combina.，19，2，P37（2012），（电子版），20页·Zbl 1243.03011号
[17] 格雷厄姆，R.L。；Knuth，D.E。；Patashnik，O.，《具体数学：计算机科学基础》（1989），Addison-Wesley·Zbl 0668.00003号
[18] 古普塔，A。；Mahajan，S.，《使用放大计算具有小多数门的多数》，计算。复杂性，6，1，46-63（1997）·Zbl 0870.68064号
[19] Kozik，J.，《与/或树的亚临界模式语言》，（第五届数学和计算机科学学术讨论会。第五届德国布劳布伦数学和计算机学学术讨论会，第五届数字和计算机科学讨论会·Zbl 1355.68162号
[20] Lefmann，H。；Savickí，P.，大型和/或布尔公式的一些典型性质，随机结构算法，10337-351（1997）·Zbl 0874.60011号
[21] 莫祖拉德，M。；Tyszkiewicz，J。；Zaionc，M.，简单类型的统计性质，数学。结构计算。科学。，10, 5, 575-594 (2000) ·Zbl 0966.03016号
[22] 巴黎，J.B。；Vencovská，A。；Wilmers，G.M.，从命题演算中导出的自然先验概率分布，纯应用。逻辑，70243-285（1994）·Zbl 0821.03012号
[23] Pólya，G。；Read，R.C.，《群、图和化合物的组合计数》（1987），Springer Verlag:Springer Verlag纽约
[24] Servedio，R.A.，单调布尔公式可以近似单调线性阈值函数，离散应用。数学。，142, 1-3, 181-187 (2004) ·Zbl 1122.68067号
[25] Valiant，L.，多数函数的短单调公式，J.算法，5363-366（1984）·Zbl 0554.94017号
[26] Woods，A.，《关于和/或公式的绝对真理概率》，公牛出版社。符号逻辑，12，3（2005）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。