戴维·奈曼;约翰·麦基;Marijn脚后跟 有向Ramsey数的更紧边界\（R（7）\）。 （英语） Zbl 1497.05171号 图形梳。 38，第5号，第156号论文，第17页（2022年）. 摘要：锦标赛是整个图形的方向。有向Ramsey数\（R（k）\）是锦标赛必须保证包含大小为\（k）的传递子锦标赛的最小顶点数，我们用\（TT_k）表示。我们包含了一个猜想的计算机辅助证明A.桑切斯·弗洛雷斯[同上，第14号，第181-200号（1998年；Zbl 0918.05058号)]24个和25个顶点上的所有无（TT_6）竞赛都是唯一的最大无（TT_ 6）竞赛（ST_{27}）的子竞赛。我们还对23个顶点上的所有无（TT_6）竞赛进行了分类。我们使用这些结果，并结合SAT解算器的帮助，在（R（7））：（34\le R（7。 MSC公司： 05元55分 广义拉姆齐理论 10年5月 拉姆齐理论 05C20号 有向图（有向图），比赛 关键词：拉姆齐理论;比赛;可满足性;编码 引文：Zbl 0918.05058号 软件：玲玲;超小卫星;Treengeling公司;弯曲;钙DiCaL;YalSAT卫星 PDF格式BibTeX公司 XML格式引用 \textit{D.Neiman}等人，图梳。38，第5号，第156号论文，17页（2022年；Zbl 1497.05171） 全文： 内政部 arXiv公司 参考文献： [1] Armin、Biere、CaDiCaL、Lingleing、Plingeling、Treengeling和YalSAT参加2018年SAT竞赛。程序中。《2018年SAT竞赛-解算器和基准描述》，计算机科学系丛书B第B-2018-1卷，第13-14页。赫尔辛基大学，2018 [2] 尼古拉斯·埃恩（Niklas Eén）、阿明·比埃尔（Armin Biere）。通过变量和子句消除在SAT中进行有效的预处理。Fahiem Bacchus和Toby Walsh主编，《可满足性测试的理论和应用》，第八届国际学术会议，2005年6月19日至23日，英国圣安德鲁斯，2005年，《计算机科学讲稿》第3569卷，第61-75页。斯普林格，2005·兹比尔1128.68463 [3] 埃尔德斯，保罗；Leo Moser，《关于有向图作为序并的表示》，《数学》。仪表悬挂。阿卡德。科学，9125-132（1964）·Zbl 0136.44901号 [4] 伊恩·P，Gent。SAT中的弧一致性。编辑Frank van Harmelen，《第15届欧洲人工智能会议论文集》，ECAI’2002，法国里昂，2002年7月，第121-125页。IOS出版社，2002 [5] 伯纳德·利迪基（Bernard Lidicky）；Ppender，Florian，半定规划和ramsey数，SIAM J.Discret。数学。，35, 4, 2328-2344 (2021) ·Zbl 1477.05122号 ·doi:10.1137/18M1169473 [6] Evan Lohn、Chris Lambert、Marijn J.H.Heule。紧凑对称打破比赛。FMCAD 2022、2022会议记录 [7] 布伦丹·麦凯。签名。http://users.cecs.anu.edu.au/bdm/data/digraphs.html。访问时间：2019年9月30日 [8] 约翰·W·穆恩。图论竞赛主题。Courier Dover出版社，2015年 [9] 桑切斯·弗洛雷斯（Sanchez-Flores），阿道夫（Adolfo），《关于锦标赛及其最大的传递性子锦标赛》（On tournaments and their largest transitive subtouraments），图组合学，10，2-4，367-376（1994）·Zbl 0811.05029号 ·doi:10.1007/BF02986687 [10] 桑切斯·弗洛雷斯（Sanchez-Flores），阿道夫（Adolfo），《关于无大型传递子竞赛的竞赛》，图组合学，14，2，181-200（1998）·Zbl 0918.05058号 ·doi:10.1007/s003730050025 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。