系统地学习一下。但 是 为 什 么 我 要 啃 证 明 过 程 啊 前几节 前面几节直接跳了,只写一些容易忘或是曾经不是很理解的东西。 环:极小非独立集。注意环删掉一个元素之后是独立集但不一定是基,所以环的大小可以不同(废话,看图拟阵不就看出来了)。 匹配拟阵:不是定了几条边必须要选 ...
拟阵学习总结 By Tuifei oier Part 定义 首先给出一些基本的定义: 一 子集系统 给定二元组 M S,I ,若满足以下条件: S 为一个有限集。 I 为一个元素为 S 的子集的有限非空集,空集属于 I 。 forall A in I,B subseteq A 满足 B in I 。 则称 M 为一个子集系统。 其中,第三条性质一般称为遗传性。 特别地,称 I 中元素为独立集。 称 ...
2021-01-18 16:51 2 369 推荐指数:
系统地学习一下。但 是 为 什 么 我 要 啃 证 明 过 程 啊 前几节 前面几节直接跳了,只写一些容易忘或是曾经不是很理解的东西。 环:极小非独立集。注意环删掉一个元素之后是独立集但不一定是基,所以环的大小可以不同(废话,看图拟阵不就看出来了)。 匹配拟阵:不是定了几条边必须要选 ...
\(\text{Part.1}\) 基本定义 定义\(1.1\) 记\(M=(S,I)\)表示一个定义在有限集\(S\)上,独立集的集合是\(I\)的拟阵。其中\(I\subseteq2^{S}\)(即\(I=\{T\subseteq S|f(T)\}\))。若\(M\)满足下列公理 ...
拟阵 (latest updated on 2020-08-10) 大量基础定义警告,参考了wiki和2018论文《浅谈拟阵的一些拓展及其应用》,如果想看大段详细证明请移步论文 拟阵的概念比较抽象,有多种定义方法,结合这些定义方法可以更具体地了解拟阵的基础性质 前言 很多问题可以转化为拟 ...
贪心算法是用的比较多的一种优化算法,因为它过程简洁优美,而且结果有效。有些优化问题如最大权森林(MWF)是可以用贪心问题求解的,由于最小支撑树(MST)问题与MWF是等价的,所以MST也是可以用贪 ...
拟阵的定义: 拟阵是一个序对(S,I),其满足以下条件: S是一个有限非空集合 I是某些非空的S子集的集合(由于其中元素为集合,也可以称为集族),I中的元素称为S的独立子集。故而,可以定义I的子集为S的独立子集族, 遗传性,如果A是I中的元素,B是A的子集,则B是I ...
0. 核心思想 拟阵问题的核心是找到具体问题中独立性的表现形式,然后找到一个能快速判断当前子集是否满足独立性的算法F,F的复杂度将会直接影响整个算法的复杂度 1. 观前提示: 每个人的思路不同,自然思考时遇到的困难那就不同,我这里仅仅是记录了自己思考过程中的困难以及理解思路 ...
## 首先。。 这篇东西的话算是一个关于拟阵部分知识的小总结,有些语言相对来说偏向便于理解方面,所以可能。。有一些说法会不是那么严谨大概是这样 一些概念 线性无关:一组数据中没有一个量可以写成其余量的线性表示,也就是对于\(\{x_1,x_2,...x_n\}\)不存在一组不全 ...