OVSolitario-io

摘要： 集合 等值演算： 德摩根$$\neg (A \cup B) \Leftrightarrow (\neg A \cap \neg B)$$ 蕴含等值式$$A \to B \Leftrightarrow \neg A \cup B$$ 命题逻辑推理：$$(A \rightarrow B) \cap A 阅读全文

摘要： 链表 插入： 先改新加入 再改不知道的结点(如x) 再改知道的结点(如y，z) 链表all逻辑操作都可以以这个顺序依次判断 删除： 同理，此时无新加入，不知道的点为y，z，即删除了x 定义数组模拟：lst[]，nxt[]数组记录我的前驱后继 定义头结点 node[0].nxt = 1; node[1 阅读全文

摘要： string substr：从下标i开始，截取len长度 .substr(i，len);//从下标i开始，截取len长度 阅读全文

摘要： 单调栈：维护单调性，保证单调性维护最小/大弹出 主要是压栈和弹出的顺序性 模版题P5788 ： 点击查看代码 for(int i = n; i >= 1; -- i) { while(!s.empty() && a[i] >= a[s.top()]) {//栈顶与当前比较，维护单调 s.pop(); 阅读全文

摘要： huffman树：WLP最小的完全二叉树 oiwiki：OIWIKI/huffman树 Huffman树：子节点合并为父节点，最终为一个点的树形结构 构造方式： 证明：最小的两个点一定是最深的点，且可以互为兄弟 反证法：当一个点最小且不是深度最深的点，那么可以通过与一个最深的点进行交换，交换后的权值 阅读全文

摘要： 快读：只支持标准纯整形读入 define大法： #define read(a) {char c;while((c=getchar())>47) a=a*10+(c^48);} 函数式： inline int read() { char c = getchar(); int x = 0, f = 1; 阅读全文

摘要： 离散化：用数字相对值替代绝对值 离散化 = 排序 + 离散化(分配位置) + 归位(离散化后的值放回原地址) 对于n个数m次查询，离散大小= n + m，即n次插入，m次查询的和的大小 去重 + 删除 sort(alls.begin(), alls.end()); .erase(unique(all 阅读全文

摘要： P3916 思路：对于每个点求最大可走(TLE)，反过来从大到小更新每个点能到哪些点 (建反图) 对于后续搜到一个被标记的点直接return即可，因为i被标记，那么i的路径上all的后继点也已经被标记 每个点只访问一次O(n) 点击查看代码 #include <bits/stdc++.h> usin 阅读全文

摘要： 范围遍历 基础形式： for(auto x : s) cout << x << endl; 对于vector<piar<int, int>> e[maxn]; for(int u, v, w; m; -- m) { cin >> u >> v >> w; e[u].emplace_back(v, w 阅读全文

摘要： 子序列查询：abcd和abkk 思路：累加，记录a，ab += a，对于重复kk来说(k可能是abkk所以先判断是否为abkk再判断abk)abkk += abk, abk += ab 乘法原理，abkk为答案，对于后续来说k又可以作为abk出现继续累加 想用结构体反向扫描，当为a输出最小拼接，但对 阅读全文