×

重新访问了\(k\)-XORSAT阈值。 (英语) Zbl 07845343号

摘要:我们提供了随机(k)-XORSAT可满足阈值定理的一个简化证明。作为扩展,我们还确定了有限域上稀疏随机矩阵的满秩阈值,每行具有精确的(k)个非零项。这补充了P.艾尔等[Combinatorica 40,No.2,179–235(2020;Zbl 1463.05507号)]. 该证明将物理启发的消息传递论证与外科力矩计算相结合。

理学硕士:

05C80号 随机图(图形理论方面)
05元50分 图和线性代数(矩阵、特征值等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] D.Achlioptas,M.Molloy:随机线性方程的解空间几何。《随机结构与算法》46(2015)197-231·Zbl 1309.05129号
[2] D.Achlioptas,A.Naor,Y.Peres:硬优化问题中相变的严格位置。《自然》435(2005)759-764。
[3] M.Aizenman,R.Sims,S.Starr:SK旋类模型的扩展变分原理。物理学。修订版B 68(2003)214403。
[4] P.Ayre,A.Coja-Oghlan,P.Gao,N.Müller:随机线性方程的可满足阈值。Combinatorica 40(2020)179-235·Zbl 1463.05507号
[5] A.Coja-Oghlan,O.Cooley,M.Kang,J.Lee,J.Ravelomanana:稀疏奇偶矩阵。Proc。第33届SODA(2022)822-833。
[6] A.Coja-Oghlan,P.Gao,M.Hahn-Klimroth,J.Lee,N.Müller,M.Rolvien:稀疏随机矩阵的满秩条件。程序。第27届随机(2023)#54。
[7] A.Coja Oghlan,A.Ergür,P.Gao,S.Hetterich,M.Rolvien:稀疏随机矩阵的秩。随机结构与算法62(2023)68-130·Zbl 07751491号
[8] O.Cooley,J.Lee,J.Ravelomanana:警告传播:稳定性和亚临界性。arXiv:2111.15577(2021)。
[9] 库珀:具有给定度序列的随机超图的核心。《随机结构与算法》25(2004)353-375。
[10] C.库珀,A.弗里兹,W.佩格登:关于随机二元矩阵的秩。电子。J.库姆。26(2019)第4.12页·Zbl 1459.15037号
[11] N.Creignou,H.Daude,O.Dubois:近似随机k-XOR公式的可满足阈值。arXiv:cs/0106001(2001)。
[12] M.Dietzfelbinger、A.Goerdt、M.Mitzenmacher、A.Montanari、R.Pagh、M.Rink:通过XORSAT进行布谷鸟散列的严格阈值。第37届ICALP(2010)213-225·Zbl 1256.68047号
[13] J.Ding,A.Sly,N.Sun:《大k数学年鉴》196(2022)1-388,可满足性猜想的证明·Zbl 1509.60169号
[14] O.Dubois,J.Mandler:3-XORSAT阈值。程序。第43届FOCS(2002)769-778。
[15] D.Fernholz,V.Ramachandran:稀疏随机图中的核和连通性。UTCS技术报告TR04-13(2004)。
[16] A.Goerdt,L.Falke:超过k-XORSAT.Proc.的可满足性阈值。第七届俄罗斯国际计算机科学研讨会(2012)148-159·Zbl 1360.68779号
[17] M.Ibrahimi,Y.Kanoria,M.Kraning,A.Montanari:随机XORSAT公式的解集。《应用概率年鉴》25(2015)2743-2808·Zbl 1341.68061号
[18] S.Janson,M.Luczak:k核问题的简单解决方案。随机结构与算法30(2007)50-62·Zbl 1113.05091号
[19] S.Janson,T.Luczak,A.Rucinski:随机图。威利(2000)·Zbl 0968.05003号
[20] J.H.Kim:随机图的泊松克隆模型。国际数学家大会会议记录(2006)873-897·Zbl 1100.05093号
[21] M.Mézard,A.Montanari:信息、物理和计算。牛津大学出版社(2009年)·Zbl 1163.94001号
[22] M.Mézard,F.Ricci-Tersenghi,R.Zecchina:稀释p-spin模型和XORSAT问题的两种解决方案。《统计物理杂志》111(2003)505-533·Zbl 1049.82073号
[23] 莫洛伊:随机超图和布尔公式中的核心。随机结构与算法27(2005)124-135·Zbl 1068.05063号
[24] A.Montanari:从随机稀疏观测值估计随机变量。《欧洲电信交易》19(4)(2008)385-403。
[25] D.Panchenko,M.Talagrand:稀释平均场自旋玻璃模型的边界。普罗巴伯。理论关联。字段130(2004)319-336·Zbl 1101.82041号
[26] B.Pittel,G.Sorkin:k-XORSAT的可满足阈值。组合数学,概率与计算25(2016)236-268·Zbl 1372.68193号
[27] B.Pittel,J.Spencer,N.Wormald:随机图中巨型k核的突然出现。组合理论杂志,B辑67(1996)111-151·Zbl 0860.05065号
[28] P.Raghavendra,N.Tan:使用SDP层次结构近似具有全局基数约束的CSP。程序。第23届SODA(2012)373-387·Zbl 1422.68312号
[29] O.Riordan:k核和分支过程。组合数学,概率与计算17(2008)111-136·Zbl 1136.05071号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。