极值图论基础

目录

一,普通子图禁图

二,Turan问题

三,Turan定理、Turan图

1,Turan定理

2,Turan图

四,以完全二部图为禁图的Turan问题

1,最大边数的上界

2,最大边数的下界

五,以偶圈为禁图的Turan问题

六,Ramsey问题

1,Ramsey定理

2,Ramsey问题


一,普通子图禁图

参考普通子图

普通子图禁图指的是,给出一些具体的图,描述某个图不以这些具体的图作为普通子图。

二,Turan问题

给出一个图集F,求以F为普通子图禁图的图的最大边数,以及取到最大值的图是什么?

即,一个图最多能有多少条边,使得不以F中的任意图为普通子图。

PS:我们只关心简单图,否则如果2个点之间连无穷条多重边,那就没意义了。

PS:取到最大值的图称为极图,如果有唯一的极图,我们就说满足条件的极图是什么,不需要赘述边数了。

三,Turan定理、Turan图

1,Turan定理

以完全图K(r+1)为禁图的极图是平衡完全r部图,且没有其他极图。

2,Turan图

n个点的平衡完全r部图也叫图兰图Tr,n,即把n个点平均分成r份得到的完全r部图。

所以也可以说以完全图K(r+1)为禁图的n个点的图,唯一的极图是图兰图Tr,n。

比如,以完全图K4为禁图的8个点的图,唯一的极图是T3,8:

实际上,图兰图Tr,n的边数就是,其中p=n/r

比如T3,8,n=8,r=3,p=2,

四,以完全二部图为禁图的Turan问题

1,最大边数的上界

定理:对于任意s>=t>=2,存在常数C,对于任意n,以完全二部图Ks,t为禁图的图的边数不超过

猜想:对于任意s>=t>=2,以完全二部图Ks,t为禁图的图的最大边数为

其中,θ是渐进相等的符号。

2,最大边数的下界

存在常数C,对于任意t>=2,任意s>C^t,以完全二部图Ks,t为禁图的图的最大边数为

已经很接近上面的猜想了,但还没完全解决。

五,以偶圈为禁图的Turan问题

定理:对于任意k>=2,以2k个点构成的偶圈为禁图的图的边数不超过

猜想:对于任意k>=2,以2k个点构成的偶圈为禁图的图的边数为

六,Ramsey问题

1,Ramsey定理

对于任意的s>1,t>1,一定存在一个整数N,对于任意N个点的图,要么存在s个点两两相连,要么存在t个点两两不相连。

我们把满足条件的最小N记做R(s,t)

2,Ramsey问题

Ramsey问题就是R(s,t)的大小和性质。

相关推荐
rannn_1111 天前
【力扣hot100】图论专题+模板|DFS、BFS、拓扑排序...
java·算法·leetcode·深度优先·图论
Fa_Mian_Tuan1 天前
图论基础 | 邻接多重表原理剖析 + 完整可运行C语言代码(插边/删边/释放)
c语言·数据结构·笔记·算法·图论
疯狂打码的少年1 天前
【数据结构】图的应用:最小生成树(Prim / Kruskal)
数据结构·笔记·算法·图论
Fa_Mian_Tuan4 天前
图论基础|邻接矩阵超详细讲解(含无向/有向/带权图+完整可运行C语言代码)
c语言·数据结构·笔记·算法·图论
有点。5 天前
C++二叉树二(练习题)
数据结构·c++·算法·图论
依然鸣6 天前
PTA团体程序设计天梯赛L1真题讲解L1-077-080
开发语言·c++·算法·深度优先·pat考试·图论
oier_Asad.Chen7 天前
【洛谷题解/AcWing题解/OI学习笔记】洛谷P2868【USACO07DEC】Sightseeing Cows G(01分数规划求最大比率)
算法·图论·spfa·二分·负环
wabs6667 天前
关于图论【A*算法 | 卡码网127.骑士的攻击的思考】
数据结构·算法·图论·卡码网·广搜的改进版
依然鸣8 天前
PTA团体程序设计天梯赛L2真题讲解L2-005-008
开发语言·数据结构·c++·算法·深度优先·pat考试·图论
wabs6669 天前
关于图论【最短路径之Bellman_ford 算法(单源有限最短路)|卡码网96.城市间货物运输III的思考】
数据结构·算法·图论·卡码网·bellman_ford·单源有限最短路