差分约束

news/2024/6/14 13:56:46/文章来源:https://www.cnblogs.com/lwxxs/p/18204894

二分图


不存在奇数环,染色法不存在矛盾

通常将点分为两个集合,看每一条边是否为连向两个集合中的点,是则为二分图

染色法辨别二分图

匈牙利算法

概念


最小点覆盖:选出最小的点集,使得每一条边的两个端点至少有一个被选出来

在二分图当中,最小点覆盖等于最大匹配数

最大独立集:从一个图中选出最多的点,使得选出的点之间没有边,内部没有边

最大团:选出最多的点,使得选出的点之间都有边

两者之间互为补集

二分图中求最大独立集等价于去掉最少的点破坏所有的边

=找最小点覆盖=找最大匹配数

即最终为n-m


最小路径点覆盖:针对有向无环图,用最少的互不相交的路径(意味着所有点不能重复),将所有点覆盖,和最大匹配数互补

推导

拆点:​      路径对应匹配点,路径终点对应一个左部的非匹配点​     将路径转化为二分图,每条边最多只有一个出度入度,即两类图中只有一条边​     将路径的出点入点分为两类,必为二分图<=>让左侧非匹配点最少<=>让左侧点匹配最多<=>找最大匹配

最大匹配数=最小点覆盖=总点数-最大独立集=总点数-最小路径点覆盖

最小路径重复点覆盖:两条路径允许 原图的最小路径覆盖等于新图的最小路径重复点覆盖

  1. 先求传递闭包
  2. 求最小路径覆盖

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/710225.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

window版postgresql安装orafce插件

在Visual Studio中创建一个新的C工程:将解压目录下的除.sql和文件夹之外的文件都copy到新创建的工程中,另外要将sqlscan.c排除在项目之外 配置编译选项配置预处理器,预处理器定义中的内容为: WIN32 _WINDOWS _DEBUG _CRT_SECURE_NO_WARNINGS 注意要有_CRT_SECURE_NO_WARNI…

为什么 mov sp, 32,debug程序,执行sp=32的位置,后面的代码就全乱了(在小甲鱼零基础汇编第6章,包含多段程序,的视频代码)

assume cs:code, ds:data, ss:stackdata segmentdw 0123h, 0456h, 0789h, 0abch, 0defh, 0fedh, 0cbah, 0987h; 用来作存放数据 data endsstack segmentdw 0, 0, 0, 0, 0, 0, 0, 0; 用来作栈的空间 stack ends code segmentstart:; 设置数据段mov ax, datamov ds, ax ; 设…

mysql报错:Lock wait timeout exceeded: try restadina transaction

这次是在Navicat上复制了一个表结构和数据准备备份一下,然后要用语句批量处理数据,结果导致项目上的更新操作报这个错误。原因是因为表中的数据量太大,复制表一时半会卡到那了。于是我在网上搜索了如下办法。尝试在数据库中杀死线程来终止复制表的操作。 SELECT * FROM info…

ASP.NET之JSONHelper操作

之前说到了Ext.Net中GridPanel行取值的问题(Ext.Net开发_GridPanel行选中取值),涉及到checkBox操作时,要留个心眼注意下取值的区别!返回值是Json格式。 现在用到了Json,就想自己也整一个Josn帮助类。在线帮助的资料很多,在巨人的身上东凑西凑也凑一个用用。   一、介绍…

Git:warning: CALF wilL be replaced by LF in xxxx 问题解决

warning: CALF wilL be replaced by LF in xxxx 问题解决办法 出现这个问题的原因是像缓存区中提交文件时出现的 原因: windows中的换行符为 CRLF,而在Linux下的换行符为LF,所以在执行add . 时出现提示 也就是, 工作区的文件都应该用 CRLF 来换行。如果 改动文件时引入了 …

密码爆破ssh与ftp服务(finish)

密码爆破ssh与ftp服务 使用工具九头蛇(hydra) ssh 环境配置 win10 安装sshd服务端在cmd命令行使用 net start sshd 命令启动服务kali 打开终端查看是否开启ssh服务 nmap -sV -T4 -p- [kali的ip] 先创建一个用户名字典username.txt,把经常用的用户名写入到字典中 touch usern…

Obsidian第三方插件下载

一、从Obsidian插件市场下载 使用第三方插件的第一步是关闭安全模式。点击“浏览”,搜索需要的插件名称。在这里输入名称搜索。点击安装。点击启用。必要时要使用魔法。 替代方法proxy-github二、从别的地方下载的插件 首先了解一下obsidian插件的基本构成,主要包括下面的文件…

鸿蒙4.2小版本大亮点,鸿蒙5.0也不远了

混合应用开发技术,特别是结合小程序和原生技术,为鸿蒙应用开发带来了显著的优势。首先,它简化了开发流程,使开发者能够迅速创建出高质量的应用程序。这不仅缩短了开发周期,还提升了应用的整体性能和用户体验。上个月,市场上迎来了华为鸿蒙系统4字开头的小升级,版本来到了…

JPA和Hibernate的乐观锁与悲观锁

哈喽,大家好,我是木头左!JPA和Hibernate的乐观锁和悲观锁 乐观锁 乐观锁是一种假设资源不会被冲突影响的并发控制策略。它假设多个事务在同一时间内不会发生冲突,因此不需要加锁。当事务提交时,如果检测到数据发生了改变,就会抛出异常,让开发者决定如何处理这个冲突。 在…

树形DP

树形 DP 即在树上进行的 DP。 常见的两种转移方向:父节点 \(\rightarrow\) 子节点:如求节点深度,\(dp_u = dp_{fa} + 1\) 子节点 \(\rightarrow\) 父节点:如求子树大小,\(dp_u = 1 + \sum dp_v\)习题:P5658 [CSP-S2019] 括号树暴力 本题 \(n\) 小的数据点保证为链,直接枚…

DBever SQL编辑器的高级应用:如何用变量快速查询

哈喽,大家好,我是木头左!一、DBever SQL编辑器简介 DBever是一款数据库管理工具,它支持多种数据库,如MySQL、SQL Server、Oracle等。其中,它的SQL编辑器功能非常强大,可以让更方便地进行SQL语句的编写和执行。今天,就来探讨一下DBever SQL编辑器中如何使用变量的方式。…

EDP .Net开发框架--自动化日志

EDP是一套集组织架构,权限框架【功能权限,操作权限,数据访问权限,WebApi权限】,自动化日志,动态Interface,WebApi管理等基础功能于一体的,基于.net的企业应用开发框架。通过友好的编码方式实现数据行、列权限的管控。平台下载地址:https://gitee.com/alwaysinsist/edp…

power 740 p740 连接远程管理模块

https://111.111.111.111/The connection for this site is not secure 111.111.111.111 uses an unsupported protocol.Try:Search the web for 111.111.111.111ERR_SSL_VERSION_OR_CIPHER_MISMATCHEdge 浏览器:https://blog.csdn.net/weixin_44904239/article/details/13096…

power 740 连接远程管理模块

https://111.111.111.111/The connection for this site is not secure 111.111.111.111 uses an unsupported protocol.Try:Search the web for 111.111.111.111ERR_SSL_VERSION_OR_CIPHER_MISMATCHEdge 浏览器:https://blog.csdn.net/weixin_44904239/article/details/13096…

闲话 5.21 四川高联预赛的压轴

koala 降智十分钟求满足下列条件数列个数:长度为 \(n\) \(\forall i\in[1,n]\quad a_i\not=0\) \(a_1=1\) \(\forall k\in[1,n-1]\quad (a_{k+1}-a_k-1)(a_{k+1}+a_k)=0\)显然就是不能有 \(0\) 最为重要。义👁坐标系:斜上线是 \(a_i=a_{i-1}+1\),对称是 \(a_i=-a_{i-1}\)。…

从需求角度介绍PasteSpider(K8S平替部署工具适合于任何开发语言)

你是否被K8S的强大而吸引,我相信一部分人是被那复杂的配置和各种专业知识而劝退,应该还有一部分人是因为K8S太吃资源而放手!这里介绍一款平替工具PasteSpider,PasteSpider是一款使用c#编写的linux容器部署工具(使用PasteSpider和自己用啥语言开发没关系哈!),简单易上手(从…

详解linux后台、前台运行进程

linux的、前台运行程序、后台运行程序,是如何使用的

Flowable工作流简介(二)

1、简介 Flowable提供了一个组高效的核心开源业务流程引擎,为开发人员,系统管理员和业务用户提供工作流和业务流程管理(BPM)平台。全部用Java编写,并且基于Apache 2.0许可的开源,代码在社区维护。 其核心是一个快速,经过试验和测试的动态BPMN流程引擎,附带DMN决策表和C…

CSP历年复赛题-P1036 [NOIP2002 普及组] 选数

原题链接:https://www.luogu.com.cn/problem/P1036 题意解读:题目即要在n个数中,枚举出所有的子集,当子集中数字个数刚好为k时,求和,判断是否是素数。 解题思路: 方法一:二进制法 通过二进制法,可以枚举一个集合中所有元素“选”或者“不选”的情况,用二进制1表示选该…

在使用Taro和TypeScript开发小程序, 使用抖音tt.pay报错找不到名称“tt”

在Taro中引入 抖音小程序 tt 和 微信小程序 wx的api. 会报错 解决办法: 在 src/globals.d.ts 文件中引入import "@douyin-microapp/typings"; import "@types/wechat-miniprogram";