Jerry

摘要： 一、SAT问题以及2-SAT问题的定义 在了解2-SAT的定义之前，我们需要给出一些基础定义。 布尔变量（Boolean variable）：只能取1（true）或0（false）的变量。 否定连接词\(\neg\)（negation）：布尔变量的否定。例如\(\neg 1 = 0\)，\(\neg 阅读全文

摘要： 强连通与强连通分量 强连通：若一张有向图的节点两两互相可达，则称这张图是强连通的。 强连通分量（Strongly Connected Components, SCC）：极大的强连通子图。 例如，图中的SCC：(1) 1,2,3,4,9 (2) 5,6,8 (3) 7 搜索树 对图深搜时，每一个节点只 阅读全文

摘要： 总结： 这把B都错题了一直Wa，然后队友告诉我说F貌似可做，写了半个小时F发现题目读假了，于是四题下班。 E - Guess the Sum 题目大意： 给定一个隐藏的、长度为N的数组，下标从0开始，题目给定L，R，要你用最少的询问次数求出\(\sum_{i = L}^{R}a_{i}\)。 对于每 阅读全文

摘要： 总结： 做了A，B，然后开局A看错题wa了一发，B出的又很慢，所以掉大分。总的来说还是c没开出来。 B. Binary Colouring 1.题目大意： 给你一个int范围内的数x，要求构造一个二进制串，能有-1、1、0，二进制串的值不能出现两个连续的地方不为0，二进制串的值要等于x。 2.思路分 阅读全文

摘要： Money Buys Less Happiness Now 1.题目大意： 有n天，每天可以赚x块钱，然后每天可以通过花\(C_{i}\)块钱购买1点快乐值，然后每天赚的钱至少要在下一天才能用，问最多能获得多少快乐值。 2.解题思路： 我们发现天数变得很多，不能像e题那样dp了，所以要用贪心。具体来 阅读全文

摘要：  阅读全文

摘要： 割边 1.割边的定义：割边又叫做桥，如果去掉某条边会使得整张图的连通性变大，那么这条边就叫做割边。 2.求割边的思路：求割边我们使用tarjan算法，假设当前的算法不允许根据走返祖边用祖先的dfn值来更新自己的low值，那么如果有一个点有一个邻点的low值比他的dfn值还要小，就假设这两个点为u和v 阅读全文

摘要： 边双连通 1.边双连通的概念：对于任意两个点u，v，如果删除任意一条边都不能使得u，v之间不连通，那么u和v之间就称为边双连通。 2.边双连通分量的求法：其实一个双连通分量就是若干个点组成的强连通分量然后被一条割边堵住了而已，所以就和求Scc的方法类似，还是tarjan深搜找割边，然后不能走返祖边, 阅读全文

摘要： 莫队算法 普通莫队 1.例题：小Z的袜子 2.能够解决怎么样的问题？ 莫队算法能够将一些不强制在线的区间查询问题，使用离线分块的思想，然后利用双指针，将算法的复杂度降低。 3.算法实现原理： 因为是不带修改的，所以我们可以用双关键字进行排序，第一关键字是左端点所在块的编号，第二关键字是右端点的位置， 阅读全文

摘要： 主要是求类似\(\sum_{i = 1}^n\)\(\lfloor {\frac{n}{i}} \rfloor\)的问题 性质一：分块的块数$\le \left \lfloor 2\sqrt{n} \right \rfloor $ 当\(i\le \left \lfloor \sqrt{n} \ri 阅读全文