Ramsey multiplicity and extremal colorings for odd cycles
School of Mathematics, Nanjing University(南京大学数学学院);School of Mathematics and Statistics, Nanjing University of Science and Technology(南京理工大学数学与统计学院)
本文证实了关于奇圈阈值Ramsey重数的猜想,确定$m(C_k)=(k-1)!/2$,并刻画了$K_{2k-1}$的所有极值着色,为第二个确定$m(H)$的图族。
2026-09-18 math.CO
On the two problems in Ramsey achievement games
本文研究广义 Ramsey 达成游戏,证明树的达成数上下界、路径取得最小值并肯定 Harary 猜想第一部分,同时给出星图界及路径第一玩家游戏的等式。
2024-08-02 math.CO
Improved Lower Bounds for Multicolour Ramsey Numbers using SAT-Solvers
本文列出了一系列的搜索结果的线性和循环图着色特定的拉姆齐性质。新的图主要包括“模板图”,可以用于当前作者在2021年描述的构造中,以构建具有继承Ramsey性质的线性或循环复合图。这些图的结果在很大范围内的多色拉姆齐数的下界得到了改善。使用相对简单的程序(用“C”语言编写)来生成用于输入PeneLoPe和Plingeling并行SAT解算器的子句,从而进行迭代。当找到解决方案时,求解器的输出指定了所需的图形着色。这项工作产生的大多数图形是“模板图”,参数形式为$(k,k,3)$或$(k,l,3)$与$k \ne l$。在熟悉的构造中使用这些模板图,已经可以证明$5 \le k \le 9$和$r \ge 4$的大多数$R_r(k)$的下界的显著改进。这些改进提供了相应增加的$Γ(k) = \lim_{\substack{r \rightarrow \infty}} R{_r}(k)^{1/r}$的下界。我们还表明,$R_3(8) \ge 7174$和$R_3(9) \ge 15041$。其他新的下界包括基于非模板循环图的$R(3,6,6) \ge 338$和$R(3,8,8) \ge 941$,以及有趣的特例$R(3,4,5,5) \ge 729$和$R(3,5,5,5) \ge 1429$。一个包含这里提到的许多图表样本的电子表格将作为ArXiv辅助文件附在后面。
2022-09-18 math.CO
Ramsey numbers of degenerate graphs
一个图是$d$ -退化的,如果它的所有子图都有一个度至多为$d$的顶点.本文证明了存在一个常数$c$,使得对所有自然数$d$和$r$,每个色数$r$与$|V(H)| \ge 2^{d^22^{cr}}$的$d$ -退化图$H$最多有$2^{d2^{cr}} |V(H)|$ .这解决了Burr和Erdens在1973年提出的一个猜想。
2016-12-01 math.CO
Strong geodetic problem in networks: computational complexity and solution for Apollonian networks
Harary等人提出了大地问题,为了对一些社会网络问题进行建模,本文提出了一个类似的问题,称之为强大地问题。该问题在完全Apollonian网络中得到了解决。证明了一般情况下强大地测量问题是NP-完全的。
2017-08-13 math.CO
Asymptotic Size Ramsey Results for Bipartite Graphs
研究了涉及二部图的Ramsey数的大小.证明了如果每个禁止图是固定的或随n增长(以某种一致的方式),则其极值函数具有线性渐近性。相应的斜率可以作为某个混合整数规划的最小值来获得。应用Farkas引理,我们解决了完全二部图的MIP,特别是回答了Erdos,Faudree,Rousseau和Schelp(1978)的一个问题,他们要求在固定s和大n的情况下(K_{s,n},K_{s,n})的大小Ramsey数的渐近性。
2001-08-27 math.CO
Some Ordered Ramsey Numbers of Graphs on Four Vertices
$n$上的有序图$H$是其顶点被双射标记为$\{1,...,n\}$的图。有序Ramsey数$r_<(H)$是最小$n$,使得完全图$K_n$的边的每一个双着色都包含$H$的单色副本,使得副本中的顶点以与$H$相同的顺序出现。虽然某些无限图族的有序Ramsey数的一些界限是已知的,但与我们对这些图的通常Ramsey数的了解相比,对特定小图的有序Ramsey数知之甚少。本文研究了四顶点图的序的非平凡上界的证明问题。我们还扩展了我们的结果之一,$n+1$顶点图,包括一个完全图上的$n$顶点的悬垂边顶点1。最后,我们使用SAT求解器来精确计算一些数字。
2019-10-29 math.CO
The bipartite Ramsey number $br(C_{2n}, C_{2m})$
给定二部图$H_1$,\dots,$H_k$,二部Ramsey数$br(H_1,\dots, H_k)$是最小整数$N$,使得完全二部图$K_{N, N}$的任何$k$ -边染色包含一个单色$H_i$,$i$为$1\le i\le k$ .关于圈的二部Ramsey数的渐近值已有相当多的结果。对于精确值,Zhang-Sun \cite{Zhangs}测定$br(C_4, C_{2n})$,Zhang-Sun-Wu \cite{Zhangsw}测定$br(C_6, C_{2n})$,Gholami-Rowshan \cite{GR}测定$br(C_8, C_{2n})$。本文解决了其余所有情形,并给出了所有$n\ge m\ge 5$的$br(C_{2n}, C_{2m})$的精确值,从而回答了Bucić-Letzter-Sudakov \cite{BLS},Gholami-Rowshan \cite{GR},Zhang-Sun \cite{Zhangs},Zhang-Sun-Wu \cite{Zhangsw}所关心的一个问题.
2023-01-30 math.CO
An algorithmic framework for obtaining lower bounds for random Ramsey problems
在本文中,我们介绍了一个一般的框架,证明下界的各种拉姆齐型问题的随机设置。主要的想法是从算法的角度来看问题:我们的目标是提供一个算法,找到所需的着色与高概率。我们的框架允许减少随机(超)图的边缘概率$p$是否存在一个有限的图形,形成一个障碍的确定性问题,是否拉姆齐属性在手持有的概率问题。在本文的第二部分,我们应用这个框架来处理和解决各种开放的问题。特别地,我们将Bohman,Frieze,Pikhurko和Smyth(2010)关于随机图中有界反Ramsey问题的结果扩展到$2$颜色和超图团的情况。作为推论,这证明了Friedgut,Rödl和Schacht(2010)的结果的匹配下界,并且独立地,Conlon和Gowers(2014+)对于团的超图的经典Ramsey问题。最后,我们给出了Kohayakawa,Konstadinyang和Mota~(2014)在团和圈的情况下引入的反Ramsey问题的适当着色版本的匹配下界。
2014-08-22 math.CO
Calculating Ramsey numbers by partitioning coloured graphs
本文证明了关于分块着色完全图的一个新结果,并利用它精确地确定了某些Ramsey数。我们证明的划分定理是:当k至少为1时,在一个完全图的边着色为红色和蓝色的图中,有可能用k条不相交的红色路覆盖所有的顶点,并且有可能用一个不相交的蓝色平衡完全(k+1)-部图覆盖所有的顶点。当着色为红色连通时,我们证明了一个更强的结果--有可能用k条红色路覆盖所有顶点,并且有可能得到一个蓝色平衡的完全(k+2)-部图。利用这些结果,我们确定的Ramsey数的一条路上的n个顶点,与平衡的完全k-部图,在每一个部分有m个顶点,当m-1是可除的n-1。这推广了Erdos的一个结果,他证明了m=1的情况。我们还确定了Ramsey数的路径上的n个顶点与权力的路径上的n个顶点。这解决了Allen、Brightwell和Skokan的一个猜想。
2013-09-16 math.CO
Lower Bounds for Book Ramsey Numbers
University of California, San Diego(加利福尼亚大学圣迭戈分校)
该研究通过块循环构造和SAT求解器,确定了书图Ramsey数的下界,并枚举了临界图数量。
2025-09-04 math.CO
Ramsey sequences with bounded clique size
Cochin University of Science and Technology(科钦科技大学)
本文解决拉姆齐理论的一个开放问题,证明广义移位图Sh(n,k,l)序列是满足色数趋于无穷但团大小不趋于无穷的拉姆齐序列,并给出广义拉姆齐定理的另一证明。
2026-08-07 math.CO
Gallai-Ramsey numbers for graphs with five vertices and eight edges
Gallai $k$ -染色是不含彩虹三角形的完全图的$k$ -边染色.对于给定的图$G_1, G_2, G_3$和具有该$k=r+s+t$的非负整数$r, s, t$,$k$着色的Gallai-Ramsey数$gr_{k}(K_{3}: r\cdot G_1,~ s\cdot G_2, ~t\cdot G_3)$是最小整数$n$,使得每个Gallai $k$ -彩色$K_{n}$包含由第一$r$颜色之一着色的$G_1$的单色拷贝或由中间$s$颜色之一着色的$G_2$的单色拷贝或由以下颜色之一着色的$G_3$的单色拷贝:最后的$t$颜色本文确定了当$G_1=B_{3}^{+}$,$G_2=S_{3}^+$和$G_3=K_3$满足时的Gallai-Ramsey数的值.然后得到了Gallai-Ramsey数$gr_{k}(K_{3}: B_{3}^{+})$。从而完全解决了五点八边图的Gllai-Ramsey数问题。进一步,分别得到了Gallai-Ramsey数$gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot S_3^+)$、$gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot K_3)$和$gr_{k}(K_{3}: s\cdot S_3^+,~ (k-s)\cdot K_3)$.
2020-08-26 math.CO
New lower bounds for hypergraph Ramsey numbers
Ramsey数$r_k(s,n)$是最小$N$,使得对于$\{1,\ldots, N\}$的$k$元组的每个红-蓝着色,存在$s$整数使得其中的每个$k$元组是红色的,或者存在$n$整数使得其中的每个$k$元组是蓝色的。证明了4-一致超图Ramsey数的以下新的下界:$$r_4(5,n) > 2^{n^{c\log n}} \qquad \hbox{ and } \qquad r_4(6,n) > 2^{2^{cn^{1/5}}},$$其中$c$是一个绝对正常数.这实质上分别改进了$2^{n^{c\log\log n}}$和$2^{n^{c\log n}}$的先前最佳边界。使用以前已知的上限,我们的结果意味着,$r_4(6,n)$的增长率是双指数的$n$的幂。因此,我们得到了类似的$k$一致拉姆齐数$r_k(k+1, n)$和$r_k(k+2, n)$的界限,其中指数被替换为一个适当的塔函数。这几乎解决了确定{ \emph {all}}经典非对角超图Ramsey数的塔增长率的问题,这个问题首先由Erd \H os和Hajnal在1972年提出。剩下的唯一问题是证明$r_4(5,n)$是$n$幂的双指数。
2018-01-15 math.CO
A New Lower Bound for the Ramsey Number R(4, 8)
将经典Ramsey数R(4,8)的下界从56提高到58.作者发现了K_{57}的一个新的边染色,它在第一种颜色中没有4阶完全图,在第二种颜色中没有8阶完全图.着色是使用SAT求解器,这是基于MiniSat和定制解决拉姆齐问题。
2013-03-31 cs.DM math.CO
New bounds for some small multicolor Ramsey numbers
该研究利用SAT求解器搜索结构化着色,推导了两组多色Ramsey数的下界,收紧了环相关多色Ramsey数的上界并确定两组精确值,还枚举了两类含星图的Ramsey数的临界图。
2025-09-04 math.CO
The relationship between some nonclassical Ramsey numbers
上(混合)控制拉姆齐数$u(m, n)$($v(m,n)$)是最小整数$p$,使得每个$2$ -用红色和蓝色对$K_p$的边着色,$Γ(B) \geq m$或$Γ(R) \geq n$($β(R) \geq n$);其中$B$和$R$分别是由蓝色和红色边诱导的$K_p$的子图; $Γ(G)$是图$G$的最小控制集的最大基数。首先,我们证明了有$v(3,n)=t(3,n)$,其中$t(m,n)$是混合无冗余Ramsey数,即最小整数$p$,使得在$K_p$的边的每个二色$(R, B)$中,有$IR(B) \geq m$或$β(R) \geq n$($IR(G)$是$G$的无冗余集的最大基数).为了实现这一结果,我们使用的上支配完美图的禁止诱导子图的特征。通过等式,我们确定了两个以前未知的Ramsey数,即$v(3,7)=18$和$v(3,8) = 22$。此外,我们解决了其他四个剩余的开放情况下,从汉堡的{ \it et. al.}这篇文章列出了所有非经典的Ramsey数。我们发现$u(3,7)=w(7,3)=18$,$u(3,8) = w(8,3) = 21$,其中$w(m,n)$是Burger和Van Vuuren在2011年引入的无余支配Ramsey数.
2018-01-30 math.CO
Bowtie-free graphs have a Ramsey lift
蝴蝶结是由两个三角形组成的图,其中一个顶点被标识。我们表明,类的所有(可数)图不包含领结作为子图有一个拉姆齐电梯(扩展)。这解决了该领域的一个老问题,它是第一个非平凡的拉姆齐类与非平凡的代数闭包。
2017-12-11 cs.DM math.CO
A List of Problems on the Reverse Mathematics of Ramsey Theory on the Rado Graph and on Infinite, Finitely Branching Trees
这份清单提出的问题,在逆向数学的无穷拉姆齐理论,我觉得有趣,但没有个人的技术来解决。其目的是寻求逆向数学工作者的帮助来解决这些问题,以及人们可以从中推断出的无数相关问题。提供了一小段背景和起始参考。
2018-08-30 math.CO math.LO
Anti-Ramsey Numbers for Spanning Linear Forests of 3-Vertex Paths and Matchings
Hetao Institute of Mathematics and Interdisciplinary Sciences (HIMIS)(河套数学与交叉科学研究所);Nankai University(南开大学);Xinjiang Normal University(新疆师范大学)
本文研究了反拉姆齐数AR(n, kP_3 ∪ tP_2),其中kP_3 ∪ tP_2是k个不相交的3顶点路径和t大小的匹配的线性森林。作者解决了n=3k+2t的情况,对于k≥1,t≥2。
2026-05-13 math.CO
Off-Diagonal Ramsey Multiplicity
School of Computing Science, University of Glasgow(格拉斯哥大学计算机科学学院);University of Victoria(维多利亚大学)
本文研究了非对角Ramsey乘数问题,通过引入加权密度求和的概念,解决了几种图对的Ramsey乘数问题。
2026-06-04 cs.DM math.CO
Computing the Ramsey Number $R(K_5-P_3,K_5)$
我们给出了一个计算机辅助证明的事实,$R(K_5-P_3, K_5)=25$。这解决了亨德利表中剩下的三个开放案例之一,该表列出了5个顶点上的图对的拉姆齐数。我们发现不存在包含23或24个顶点上的$K_4$的$(K_5-P_3,K_5)$ -好图,其中如果$F$不包含$G$且$F$的补图不包含$H$,则图$F$是$(G,H)$ -好图.给出了唯一的含有22个顶点的$K_4$的$(K_5-P_3,K_5)$ -好图.
2012-03-29 cs.DM math.CO
Ramsey Theory on the Integer Grid: The "L" Problem
本文研究整数网格中保证单色 L 结构出现的最小规模上界,通过主对角线区间计数和 Golomb rulers 等方法将上界从 2593 降至 493,并探讨了用 SAT 求解器改进下界。
2025-02-07 math.CO
Ramsey numbers and monotone colorings
对于正整数$N$和$r \geq 2$,$\binom{\{1,\dots,N\}}{r}$的$r$ -单调染色是$-1$和$+1$的2-染色,它在来自~ $\binom{\{1,\dots,N\}}{r+1}$的每个$(r+1)$ -元组的$r$ -元组的字典序序列上是单调的.设${\overline{R}_{mon}}(n;r)$是最小$N$,使得$\binom{\{1,\dots,N\}}{r}$的每个$r$ -单调着色都包含$\binom{\{1,\dots,n\}}{r}$的单色副本.对于每个$r \geq 3$,已知${\overline{R}_{mon}}(n;r) \leq tow_{r-1}(O(n))$,其中$tow_h(x)$是高度$h-1$的塔函数,定义为$tow_1(x)=x$和$h \geq 2$的$tow_h(x) = 2^{tow_{h-1}(x)}$。Erdens-Szekeres引理和Erdens-Szekeres定理分别蕴含${\overline{R}_{mon}}(n;2)=(n-1)^2+1$和${\overline{R}_{mon}}(n;3)=\binom{2n-4}{n-2}+1$。从Elián和Matoušek的一个结果可以得出${\overline{R}_{mon}}(n;4)\geq tow_3(Ω(n))$。我们表明,${\o…
2019-05-15 math.CO
Some results on small ordered and cyclic Ramsey numbers
FAMNIT, University of Primorska(普里莫斯卡大学 FAMNIT);IAM, University of Primorska(普里莫斯卡大学 IAM);Institute of Mathematics, Physics and Mechanics(数学、物理与力学研究所);Faculty of Electronic Engineering, University of Niš(尼什大学电子工程学院);Mathematical Institute of the Serbian Academy of Sciences and Arts(塞尔维亚科学与艺术学院数学研究所);College of Integrative Studies, Abdullah Al Salem University(阿卜杜拉·萨勒姆大学综合研究学院);Faculty of Sciences and Mathematics, University of Niš(尼什大学理学院)
本文研究了小有序和循环Ramsey数,通过Kissat求解器确定了多种图类的Ramsey数,并引入了循环Ramsey数概念,探讨了强化学习在Ramsey数下界计算中的应用。
2026-04-17 cs.DM math.CO
The Ramsey theory of the universal homogeneous triangle-free graph
由Henson构造的泛齐次无三角形图(全称为$\mathcal{H}_3$)是Rado图的无三角形类似物。虽然Rado图的拉姆齐理论已经完全建立,从Erdens-Hajnal-Posá开始,并在Sauer和Laflamme-Sauer-Vuksanovic的工作中达到高潮,但$\mathcal{H}_3$的拉姆齐理论只发展到顶点着色(Komjáth-Rödl)和边着色(Sauer)的界限。这是由于缺乏广泛的技术。我们解决这个问题一般:对于每个有限的无三角形的图$G$,有一个有限的$T(G)$,使任何着色的所有副本的$G$在$\mathcal{H}_3$到100多种颜色,有一个子图的$\mathcal{H}_3$这又是普遍齐次无三角形的,其中着色不超过$T(G)$颜色。这是第一个这样的结果,一个同质结构省略副本的一些非平凡的有限结构。证明需要新的大规模技术的发展,包括一个灵活的方法来构建树的代码$\mathcal{H}_3$和他们的拉姆齐理论的发展。
2019-11-22 math.CO math.LO
Graph Ramsey games
我们认为组合的避免和成就游戏的基础上图拉姆齐理论:球员轮流着色仍然无色的边缘图G,每个球员被分配一个独特的颜色,每次移动选择一个边缘。在回避博弈中,完成一个与另一个图A同构的单色子图会导致立即失败或被禁止,第一个不能移动的玩家输了。在回避+变体中,双方玩家每次移动都可以自由选择多条边。在成就游戏中,第一个完成与A同构的单色子图的玩家获胜。Erdos & Selfridge(1973)是第一个发现这些博弈的一些易于处理的子案例的人,随后进行了大量的进一步研究。我们完成这些调查,解决所有不受限制的情况下的复杂性:我们证明,一般图拉姆齐回避,回避+和成就游戏及其几个变种是PSPACE完全的。我们超强解决一些非平凡的例子图拉姆齐避免游戏是基于对称的二进制拉姆齐数,并提供强有力的证据表明,所有其他情况下基于对称的二进制拉姆齐数是有效的棘手。保留字:组合博弈,图Ramsey理论,Ramsey博弈,PSPACE-完备性,复杂性,边着色,获胜策略,成就博弈,回避博弈,Sim博弈,Polya枚举公式,概率计数,机器学习,概率论,Java applet
1999-11-10 cs.CC cs.DM math.CO
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
本研究利用SAT与计算机代数系统集成的MathCheck工具,为Ramsey $R(3,8)$和$R(3,9)$问题生成首个可独立验证的证书,相比传统SAT方法运行时间提升数个数量级,并确保穷举搜索的正确性与完备性。
2025-07-07 cs.DM cs.LO cs.SC
Computation of small reflective and dihedral Ramsey numbers
Faculty of Electronic Engineering, University of Niš(尼什大学电子工程学院);Faculty of Mathematics, Natural Sciences and Information Technologies, University of Primorska(普里莫尔斯卡大学数学、自然科学和信息技术学院)
研究小反射和二面体拉姆齐数的计算问题,应用基于SAT的方法,利用Kissat SAT求解器,针对特定图类得到小反射和二面体拉姆齐数的精确值与下界,并得出一般结果和提出猜想。
2026-07-14 cs.DM math.CO
A double-exponential lower bound for $r_4(5,n)$
Shandong University(山东大学)
研究确定了$r_4(5,n)$的双指数下界,并揭示了超图Ramsey数的塔增长速率。
2026-04-27 math.CO
The Ramsey Number $R(3,K_{10}-e)$ and Computational Bounds for $R(3,G)$
使用计算机算法,我们建立了拉姆齐数$R(3,K_{10}-e)$等于37,这解决了最小的开放情况下,这种类型的拉姆齐数。我们还得到了$R(3,K_k-e)$的$11 \le k \le 16$的情况下的新的上界,并通过构造一个新的下界$55 \le R(3,K_{13}-e)$。利用$l \le k$的$e(3,K_l-e,n)$的值和下界,得到了$R(3,K_k-e)$的新的上界,其中$e(3,K_k-e,n)$是补图中没有$K_k-e$的$n$顶点上的无三角形图的最小边数.我们完成了所有$n$与$k \leq 10$和$n \leq 34$与$k = 11$的$e(3,K_k-e,n)$的精确值的计算,并建立了许多新的$e(3,K_k-e,n)$的更高的$k$值的下限。使用最大无三角形图生成方法,我们确定了另外两个先前未知的Ramsey数,即$R(3,K_{10}-K_3-e)=31$和$R(3,K_{10}-P_3-e)=31$。对于10个顶点的图$G$,除了$G=K_{10}$之外,还有6个开放的$G=K_{10}$,这使得6个开放的$R(3,G)$形式。其中最难的似乎是$G=K_{10}-2K_2$,我们为它建立了界限$31 \le R(3,K_{10}-2K_2) \le 33$。
2013-11-16 cs.DM math.CO
On ordered Ramsey numbers of bounded-degree graphs
有序图是一对$\mathcal{G}=(G,\prec)$,其中$G$是一个图,$\prec$是它的顶点的全序。有序Ramsey数$\overline{R}(\mathcal{G})$是使得有序完全图的边在$N$顶点上的每一个$2$ -染色都包含$\mathcal{G}$的单色副本的最小数$N$.我们证明了对每一个整数$d \geq 3$,几乎每一个$d$ -正则图$G$对$G$的每一个序$\mathcal{G}$都满足$\overline{R}(\mathcal{G}) \geq \frac{n^{3/2-1/d}}{4\log{n}\log{\log{n}}}$.特别地,有3-正则图$G$在$n$顶点上,对于这些图,数字$\overline{R}(\mathcal{G})$在$n$中是超线性的,而不管$G$的顺序$\mathcal{G}$如何。这解决了康伦、福克斯、李和苏达科夫的一个问题。另一方面,我们证明了$G$上的最大度为2的$n$顶点上的每一个图$G$都允许$G$的一个序$\mathcal{G}$,使得$\overline{R}(\mathcal{G})$在$n$中是线性的。我们还证明了几乎每一个具有$n$顶点和区间色数为2的有序匹配$\mathcal{M}$都满足$\overline{R}(\mathcal{M}) \geq cn^2/\log^2{n}$,其中$c$是…
2018-06-20 cs.DM math.CO
The asymptotics of $r(4,t)$
本文通过证明 $r(4,t) = Ω(t^3/\log^4 t)$,在 $\log^2 t$ 因子范围内确定了 Ramsey 数 $r(4,t)$ 的渐近阶,从而解决了 Erdős 的一个猜想。
2024-02-20 math.CO
Graphs, friends and acquaintances
众所周知,图是对给定集合的元素对之间的某种关系的存在进行建模的数学对象。因此,毫不奇怪,许多关于图的第一个结果都提到了人与人之间或人与人之间的关系。在这篇文章中,我们评论了这类的四个结果,它们与各种一般的图理论及其应用有关:握手引理(与图着色和布尔代数有关),关于鸡尾酒会上已知和未知的人的引理(到拉姆齐理论),一个关于共同朋友的定理(到距离正则性和编码理论),以及霍尔的婚姻定理(到网络理论)。这四个领域的图论,往往与问题,这是容易的状态,但难以解决,是广泛发展,目前引起了许多研究工作。作为本文讨论的这些领域的代表性问题和结果的例子,我们可以举出以下几个:四色定理(4CTC),Ramsey数,距离正则图和完全正则码的存在性问题,以及互连网络的拓扑性质的研究。
2019-02-27 math.CO math.HO
Nilfactors of R^m-actions and configurations in sets of positive upper density in R^m
利用遍历理论工具解决了几何拉姆齐理论中的一个经典问题。设E是R^m的一个可测子集,具有正的上密度。设V={0,v_1,...,v_k}是R^m的子集。我们证明了,当r足够大时,我们可以找到一个任意接近E的rV的等距副本。这是Furstenberg,Katznelson和Weiss的定理的推广,对于m=k=2显示出类似的性质。
2005-05-12 math.CO math.DS
Schaefer's theorem for graphs
谢弗定理是一个对所谓的布尔约束满足问题进行复杂性分类的结果:它指出每个布尔约束满足问题要么包含在六个类中的一个类中,并且可以在多项式时间内求解,要么是NP完全的。我们提出了一个类似的二分法结果的命题逻辑图,而不是布尔逻辑。在Schaefer结果的推广中,输入由一组变量W和关于这些变量的图语言的语句(“约束”)的合取Φ组成,其中每个语句都取自一个固定的有限的允许无量词的一阶公式集合;问题是Φ在图中是否可满足。我们证明了在17类图公式中的一类公式中,要么有一个公式包含有解,并且相应的问题可以在多项式时间内求解,要么该问题是NP-完全的.这是通过一个普遍的代数方法,这反过来又允许我们使用结构拉姆齐理论。为了应用通用代数方法,我们制定的计算问题考虑约束满足问题(CSP)的模板是一阶定义的可数无限随机图。我们的方法来分类的计算复杂性,这些CSP是基于拉姆齐理论分析的功能作用于随机图,我们开发的一般工具,适合这样的分析是独立的数学兴趣。
2015-05-17 cs.CC math.CO math.LO
Strong Brandt-Thomassé Theorems
本文将 Brandt–Thomassé 关于高最小度极大无三角形图的结构定理,推广为基于公共邻点序列条件的更弱假设,并为解决 Ramsey–Turán 理论问题奠定基础。
2024-06-15 math.CO
On the boundedness of degenerate hypergraphs
本文研究退化超图 Turán 问题中高度数顶点的影响,证明偶环、多数完全二部图及其扩张等退化超图具有有界性,并通过解决一个 3-图 Zarankiewicz 型问题支持完全二部图扩张的有界性证明。
2024-06-29 math.CO
The edge Folkman number $F_e(3, 3; 4)$ is greater than 19
不包含$q$顶点$K_q$上的完全图,且具有边的每一个双色着色中存在一个单色三角形的性质的图的集合记为$\mathcal{H}_e(3, 3; q)$ .考虑边Folkman数$F_e(3, 3; q) = \min\{|V(G)| : G \in \mathcal{H}_e(3, 3; q)\}$。Folkman在1970年证明了$F_e(3, 3; q)$存在的充要条件是$q \geq 4$。从拉姆齐数$R(3, 3) = 6$可以清楚地看出,如果$q \geq 7$,则$F_e(3, 3; q) = 6$。还已知$F_e(3, 3; 6) = 8$和$F_e(3, 3; 5) = 15$。由Folkman和其他一些作者的构造得出的数$F_e(3, 3; 4)$的上界是不好的。在1975年鄂尔多斯提出的问题,以证明不等式$F_e(3, 3; 4) < 10^{10}$。1978年,斯宾塞解决了这个鄂尔多斯问题。$F_e(3, 3; 4) \leq 786$的最后一个上界是由Lange、Radziszowski和Xu在2012年获得的,他们证明了$F_e(3, 3; 4) \leq 786$。这个数的最佳下界是19,是Radziszowski和Xu在10年前得到的。本文通过证明$F_e(3, 3; 4) \geq 20$改进了这一结果。最后,通过证明$20 \leq F_v(2,…
2016-09-12 math.CO
RLGT: A reinforcement learning framework for extremal graph theory
Faculty of Electronic Engineering, University of Niš(尼什大学电子工程学院);Faculty of Mathematics, Natural Sciences and Information Technologies, University of Primorska(普里摩尔卡大学数学、自然科学与信息科技学院);Mathematical Institute of the Serbian Academy of Sciences and Arts(塞尔维亚科学院数学研究所)
本文提出RLGT框架,系统化先前工作,支持无向和有向图,含环和任意边颜色,提升极值图论中RL研究的计算效率与模块化设计。
2026-04-14 cs.LG math.CO