×
托比亚斯·博伊格;托马斯·卡勒

高斯曲面的施工方法。 （英语） Zbl 1513.05058号

凯贝内提卡 56，第6号，1045-1062（2020）.
摘要：在中，（n）-gaussoid的数量是一个双指数函数。通过研究高斯曲面的构造方法，获得了必要的边界，这些高斯曲面依赖于规定3次项，并将由此产生的组合约束编码到适当的传递图中。各种特殊的高斯类是由限制允许的3次方产生的。

引用于1文件

MSC公司：

05B99号 设计和配置
05B35号 拟阵和几何格的组合方面
60E05型 概率分布：一般理论

关键词：

华丽的;有条件的独立性;正态分布;立方体;少数的

软件：

夏普SAT;组织环境信息系统;SageMath软件
PDF格式BibTeX公司 XML格式引用
\textit{T.Boege}和\textit{T.Kahle}，Kybernetika 56，No.6，1045--1062（2020；Zbl 1513.05058）
全文： 内政部 arXiv公司

整数序列在线百科全书：

2的幂：a（n）=2^n。
n个字母上的自反转排列数，也称为对合；带有n个单元格的标准Young表的数量。
贝尔数或指数数：划分一组n个标记元素的方法。
a（n）=2^（n*（n-1）/2）。
恒定序列：所有2的序列。
n个节点的标记林数，其中每个组件都是一条路径。
a（n）是n个顶点上标记的无三角简单图的个数。

参考文献：

[1] Boege，T。；达利，A。；Kahle，T。；Sturmfels，B.，高斯曲面的几何。，找到。计算。数学。19 (2019), 4, 775-812 ·Zbl 1453.13076号 ·doi:10.1007/s10208-018-9396-x
[2] Godsil，Ch.公司。；Royle，G.，代数图论。，施普林格，数学研究生课文2072001·Zbl 0968.05002号
[3] Hemmecke，R。；J.莫顿。；Shiu，A。；Sturmfels，B。；Wienand，O.，《关于半石墨烯的三个反例》。，Combinat公司。普罗巴伯。计算。17 (2008), 2, 239-257 ·Zbl 1211.62197号 ·网址：10.1017/S0963548307008838
[4] Klein，F.，《从更高的角度看初等数学》，第二卷，施普林格出版社，2016年·Zbl 1341.51001号 ·doi:10.1007/978-3-662-49445-5
[5] 林尼卡，R。；马图什，F.，《关于高斯条件独立结构》。，Kybernetika 43（2007），3，327-342·兹比尔1144.60302
[6] Lovász，L.，图论中的三个简短证明。，J.组合。理论，B系列19（1975），3269-271·Zbl 0322.05142号 ·doi:10.1016/0095-8956（75）90089-1
[7] 马图什，F.，《通过未成年人审查的条件独立结构》。，安。数学。Artif公司。智力。21（1997），1，99-130·Zbl 0888.68097号 ·doi:10.1023/A:1018957117081
[8] Nelson，P.，几乎所有拟阵都是不可表示的。，牛。伦敦数学。Soc.50（2018），245-248·Zbl 1384.05065号 ·doi:10.1112/blms.12141
[9] 公司、OEIS基金会、整数序列在线百科全书。，走向数学。协助。，130-130 ·doi:10.1515/9780691197944-009
[10] Piff，M.J。；威尔士，D.J.A.，《关于组合几何的数量》。，牛。伦敦数学。Soc.3（1071），1，55-56·Zbl 0222.05003号 ·doi:10.1112/blms/3.1.55
[11] Sadeghi，K.，概率分布和图的忠实性。，J.机器学习研究18（2017），15429-5457·Zbl 1444.62079号
[12] Šimecek，P.，高斯、离散和二进制可表示独立模型的类没有有限特征。，In：程序。布拉格随机学2006年，第400卷，第622-631页
[13] Sörensson，N。；Een，N.，MiniSat v1.13：冲突条款最小化SAT解算器，2005年。
[14] Sullivant，S.，Gaussian条件独立关系没有有限的完全特征。，J.纯应用。《代数》213（2009），81502-1506·Zbl 1162.13014号 ·doi:10.1016/j.jpaa.2008.11.026
[15] 开发者，The Sage，SageMath，Sage数学软件系统（8.0版），2017年。
[16] Thurley，M.，sharpSAT——具有高级组件缓存和隐式BCP的计数模型。，摘自：《可满足性测试的理论与应用——2006年SAT》（A.Biere和C.P.Gomes编辑），Springer，柏林，2006年，第424-429页·doi:10.1007/11814948_38
[17] 托达，T。；Soh，T.，实施高效的所有解决方案SAT求解器。，J.实验。算法。21 (2016), 1-44 ·Zbl 1365.68400号 ·doi:10.1145/2975585
[18] 威尔士，D.J.A.，《拟阵理论》。，信使公司，2010年·Zbl 0343.05002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。