FSYo 的博客

但这里就有严谨的小朋友要问了， 这个证明真的是对的吗？（这份 15KB 的代码刷新了小编的代码长度记录）小编也非常好奇，那么我们就来证明一下吧！那么，最大子段和为什么是正确的呢？那么，让我们用 agda 证明吧！

haskell

学习了 2022 年集训队论文 《浅谈与 Lyndon 理论有关的字符串组合问题》写得很好，像我这样的字符串小白也能看懂Lyndon 分解若字符串 www 小于它的每一个真后缀，则称 www 是 Lyndon 串。若字符串 www 是 Lyndon 串，则 wkw′w^kw'wkw′ 是近似 Lyndon 串，其中 w′w'w′ 是 www 的前缀。串 www 可以分解位 w1c1…wkckw_1^{c_1}\dots w_{k}^{c_k}w1c1​​…wkck​​，其中 w1>⋯&

A统计后缀和#include<bits/stdc++.h>#define cs const#define pb push_backusing namespace std;typedef long long ll;cs int N = 3e3 + 50;int n, m; char mp[N][N];int a[N][N], b[N][N];int main(){ #ifdef FSYo freopen("1.in", "r", stdin); #endif cin &