星河滚烫，你是人间理想。
追踪最近的用户名外显变动记录。
最近的文章、讨论、云剪贴板与社区记录
#### 一些前言和前置 自动机分为很多种，不过我这里只讨论有限状态自动机。所以下文我们有时会直接用自动机指代有限状态自动机（FSM）。 首先具体解释自动机是干嘛用的，这里搬一下 oi-wiki，自动机是一种判断一个信号序列是否满足某种特定模式或规则的数学模型。 这里面的「信号序列」顾名思义就是一个按顺序排列的信号，比…
rt，突然就不懂了。 网上的资料通过 Thompson 构造法建立了正则表达式和 NFA 的关系。但是如果我运算了无限次得到的正则语言仍然能用有限状态自动机表示吗？
在讨论《买D到底是要三倍队线还是NOIP250+》回复：
看 CCF 想满足哪些人，卡哪些人。
赛前状态就不对了，开一道题不会一道，把自己干懵了，我知道我状态出了问题，但是当时的我不知道是哪出了问题，所以我没办法只能硬着头皮去考。 现在知道了。 开 T1，过了，好像才过十分钟。 开 T2，把充要条件分析出来了，这玩意能计数？这玩意能计数？这玩意能计数？ 我感觉它做不了，加上可能有点紧张没意识到我这已经是最简形式了…
在讨论《求助卡常&请求开大时限》回复：
为什么 ``inline`` 这么强
在讨论《求助卡常&请求开大时限》回复：
草过去了
在讨论《求助卡常&请求开大时限》回复：
@[litangzheng](luogu://user/1412732) 谢谢，没想到输入输出变化这么大。
单根号，拼尽全力了。 虽然不完全是单根号，因为我没写归并。但是瓶颈不在 sort，好像其他地方常数巨大。 而且 loj 随便过，洛谷过不了，感觉 CCF 机子上应该也能过，所以请求开大时限。 ```cpp #include #define rep(i, l, r) for (int i (l); i = (l); --…
注意到假如我们确定了 $S$，那么我们每个点找一个深度比自己更小的点中距离最短的点连边即可做到最优。深度相同随便赋一个优先级。 那么我们按找深度从小到大排序，对于排名为 $i$ 的点 $rk_i$ 将所有前面的点按与 $rk_i$ 的距离从小到大排序，算贡献考虑钦定一个最小边，设其前面有 $cnt$ 条边，贡献系数则为…
在文章《题解：P14480 化作彗星》发表评论：
修了，非二分图的处理有小锅。
#### 前言 这题断断续续做了几个小时，想假了好多次，感觉自己做构造和计数的时候并没有严谨的头脑。 不得不说感觉这题在洛谷月赛题里面质量应该是算高的。 #### 做法 先考虑图连通怎么做。 定义与结点 $u$ 相邻的边为存在一个端点与 $u$ **有边相连**，可以看作一条长为三的链。 首先观察到操作具有可逆性。 如…
在讨论《为何此题要选择 C++17 以上的编译器才能通过》回复：
@[Ice_Dice](luogu://user/634960) December 不是蒟蒻！！！
题解区怎么都要数据结构？？这篇题解主要讲解本题的一个维护技巧。 假如我们知道了这个问题的结论，现在我们关心的是怎么求关于 $\gcd$ 带来的贡献。 考虑从左往右扫描右端点，我们来试着维护每个左端点的信息。我们固定 $r$，并设 $[l,r]$ 区间的 $\gcd$ 为 $g(l)$，不难发现 $g(l)|g(l+1)…
在文章《CSP2025 游记》发表评论：
强帝斯队长
在文章《CSP-S 2025 游记》发表评论：
/fn
在文章《CSP-S 2025 游记》发表评论：
怎么虚报分数
在文章《CSP-S 2025 游记》发表评论：
/fn
在讨论《【11 月 20 日截止征新游记】CSP 2025 游记征集！》回复：
https://www.luogu.com.cn/article/w56vthlp
我是 ``scanf`` 孝子。 为什么我家厕所堵了，因为这场 debuff 拉满了。 #### 初赛 AK 了。希望复赛也能 AK。 #### DAY 0 以为能够安度比赛周。 上午先看了球，雄鹿最后三分全爆了，库里没站出来，遗憾输球，对面连字母哥都没上。 然后随便打了两把王者就吃午饭了，跟我妈去吃了必胜客。 下午回…
在讨论《求助数据结构打 tag》回复：
@[qkhm](luogu://user/657750) 谢谢！
在文章《题解：P10212 [CTS2024] 众生之门》发表评论：
111
模拟赛遇到的题。 先考察一些基本的性质，首先一定存在一种不劣的过程满足所有一操作在二操作之后，如果有位置先二再一那为何不直接用一操作变成目标字符？于是问题看起来简单很多，我们对于二操作都做完的局面统计操作数是简单的。 我们发现此时字符相同的位置其实是可以放到一起处理的，我们处理出 $val_{i,j}$ 表示字符为 $…
#### 前言 在模拟赛中出现的，虽然没打，但是看到 T2 非常难，遂开之。 提供一种与众不同的做法。 #### 做法 生物感觉是能乱走的，先考察一条边的性质。令第 $i$ 个点上的生物数量为 $c_i$，那么对于第 $i$ 条边，如果 $c_i+c_{i+1}\ge a_i+b_i$，那么这条边随便动，否则只能单向走…
精彩。 这篇题解有思路讲解，只想看做法的可以看其它题解。 做题第一步一定是先把题目要干什么弄清楚。不妨令这题第一个人是 A（除了最后一个访问的元素的信息填写者），第二个人是 B（接收信息者），第三个人是 C（最后一个访问的元素的信息填写者）。 A 可以为每个出现在最后一次访问之前的元素填颜色，设第 $i$ 个访问的元素…
在讨论《证明：无向简单图 m >= 200 n^{1.5} 时图里必有四元环》回复：
@[IdnadRev](luogu://user/105611) 我太唐了
在讨论《证明：无向简单图 m >= 200 n^{1.5} 时图里必有四元环》回复：
@[_sys](luogu://user/49093) 不是啊，你考虑一个三分图，你让它们之间连边边数不是就可以做到 $\mathcal{O}(\frac{n^2}{3})$吗
很精巧的题。 很明显求的是虚树的叶子结点数量。 然而这个玩意还带修，看起来有点恶心。不过带修的问题一般都不会很复杂，再加上子树修改我们考虑用搜索序把树拍到序列上，为了更好的刻画叶子，我们可以考虑使用性质更强的欧拉序，而对于欧拉序我们不妨放在括号串上考虑，叶子在串中相当于一个子串 ``()``，维护这个东西可以直接放到线…
还是记录一下，有点怪但是有点帅。 首先条件等价于和不进位，也就是说每一位只有一个 $b$ 是 $1$。 对于 $b_i\ge a_i$ 的限制我们可以当成 $a_i$ 加若干非负数，考虑 check 一个答案是否合法，记得确定一个漂亮一点的过程，不然做不了。找到当前的最高位 $p$，并找出最大的 $a_i$，设其最高位…