A Common Subsequence

0 题目大意

给你两个序列 $a,b$，求两个序列最短的公共子序列

1 代码

对，是最短……

0 说在之前

我吐了，这题我写了两天……

考虑到我自己写的博客还没有 AC 自动机的，我会简单写一下

1 AC 自动机

1.0 什么是 AC 自动机

有一个说烂但是很形象的说法 Trie + KMP

AC 自动机用于多模式串匹配

就是你拿一个字符串，和一堆字符串

然后 AC 自动机可以让你快速的知道这一堆字符串中，那些是你这一个字符串的子串

0 说在之前

jt 学长说的没错，SA 果然是写一次忘一次……

于是这次重新学了一次，发现之前的 Blog 问题比较多，于是重写一次算了

实际上这些东西就是变相重写 Oi Wiki 后缀数组那一页，不过是写给自己的罢了

0 事出有因

因为老手机被拿来腾讯会议了，加之确实也算得上时代的眼泪了（

所以换了一台 Redmi K30 5G picasso

那么，开始迁移吧

1 选择 ROM

拿老账号一下就解锁了，没有等待时间，赞美小米

到 XDA 论坛上看一眼没有什么坏处

目测这个手机没有什么好包，Lineageos 都只有一个 alpha 的非官方版，还是 3 个月前的产物了... 详情看这个帖子

不过有一个 eu 版的 miui 包，走起 在这个帖子里

事实上 CN 版的 MIUI 也不错，不过人在 CN 身不由己。我相信小米有保护用户信息的决心（至少 MIUI 12 中可见一二），但是不清楚小米能不能做到。

而且 EU 版有 Google 全家桶，so why not?

0 事出有因

之前手滑执行了一次命令，导致 Firefox 的配置文件没了

然后操作失误，把云端备份的插件列表搞没了

万幸的是目前整理到的损失似乎只有这些，那就顺便整理一下自己的插件吧

1 插件

1.1 美化

事实上，Firefox 默认主题挺好看的

配合 Arc Theme 可以得到更好的显示效果，何乐而不为

Firefox 默认的标签页有点单调。啥都不显示没意思，显示的东西又没啥用……

所以使用 Tabliss 是一个不错的选择

1.2 标签页

当你标签页血多的时候，Firefox 会在标签栏提供一个滚动条

虽然很人性化，但是明显不够用啊

使用 OneTab 可以归档标签页。毕竟一般开那么多个标签页，真正在用的也没几个

使用 Tree Style Tab 可以给以树形结构管理标签页，改变线性的标签页整理方式

1.3 屏蔽一些恼人的东西

uBlock Origin

广告屏蔽，比 AdblockPlus 快多了

uBlacklist

配合 cobaltdisco/Google-Chinese-Results-Blocklist 使用，可以在 Google 屏蔽掉大部分 SEO 站

什么时候中文互联网的 SEO 站能少一点

1.4 功能扩展

Violentmonkey

暴力猴，在 https://greasyfork.org/zh-CN 或者是 Github 上搞到脚本后就往这东西里面放

我使用的脚本有这些

• the1812/Bilibili-Evolved Bilibili 的功能越砍越残缺了，破站迟早药丸。这个脚本可以 增强/美化 Bilibili 的页面，省得被 Bilibili 强奸大脑
• CSDN 净化 这没什么说的，CSDN 你马死了
• woshiluo/syzoj-copy-button 给 SYZOJ 增加 Copy 样例到剪切版的功能。请问 syzoj-ng 什么时候好

To Google Translate

用这个可以通过快捷键直接把选中内容送到 Google Translate 里

Aria2 Download Manager Integration

捕获下载链接，直接传给 Aria2

后台挂两个 Aria2，配合这个使用体验不错

不过，这个插件自带的 webui 不太可用，会自动覆盖设置

不过你都后台挂两个 Aria2 了，顺手搭个 httpd 挂个 Aria2 webui 应该也很简单

1.5 安全性

HTTPS Everywhere

重写一些 http 请求为 https，防止某些网站/运营商耍流氓

Firefox Multi-Account Containers

对于国内的毒瘤，除了独立沙箱，应该没有什么防的住 ta 作恶的

这个插件提供了容器功能，你可以把你觉得不太行的网页每次用指定容器打开

终于不用隐私模式用 Baidu 了

2 一点设置

把性能里的线程调小点

Firefox 的个性化可以避免一堆插件挤在你得地址栏上，毕竟你经常会调整设置的插件也就那么几个

3 为什么使用 Firefox

这个问题实际上是没有答案的，浏览器这种东西比较偏个人。你喜欢那个，那个就是对的

不过这里还是给几个理由

Firefox 曾经是比 Chrome 资源占用少很多。

不过现在 Firefox 也用默认多线程了，这个优势虽然还有一点，但也不算多了

所以找几个这之外的理由

• 隐私，像比较 Chrome 这种商业公司搞出来的东西，Firefox 在隐私上面要优秀很多
• 便捷，Google 账号同步比 Firefox 的账号同步困难不少
• 为用户着想，至少不会像 Chrome 一样说搞广告屏蔽器就搞，说砍什么就砍

出于时间原因，没有能力给这几个理由找依据

如果你不相信我的话，那么关闭这个页面就好