四、连通度和匹配

2024-09-03 15:20
文章标签 匹配 连通

本文主要是介绍四、连通度和匹配,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 1、连通度
  • 2、n - 连通
    • 2.1 门格尔定理
    • 2.2 柯尼希定理
  • 3、网络流问题
    • 3.1 增光路定理
    • 3.2 最大流-最小割定理
  • THE END

1、连通度

\qquad 顶点(边)连通度:定义一个图 G = ( V , E ) G=(V, E) G=(V,E),若想将 G G G变成一个不连通图或者平凡图所需要去掉的最少的顶点(边)数称为 G G G的顶点(边)连通度,记为: κ ( G ) , λ ( G ) \kappa(G), \lambda(G) κ(G),λ(G). 连通度有以下性质:
\qquad 不连通的图或者平凡图的 κ ( G ) = λ ( G ) = 0 \kappa(G) = \lambda(G) = 0 κ(G)=λ(G)=0
\qquad 树的 κ ( G ) = λ ( G ) = 1 \kappa(G) = \lambda(G) = 1 κ(G)=λ(G)=1
\qquad 有割点的图 κ ( G ) = 1 \kappa(G) = 1 κ(G)=1
\qquad 有桥的图 λ ( G ) = 1 \lambda(G) = 1 λ(G)=1
\qquad 完全( p , q p, q p,q)图的 κ ( G ) = λ ( G ) = p − 1 \kappa(G) = \lambda(G) = p-1 κ(G)=λ(G)=p1
\qquad G G G连通,则 G G G κ ( G ) ≥ 1 \kappa(G) \geq 1 κ(G)1
\qquad 定理1:设 G = ( V , E ) G=(V, E) G=(V,E),令 δ ( G ) \delta(G) δ(G)表示 G G G中顶点的最小度,有 κ ( G ) ≤ λ ( G ) ≤ δ ( G ) \kappa(G)\leq \lambda(G)\leq \delta(G) κ(G)λ(G)δ(G).
\qquad 定理2:设 a , b , c a, b, c a,b,c为正整数,且满足 a ≤ b ≤ c a\leq b \leq c abc,则存在 G G G使得 κ ( G ) = a \kappa(G)=a κ(G)=a, λ ( G ) = b \lambda(G)=b λ(G)=b, δ ( G ) = c \delta(G)=c δ(G)=c.
\qquad 定理3:设 G = ( V , E ) G=(V, E) G=(V,E)是一个 ( p , q ) (p, q) (p,q)图,若 δ ( G ) ≥ [ p 2 ] \delta(G) \geq [\frac{p}{2}] δ(G)[2p] G G G连通的充分条件),则 λ ( G ) ≤ δ ( G ) \lambda(G) \leq \delta(G) λ(G)δ(G)

2、n - 连通

\qquad n-连通定义:设 G = ( V , E ) G=(V, E) G=(V,E) n ≥ 0 n \geq 0 n0,若 κ ( G ) ≥ n \kappa(G) \geq n κ(G)n,则称 G G Gn-顶点连通;若 λ ( G ) ≥ n \lambda(G) \geq n λ(G)n,则称 G G Gn-边连通。
\qquad 定理4:令 G = ( V , E ) G=(V, E) G=(V,E) ∣ V ∣ ≥ 3 |V| \geq 3 V3, 称 G G G是2-顶点连通的,当且仅当 G G G的任意两个不同的顶点 u u u v v v G G G的同一个圈上。
\qquad 定理5:令 G = ( V , E ) G=(V, E) G=(V,E),称 G G G是n-边连通的,当且仅当:不存在 V V V的真子集 A A A,使得联结 A A A中一个节点和 V / A V /A V/A中一个节点的边数少于 n n n

2.1 门格尔定理

\qquad 引入分离的概念:令 G = ( V , E ) G=(V, E) G=(V,E) S ⊆ A , s , t ∈ A S \subseteq A,s, t \in A SAs,tA,若在 G − S G-S GS中, s , t s, t s,t属于不同的支,则称 S S S分离了 s s s t t t
\qquad 明格尔定理: 分离 s s s t t t所需要去掉的最少得顶点数等于 s s s t t t之间不相交路(独立轨)的最大条数。

2.2 柯尼希定理

\qquad 每一个正则二部图有一个1度因子;每一个k-正则二部图可以分解出k个1度因子。

3、网络流问题

\qquad 在一个有向图 D = ( V , A , w ) D=(V, A, w) D=(V,A,w)中, w : A → R w:A→R wAR表示弧的容量;流量表示弧上实际的流值;网络流表示所有弧上流值的集合;可行流表示每一条弧上的流量不超过这条弧的容量,且从源点 s s s流出的流和流入汇点 t t t的流量之和相等;最大流表示可行流的流量之和最大;饱和弧表示弧上的流量等于其容量;链表示图 D D D中不考虑方向的路;增广路表示满足下述条件的链:前向弧不饱和,后向弧不为零;最小割表示将源点和汇点分离的割边中,容量最小的割边组成的割;

3.1 增光路定理

\qquad 在一个容量网络中,一个可行流 f f f是最大流的充要条件为:容量网络中不存在增光路。

3.2 最大流-最小割定理

\qquad 在一个容量网络中,最大流的流量等于最小割的截量。

THE END

这篇关于四、连通度和匹配的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1133335

相关文章

【Prometheus】PromQL向量匹配实现不同标签的向量数据进行运算

✨✨ 欢迎大家来到景天科技苑✨✨ 🎈🎈 养成好习惯,先赞后看哦~🎈🎈 🏆 作者简介:景天科技苑 🏆《头衔》:大厂架构师,华为云开发者社区专家博主,阿里云开发者社区专家博主,CSDN全栈领域优质创作者,掘金优秀博主,51CTO博客专家等。 🏆《博客》:Python全栈,前后端开发,小程序开发,人工智能,js逆向,App逆向,网络系统安全,数据分析,Django,fastapi

hdu 3065 AC自动机 匹配串编号以及出现次数

题意: 仍旧是天朝语题。 Input 第一行,一个整数N(1<=N<=1000),表示病毒特征码的个数。 接下来N行,每行表示一个病毒特征码,特征码字符串长度在1—50之间,并且只包含“英文大写字符”。任意两个病毒特征码,不会完全相同。 在这之后一行,表示“万恶之源”网站源码,源码字符串长度在2000000之内。字符串中字符都是ASCII码可见字符(不包括回车)。

二分最大匹配总结

HDU 2444  黑白染色 ,二分图判定 const int maxn = 208 ;vector<int> g[maxn] ;int n ;bool vis[maxn] ;int match[maxn] ;;int color[maxn] ;int setcolor(int u , int c){color[u] = c ;for(vector<int>::iter

POJ 3057 最大二分匹配+bfs + 二分

SampleInput35 5XXDXXX...XD...XX...DXXXXX5 12XXXXXXXXXXXXX..........DX.XXXXXXXXXXX..........XXXXXXXXXXXXX5 5XDXXXX.X.DXX.XXD.X.XXXXDXSampleOutput321impossible

OmniGlue论文详解(特征匹配)

OmniGlue论文详解(特征匹配) 摘要1. 引言2. 相关工作2.1. 广义局部特征匹配2.2. 稀疏可学习匹配2.3. 半稠密可学习匹配2.4. 与其他图像表示匹配 3. OmniGlue3.1. 模型概述3.2. OmniGlue 细节3.2.1. 特征提取3.2.2. 利用DINOv2构建图形。3.2.3. 信息传播与新的指导3.2.4. 匹配层和损失函数3.2.5. 与Super

二分图的最大匹配——《啊哈!算法》

二分图 如果一个图的所有顶点可以被分为X和Y两个集合,并且所有边的两个顶点恰好一个属于X,另外一个属于Y,即每个集合内的顶点没有边相连,那么此图就是二分图。 二分图在任务调度、工作安排等方面有较多的应用。 判断二分图:首先将任意一个顶点着红色,然后将其相邻的顶点着蓝色,如果按照这样的着色方法可以将全部顶点着色的话,并且相邻的顶点着色不同,那么该图就是二分图。 java

web群集--nginx配置文件location匹配符的优先级顺序详解及验证

文章目录 前言优先级顺序优先级顺序(详解)1. 精确匹配(Exact Match)2. 正则表达式匹配(Regex Match)3. 前缀匹配(Prefix Match) 匹配规则的综合应用验证优先级 前言 location的作用 在 NGINX 中,location 指令用于定义如何处理特定的请求 URI。由于网站往往需要不同的处理方式来适应各种请求,NGINX 提供了多种匹

JavaScript 根据关键字匹配数组项

要在JavaScript数组中根据关键字匹配项,可以使用filter方法结合一个测试函数。以下是一个示例代码,定义了一个函数findByKeyword,该函数接受一个数组和一个关键字,然后返回一个新数组,其中包含与关键字匹配的所有项。 function findByKeyword(array, keyword) {return array.filter(item => {// 假设要匹配的是对象

匹配电子邮件地址的正则表达式

这个正则表达式 QRegularExpression regex(R"((\w+)(\.|_)?(\w+)@(\w+)(\.(\w+))+))"); 用于匹配电子邮件地址的格式。下面是对这个正则表达式的逐步解析和解释: 1. QRegularExpression 构造函数 QRegularExpression regex(R"((\w+)(\.|_)?(\w*)@(\w+)(\.(\w+))+

ORA-01861:文字与格式字符串不匹配

select t.*, t.rowid from log_jk_dtl t; insert into log_jk_dtl (rq,zy,kssj,jssj,memo)  values (to_date(sysdate,'yyyy-mm-dd'),'插入供应商', to_char(sysdate,'hh24:mi:ss'),to_char(sysdate,'hh24:mi:ss'),'备注'