sea-and-sky

摘要： “不可以，总司令” 题目传送门 随机化的巧妙运用 考虑什么时候可以发起反攻， 每个节点都可以走到一个环上，每个节点的出度为\(1\) ..... 事实上，我们会发现第一个条件是没用的，因为当每个节点出度为一时就一定可以走到一个环上 所以这个问题就转化为了判断当前的图是否每个点的出度为 \(1\) 但 阅读全文

摘要： P7078 [CSP-S2020] 贪吃蛇 这题好啊 题目传送门 看到题之后觉得有点像砍蚯蚓的那道题 看看题目 可以证明，若一条蛇在吃完之后不是最弱的那一条蛇，那么他一定会选择吃，证明如下 设蛇长为 \(a_{1, \dots ,n}\) 且依次递增，那么很明显的 因为 ​ $$a_x>a_y>a_ 阅读全文

摘要： 更新日志: 2024.9.18 写完文章 2024.10.6 更正了一些细节上的错误 2024.10.10 加入了一些内容：非严格前驱/后继 2024.11.25 加入了一些例题，完善了部分内容 2024.11.26 加入可持久化相关内容 前置：了解Treap的思想和原理 FHQ-Treap 学习笔 阅读全文

摘要： # 本文由 [LFRED2023](https://www.luogu.com.cn/user/1024904) 撰写，由本人帮忙代发 # 阅读全文

摘要： 最小生成树之 Prim 算法学习笔记 emm...在一通瞎搞奋战之后，prim被我收入囊中！ \(prim\) 的思路其实非常简单，和 \(dij\) 有一丝相似之处，可能会搞混 设最小生成树上的集合为 \(S\)，所有点一开始到 \(S\) 的距离都是 \(+ \infty\) 从任意一个点开始， 阅读全文

摘要： 最短路之 \(dijkstra\) 学习笔记 复习 \(dijkstra!\) 怎么说，就写一下 \(dij\) 的实现过程吧 \(dij\) 的思路就是， 将结点分成两个集合：已确定最短路长度的点集（记为$ S$集合）的和未确定最短路长度的点集（记为 $ T$ 集合)。一开始所有的点都属于 $ T 阅读全文

摘要： 数学之乘法逆元 Part1 : 逆元是什么 一个东西 的逆元，就是指在一种运算/操作下能够抵消这个东西对单位元所带来影响的东东 举个例子 4 的加法逆元 就是 -4 ​ 2 在普通乘法中的逆元就是 \(2^{-1}\) 而乘法逆元指的是在 模意义 下的乘法逆元 设原式为 ​ \(1*a \equiv 阅读全文

摘要： 点击查看更新日志 2024.8.25 写完文章 2024.10.8 更新少量内容 2024.10.18 重写了关于 hash表 的内容并 完善了整篇文章，修改了几处错误 pb_ds 简介 与 使用 Part0 pb_ds 简介 pb_ds 是一个基于策略的模板库 pb_ds 库封装了很多数据结构，比 阅读全文

摘要： 首先，要求割点，我们需要知道割点是什么 割点： 是指在无向连通图中，如果删除某个顶点后，图的连通分量增加，则称该顶点为割点 好，知道了这个，那我们怎么去求他呢？ Tarjan 大神给出了一种依然基于时间戳的算法 图片来源：董晓算法 割点的求法大概就是这样的 所以细节还是见代码吧 #include<b 阅读全文

摘要： Tarjan SCC 与 缩点 既然要求 \(SCC\) 那我们先要弄明白 什么是 SCC SCC 指的是强连通分量 强连通指的是若一张有向图的节点两两互相可达，则这张图是强连通的 而强连通分量 指的是一个极大的连通子图 此处的极大指的是一个子图再多一个节点都将不强连通 那么知道了这个，我们就可以继 阅读全文