摘要：
//想到哪说到那吧，大不了以后再补 阅读全文
摘要：
二分查找： 不再细说，就是在单调的一段区间查找一个数（或比它大（小））的数。 在STL中也有lower_bound,upper_bound两函数可用。 二分查找应用广泛，尤其配合DP中的数据处理上效率极高。 二分答案： 在求解一个形如：最大（小）值最小（大）的问题。显然是从可行解中寻找最优解的过程， 阅读全文
摘要：
一、概念 差分约束系统（system of difference constraints），是求解关于一组变数的特殊不等式组之方法。如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如xj-xi<=bk(i,j∈[1,n],k∈[1,m]),则称其为差分约束系统(system of dif 阅读全文
摘要：
[SCOI2005]互不侵犯 在N×N的棋盘里面放K个国王，使他们互不攻击，共有多少种摆放方案。 国王能攻击到它上下左右，以及左上左下右上右下八个方向上附近的各一个格子，共8个格子。 输入格式： 只有一行，包含两个数n，m （ 1 <=n <=9, 0 <= m<= N * N） 输出格式： 所得的 阅读全文
摘要：
传送门 首先考虑的是二叉搜索树，每次查找当前排名(i+1)/2的数。但是对于某些数据，其递归层数过多，会导致爆栈。 那么显然可以用Treap或Splay。 这里考虑线段树： 由于线段树是一种平衡树，所以一定保证能跑出来。 对于线段树，我们基于二叉搜索树的查找方法并介于线段树平衡的性质求解。 对于线段 阅读全文
摘要：
传送门 我们考虑将第n只小猪塞进m个房子里（记做f[n][m]）： 显然答案分为两部分： 第一部分： 将这只猪扔到一个新房间，共有方案数：f[n-1][m-1] 第二部分： 将这只猪扔进之前的房间,乘法原理知共有方案数:m*f[n-1][m] 综上：有状态转移方程：f[n][m]=f[n-1][m- 阅读全文
摘要：
二分图的概念 二分图又称作二部图，是图论中的一种特殊模型。设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。 就长这个样。 最大匹配与增广路的概 阅读全文
摘要：
Aho-Corasick automaton，该算法在1975年产生于贝尔实验室，是著名的多模匹配算法。 解决什么问题呢？ KMP是给你一个模式串和一个文本串，要求求出模式串的匹配位置。 而AC自动机是给你一个文本串和一堆模式串，问你能匹配上多少模式串。 容易想到我们可以在Trie上跑KMP，结合二 阅读全文