Mathematical Logic Cheating Paper
ML CT Paper 前言 这是留给25级往后ACM班学弟学妹的一份遗产了，很详细地总结了CS2950 Mathematical Logic这门课程涉及的主要知识点（有所删减）。特别值得注意的是，我在25.6.5晚在前三位作者整理的基础上，增添了6个example，是拟合了近3年ML Final的结果。今晚考完，更觉得整理地挺到位（精准吧 这是能说的嘛🤣）。分数还没出，也不知道实际到底考的怎样
Enjoy Your Assassyn
笔者配置Assassyn环境的过程中遇到了一些问题，特此记录以备后续参考。 特别感谢Coffish 添加了另一种解决assassyn编译产生大量文件占用过多内存空间问题的方案——限制make并行数 首先贴上配置的具体流程：（值得注意的是，笔者在物理机上配置了Assassyn，不过Anyway还是贴上docker的配置流程好了） Docker It is also recommended to us
GPU-Acceleration
给25级xpy 伟大思想的pre，一天时间搓出来的，过程艰辛，但并不是学习的艰辛，具体遭到了什么问题就不说了，但已经解决了。自我感觉做的不错，遂放到blog上🤓 也是本人第一次用vscode-marp 做ppt，终于摆脱word的阴间排版了。 marp: true theme: gaia footer: ‘JaneZ 2025-10-14’ paginate: true html: true
25 Fall
25 Fall Learning Record 25 Fall 开始，依托的RCompiler，混乱的Arch课程，两门😇的数学课，三节早八的物理课，TA 工作， 原来已经大二了😥 学期有些规划。 快让我润出去吧，每天都在幻想能不能直接跳过本科3年直接润美😇 大多数人都生活在平静的绝望中：欲言又止。 最优化有意思。 天热总是令人头痛，再喝可乐，就会变成可乐了。 Compiler
Graph Algorithm
Graph Algorithms ps: 上机课是05.18上的，算法是05.23学的🤣（评价是这周事还是太多了）perhaps和这节上机课量巨大也有关系吧😢 术语回顾 DAG 有向无环图 点度 = 入度 + 出度 SPT 最短路径树 最短路 单源/多源 Q：给出一个加权图和图上的一个节点s，找出s到图中每一节点的最短路径 Dijkstra 算法 Core: v=argmin_u∈SPT,
Theories and Decidability
Theories and Decidability Recall The 4 Questions we’re gonna answer. Q1: What is a mathematical proof? Q2: What makes a proof correct? Q3: Is there a boundary of provability? Q4: Can computers find
Proof of the Undecidabilty of FO
Mathematical Logic 11 Proof of the undecidability of FO Undecidability of FO Basic Thoughts of the Proof We’ve already proved that Π halt is not R-decidable by using Π’halt ⩽m Π halt. So we only need
LCA DS MST
LCA ———— Least Common Ancestors 如何计算？ 深度相同一起跳 深度不同，深度大的跳 显然，一层一层跳复杂度将会来到O(N) 空间换时间 一次多跨几步 联系：ST表 考虑保存2 的幂次级 祖先 于是我们有了一种很棒的倍增做法： 假设 y 比 x 深，则 y 需要向上跳 a = h(y) - h(x) 对 a 进行二进制拆分 令 f[x][i]为结点 x 的