Tighter Bounds on Directed Ramsey Number R(7)
Tighter Bounds on Directed Ramsey Number R(7)
复制标题
定向拉姆齐数 R(7) 的更严格界限
DOI：
10.1007/s00373-022-02560-5
复制
发表时间：
2022
影响因子：
0.7
通讯作者：
Heule, Marijn
中科院分区：
文献类型：
--
作者：
Neiman, David;Mackey, John;Heule, Marijn
锦标赛是完整图表的方向。有向 Ramsey 数 R(k) 是锦标赛必须保证包含 sizek 的传递子锦标赛的最小顶点数，我们用 表示。我们在 Graphs Combinatorics14(2), 181–200 (1998) 中提供了 Sanchez-Flores 猜想的计算机辅助证明，即 24 和 25 个顶点上的全免费锦标赛是唯一最大的免费锦标赛的子锦标赛。我们还在 23 个顶点上对全免费锦标赛进行分类。我们使用这些结果，结合 SAT 求解器的帮助，获得 R(7) 上的以下改进界限：。
Tournaments are orientations of the complete graph. The directed Ramsey numberR(k) is the minimum number of vertices a tournament must have to be guaranteed to contain a transitive subtournament of sizek, which we denote by. We include a computer-assisted proof of a conjecture by Sanchez-Flores in Graphs Combinatorics14(2), 181–200 (1998), that all-free tournaments on 24 and 25 vertices are subtournaments of, the unique largest-free tournament. We also classify all-free tournaments on 23 vertices. We use these results, combined with assistance from a SAT solver, to obtain the following improved bounds onR(7):.
DOI：
10.1137/18m1169473
发表时间：
2017-04
期刊：
SIAM J. Discret. Math.
影响因子：
--
作者：
Bernard Lidick'y;Florian Pfender
通讯作者：
Bernard Lidick'y;Florian Pfender
锦标赛的紧凑对称破缺
DOI：
--
发表时间：
2022
期刊：
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
影响因子：
--
作者：
Lohn, Evan;Lambert, Chris;Heule, Marijn J.
通讯作者：
Heule, Marijn J.