• 2024-11-19牛客15天刷题Day1_ZT6_小红的字符串构造
    ZT6小红的字符串构造这是题面构造思维思路不用想得很复杂可以看成一个匹配问题,每一个字符要和一个与自己不同得字符匹配,而且每一个字符都要匹配,每一个字符都要被匹配到我们可以先用一个集合统计有多少种字符\(set(s_1,s_2,s_3,\dotss_n)\),让所有字符都被匹配到,一种
  • 2024-11-19CF 1253 题解
    CF1253题解ASinglePush考虑令\(d_i=b_i-a_i\),那么合法当且仅当\(d\)在一个前缀和一个后缀都是\(0\),其余地方值一致并且非负.BSillyMistake注意到能作一次划分的时候立即划分一定更优,因为这样就不会因为潜在的一天两次进入办公室而得不到答案.贪心的模拟即可.
  • 2024-11-19G. Natlan Exploring
    G.NatlanExploringYouareexploringthestunningregionofNatlan!Thisregionconsistsof$n$cities,andeachcityisratedwithanattractiveness$a_i$.AdirectededgeexistsfromCity$i$toCity$j$ifandonlyif$i<j$and$\gcd(a_i,a_j)\n
  • 2024-11-15[笔记]Dijkstra算法正确性证明
    最近做了一些题,感觉对算法更深刻的理解是比套板子更深层次的,在这个层次上解决问题,思路会更加清晰。比如P5687[CSP-S2019江西]网格图(题解)这道题就是网格图的最小生成树,解法就建立在普通Kruskal的基础上,当时想了挺久也没想出来,看了题解才豁然开朗。所以各算法总是要回顾回顾的~
  • 2024-11-15Envelope Theorem
  • 2024-11-13强形式洛必达法则
    胜地不常,盛筵难再,兰亭已矣,梓泽丘墟———《滕王阁序》(L’Hospitallaw)Suppose\(f\colon(a,b)\rightarrow\mathbbR\)and\(g\colon(a,b)\rightarrow\mathbbR\)aredifferientialin\((a,b)\)(\(-\infty\lea<b\le+\infty\)).\(g'(x)\ne0\)in\((a,b
  • 2024-11-08AT板刷记录
    我是彩笔,别人板刷AGC,我板刷ABC和ARC。/fadABC378E-ModSigmaProblem注意到取模只对里面的\(\sum\)取,所以不能直接对每个数算贡献。考虑怎么把这个\(\text{mod}\)去掉,一般是要将其转化成大小比较的形式。现在只能尝试用前缀和改写和式为:\(\sum\limits_{1\lel\ler\leN}
  • 2024-10-30正则表达式
    正则表达式​ \(L=\{a\{a,b\}*\{\epsilon\}^*(\epsilon|(.|_)(a|b)(a|b*))\)正则表达式可以由较小的正则表达式按照特定规则递归地构建.每个正则表达式$r$定义(表示)一个语言,记为\(L(r)\).这个语言也是根据\(r\)的子表达式所表示的语言递归定义的.\(\epsilon
  • 2024-10-30FA分析树
    \(CFG\)的分析树例如语句\[(1)E\rightarrowE+E\\(2)E\rightarrowE*E\\(3)E\rightarrow-E\\(4)E\rightarrow(E)\\(2)E\rightarrowid\\\]graphTB a1(E)-->a2("-") a1(E)-->a3(E) a3(E)--&g
  • 2024-10-27Floyd 算法
    算法用途:Floyd算法是用于解决两点间最短路径的一种算法,可以处理有向图或负权的最短路问题。该算法时间复杂度为\(O(N^3)\),空间复杂度为\(O(N^2)\)。算法原理Floyd算法基于动态规划实现。Floyd算法一直在解决一个问题,寻找\(i\rightarrowj\)的最短路径(废话)。但是,既
  • 2024-10-27DP 详解
    DP概述DP(Dynamicprogramming,全称动态规划),是一种基于分治,将原问题分解为简单子问题求解复杂问题的方法。动态规划的耗时往往远少于朴素(爆搜)解法。动态规划and递归之前说过,动态规划也是分治思路,而递归更是传统的分治思路,但时间复杂度却大相径庭,为什么呢?动态规划是自顶向上
  • 2024-10-24SciTech-Mathmatics-Probability+Statistics-Bayes Formula: Application:
    SciTech-Mathmatics-Probability+StatisticsBayesFormula:Application:DescriptiveStatistics(ofSamples)\[\large\begin{array}{lll}\\\text{SamplesData}\begin{cases}\\\bm{Center\Tendency}\overset{\bm{Mean}}{\right
  • 2024-10-21浅谈 Manacher
    从某种方面来说,Manacher算法是朴素\(O(n^2)\)暴力算法的优化。。。那就得先了解一下Manacher的朴素算法------朴素算法枚举中心点并不断向外展开(例如:\([i,i]\rightarrow[i+1,i+1]\rightarrow[i+2,i+2]\rightarrow\dots\))缺点:时间复杂度:\(O(n^2)\),慢不能处理长度为
  • 2024-10-20CW 模拟赛 T2.迁跃
    题面似乎有原题,但是很偏挂个pdf题面下载算法一眼树形dp然而考场上没想出来很显然有一个式子令\(f_u\)表示从\(u\)进入子树,再通过迁越回到点\(u\)的最大价值则有\[f_u=\sum_{exist\text{}u\rightarrowv}^{(v,w)}\max(f_v+w-k,0)\]但是我们并
  • 2024-10-15P9150 邮箱题
    感觉是一道很好的图论题。首先,每个点只有一个钥匙,意味着我们点集的加入顺序是固定的。我们考虑暴力枚举每个起点,维护一个栈,考虑栈顶的强连通分量是否能连到下一个目标,如果能连到,就判断是否可以缩出新的强连通分量。这样子我们就能暴力求出每个点作为起点的答案了。显然,如果\(x
  • 2024-10-14题解:P1660 数位平方和
    ProblemLinkStep1:“定义\(S(n)\)表示\(n\)个的各个数位的\(k\)次方的和。”数位的\(k\)次方,我们可以通过快速幂求出,为了节省时间,我们可以定义一个\(a\)数组,来表示\(0\sim9\)区间中各数字\(k\)次方的值。然后我们通过定义一个\(s\)数组来存储\(0\sim4\times
  • 2024-10-11Stolz 定理及其证明
    Stolz定理是处理分式极限的强大工具,其形式类似未定式函数极限的洛必达法则.定理一:设数列\(\{b_n\}\)严格单调递增且趋于\(+\infty\).若\[\lim_{n\rightarrow\infty}\dfrac{a_n-a_{n-1}}{b_{n}-b_{n-1}}=A\]则\(\{a_n/b_n\}\)收敛,且\[\lim_{n\rightarrow\infty}\dfra
  • 2024-09-28CSP-S 2022~2023 补题
    下面的代码都是远古代码,不打算重写了。CSP-S2023T1密码锁题意:一个密码锁上有\(5\)个位置,每个位置上的数字是\(0\sim9\)的循环,每次打乱会选择一或两个相邻位置同时循环移动。给定\(n\)个打乱后的状态,求有多少种可能的原状态。\(n\le8\)。容易发现可能的状态数
  • 2024-09-262-SAT 学习笔记
    2-SAT学习笔记本文同载于本人的洛谷文章。参考资料算法2-SAT用于解决什么样的问题?问题给定\(n\)个大小为2的集合,每个集合要选其中一个元素,不能同时选,有\(m\)个条件\((a,b)\)代表元素\(a,b\)不能同时选,构造方案或判定无解。例子有3个集合:\(\{a,\nega\},\{b,
  • 2024-09-20筛子
    \(claim\)\(*\rightarrow\)狄利克雷卷积\((a,b)\rightarrowgcd(a,b)\)欧拉函数\(\varphi(p^k)=p^k-p^{k-1}\)\(n=\sum_{d|n}\varphi(d)\)\(\varphi(n)=n\times\prod(1-\frac{1}{p_i})\)\(\varphi(nm)\varphi((n,m))=
  • 2024-09-20[trick] 减半警报器
    适用题目\(\rightarrow\)高速判断是否合法,但是不知道什么时候应该判断核心思想\(\rightarrow\)鸽巢原理每个警报所监视的所有集合\(S\)的\(sum\)要达到\(d\),说明集合内至少有个元素的值大于等于\(\frac{d}{|S|}\),那我们把\(\frac{d}{|S|}\)作为警报数值,放在
  • 2024-09-18?
    CF1194G在外层枚举\(x'\)和\(y'\),令\(x=x'\timest,y=y'\timest\),且\(x'\timest\)十进制包含\(x'\),\(y'\)同理。因为有进位,从低位向高位dp。设\(f[T][0/1][0/1][i][j][0/1][0/1]\)表示处理到第T位,在当前这些为中\(x'\timest\)是否大于\(n\),\(y�
  • 2024-09-18ARC073F Many Moves
    当你填表法推了半年没推出来,为什么不试试刷表法呢?洛谷传送门在一行中有$n$个格子,从左往右编号为\(1\)到\(n\)。有\(2\)颗棋子,一开始分别位于位置\(A\)和\(B\)。按顺序给出\(Q\)个要求,每个要求是如下形式:给出一个位置\(x_i\),要求将两个棋子中任意一个移动到位置\(x