文章

所有文章

共 14 篇文章，记录技术与生活的思考。

共 14 篇

存档之外 · 记录通关以后，仍留在心里的部分

游戏专栏「存档之外」开栏：把玩过的游戏、记得的场景、建造与生存经历，一张一张放进记忆卡。

用闭区间 [left, right] 统一二分查找的写法：循环条件、区间收缩与不变量证明，以及空数组、重复元素等边界与防溢出中点。

「耳朵的私人档案」开栏:为什么开始给喜欢的音乐编号、写批注,以及这个专栏会放什么。

机械动力整合包建造手记 01:从最初要解决的问题,到动力来源、传动结构、产线布局,再到改造前后的区别。

把「状态定义」当成动态规划里的循环不变量：定义、转移、初始化三者必须自洽，否则填表再熟也会错。

「演算手稿」开栏：为什么开始按「问题—直觉—推导—实现—验证」整理算法笔记，以及这个专栏会放什么。

用反例与不变量说明 Dijkstra 的非负权前提不是实现限制：负权边会摧毁「已确定即最优」的贪心前提。

路径压缩 + 按大小合并的并查集：为什么两个优化叠起来是近乎常数的 O(α(n))，以及合并方向的经典错误。

维护一个越往栈底越大的栈，一次遍历回答「下一个更大元素」类问题。基础模板已整理，柱状图与环形数组场景待补充。

展示博客支持的 Markdown 语法，包括代码块、列表、引用等。

开源项目分享：用 Electron + React 写的一个 Codeforces 好友关注桌面应用，Rating 追踪、做题热力图、比赛预测、团队周报一应俱全。

这是博客的第一篇文章，介绍如何使用 Astro 构建静态博客并部署到 GitHub Pages。

数学观象台即将开展：看见那些无法直接看见的结构。

音乐专栏即将上线：乐理、编曲、乐器、赏析，用耳朵感受音乐。