$R, R[x; \sigma], R[x^{\pm}; \sigma]$ 的素理想关系
该内容来自 《Noncommutative Noetherian Ring》 P392 - P400
约定记号，$\sigma$ 是环 $R$ 的一个自同构，$S = R[x; \sigma], T = R[x, x^{-1}; \si ...
The Dixmier-Moeglin Equivalence
math
a66cc1525ac85789d9663007a0dc9fcc3bc1dd059e09390d30cf3cb850ea4abeb92edc8157e7e7206b9809dd19b090 ...
butterfly 主题
再次换主题，一个月前（2020/7/20）看到了 Butterfly 主题，十分心动，知道前两天才开始换从 next 换到 Butterfly。Butterfly 主题真的太美了，现在看唯一的缺点就是不支持 <!-- more --& ...
从数列极限到点集拓扑学(from array limit to point set topology)
某大公司的名字(全小写)
eb13ed5cc53f32b13a591c515215c6c9b04495d56f4dd642ab5b3ed84f1aeb319c6599dcdaa8ab8dce6ddf ...
C++ 代码规范
此规范参考：Codeforces 上 Jiangly 的码风，Menci 代码规范，知乎 pansz 的回答VSCode 的 C_Cpp: Clang_format_style 和 Clang_format_fallback style 设 ...
dna049 的 C++ 模板
此处只包含通用代码块，以下为其它内容：
C++ 代码规范
C++ 图论模板（因为图论内容实在太多）
C++ 字符串模板（内容相对独立）
STL 和 C++17 学习记录
欢迎使用或转载代码块，唯一要求添加一行注释: https://d ...
STL 和 C++17 学习记录
综述为了更加 优雅 的写 C++，在学了一点 C++17 皮毛之后，重新探索了一下 C++ STL，总结一些好用的特征。
static_cast<T>, optional<T> 是两个好东西。
等到 Codeforc ...
快速数论变换
快速 Fourier 变换（FFT），被称为 20 世纪最伟大的十大算法之一。所以很多软件都有对应的 FFT，例如 Python 的 scipy.fftpack 中就有关于 FFT 的包。所以个人写 FFT 就没有那么必要了。但是 NTT（ ...
$x^2 \equiv a \mod n$ 何时有解
显然，我们只需考虑 $0 \leq a < n$ 的情形。这个问题应该很早就被人考虑好了，不过无所谓吧（反正只是个博文而已）。以下内容都是独立完成的。并可看作 二次剩余和 Gauss 互反律 这篇博文的延续。最后再给出方程的一个解（如 ...
动态规划
动态规划是研究一大类问题（特别是最值问题）的一种思路。从大二刚开始 ICPC 竞赛的时候第一次遇到，到大三学运筹学系统的了解，再到后来一直成为解决问题的一种思考方式。可以说动态规划真的是万金油的方法。
计算机领域（或者说博弈论）中的动态规划 ...