-------------------------------------------------对于2-sat问题的描述-------------------------------------------------给出一个序列，每个数是一个bool值，给出一些限制关系，得到最终的可行解的问题叫做适应性问题，也就是sat问题，2-sat问题就是给出的限制最多是两两元素之间的限制。这种适应性问题
------------------------------------------------------最大独立点集-------------------------------------------------------------在一个二分图中，能够选取的最大的点的集合，其中的任意两个点相互都不连接我的理解：首先定义两个点集，一个点集命名为S，就是最大独立点集，另一个点集命
---------------------------------欧几里得算法和拓展欧几里得定理-------------------------------------------------------欧几里得算法就是gcd ( a ,b ) == gcd ( b , a%b )拓展欧几里得定理就是对于ax+by = gcd ( a , b )中a,b为正整数， 那么至少存在一组整
最短路径的算法主要是解决两个问题：1.单源最短路2.任意两点间的最短路主要有三个算法来解决这两个问题：1.单源最短路：dijkstra算法，spfa算法2.任意两点间的最短路：floyd算法----------------------------------------dijkstra单源最短路算法--------------------------------------
二分图：图的点可以分为两个集合，记为S,T，其中每个集合的点之间不存在边二分图的最大匹配：每个点都只能用一次的情况，能够保留最多的边的条数一般求最大匹配采用的匈牙利的算法，下面介绍以下匈牙利算法-----------------------------------------匈牙利算法---------------------------------------------------
------------------------------中国剩余定理的内容--------------------------------------------------------------------------------------------------------------------------------中国剩余定理的证明------------------
首先介绍以下tarjan算法：---------------------------------------------tarjan算法-----------------------------------------------------------tarjan算法思想：tarjan算法在离线求LCA,强连通分量，割边，割点，点双连通分量，边双连通分量很有用tarjan算法中主
生成树：连通图中取出一个子图，包括所有的点且是一棵树。（任意两点之间一条路径）最小生成树：一个连通图中边权之和最小的生成树求最小生成树的算法主要有两个：prim算法和kruskal算法，那么我们接下来分别来了解一下：--------------------------------------------------prim算法----------------------------
在看这篇博客之前推荐看一看我对于欧拉函数的递推公式的证明，方便理解。点击打开链接-------------------------------------欧拉定理的内容--------------------------------------------------------------------------a和n互质，那么a^phi(n) == 1 ( mod n )-----------
首
差分约束系统只是对最短路算法的一种应用，没有什么新的算法，只是对于具体问题的建图方法的确定----------------------------------------------差分约束系统解决的问题描述---------------------------------------------------------差分约束系统解决的问题是不等式组的求解：X1 - X2 X1
----------------------------
Copyright © 2005-2024 51CTO.COM 版权所有 京ICP证060544号
