Legendaryfisher‘s Stack

花了两天多的时间看了集合论的大部分内容，主要还是在了解定义定理和证明，练的题还不够，以后有时间还得练习巩固。很多问题还是一知半解的，还是得开学认真听课做题吧，有很多总结得不清楚的，见谅~今天来码一遍Warshall算法，首先来回顾一下：考虑一个n+1个矩阵序列M0,M1…Mn,将矩阵Mk的第I行j列的元素记为Mk[i,j],对于k=0，1，2…n Mk[i,j]=1当且仅当在R的关系图存在一条...

弗洛伊德算法Floyd算法可以计算出一个带权图中任意两点间的最短路径（可以有负权），用到了动态规划DP的思想（这部分还没有看过，只简单看了一下操作，以后专门找时间来学习）。I，j的最短路径有两种可能：1.i直接到j2.i通过另一个顶点k到达j我们只需要检查这两种情况哪一个距离更小，再更新I到j的距离就行了写起来非常简单，它的核心就是一个状态转移方程：第K个状态：DP(k)[i,j]=...

带权图为了研究最短路径，首先引入带权边，带权图的概念：设图G=<V,E>（无向图或有向图），给定W:E->R，对于G的每一条边e，称W(e）为边e的权，这样的图称为带权图，记为G=<V,E,W>.当e=(u,v)或e=<u,v>时，把W(e)记作W(u,v).设P是G中的一条通路，P中所有边的权之和称作P的长度，记作W(P）. 即W(P）=∑\su...

今天学习了生成最小生成树的两个重要算法，首先来总结一下知识点树连通而无回路的无向图称为无向树，简称为树。每一个连通分支都是树的无向图称为森林，悬挂的顶点称为树叶，度数大于等于2的顶点称作分支点设G=<V,E>为n阶m边的无向图，则有下列命题相互等价：1.G是树2.G中任意两个顶点存在唯一路径3.G中无回路且m=n-14.G是连通的且m=n-15.G是连通的且任何边均为桥...

引入：在18世纪，东普鲁士哥尼斯堡城内有一条大河，河中有两个小岛。全城被大河分割成四块陆地，河上架有七座桥，把四块陆地联系起来(如图)。当时许多市民都在思索一个问题:一个散步者能否从某一陆地出发，不重复地经过每座桥一次，最后回到原来的出发地。 此乃哥尼斯堡七桥问题！数学家欧拉证明了该问题无解，并由此创建了欧拉图，欧拉回路的相关概念，形成了一些重要定理。欧拉图：通过图中所有边一次且仅一次行遍...

本日学习了图论的部分内容，了解了图的基本概念及图的矩阵表示方法，先附上笔记。图可以用邻接矩阵来进行表示，我们只要在有向图的某个位置进行一条边创建的时候在对称位置也创建一条就能表示无向图了。实现（C++,泛型）：数据结构设计：private:一个储存顶点信息的一维数组一个储存边信息的二维数组顶点个数，边的个数public:构造/析构函数创建图的函数BFS遍历和DFS遍...

算是把集合论看完了，概念很多，需要多练题。Galgame项目也有在写，正在想如何实现存档读挡，等实现了再贴上来吧

数理逻辑部分，很多地方可以与数字逻辑结合起来看，都差不多的不过消解法还是有点懵逼的，晚上做点课后习题加深理解

今天开始继续学习啦~二分图二分图也称为二部图，定义如下：设无向图G=<V,E>,若能将V划分成V1,V2两个独立的顶点集（V1交V2为空，V1并V2为G，且V1,V2非空），使得G中每条边的两个端点皆是一个属于V1,另一个属于V2，则称G为二分图（二部图），V1,V2为互补的顶点子集，常将二部图G记作<V1,V2,E>若G是简单二分图，V1中的每个顶点均与V2中的...