Before Everything
Before Everything 前言 By JaneZ,2025.1.21,M Stand Coffee,Nanjing Well, hello world ! This is the owner of this blog! My name is JaneZ , a student from Shanghai Jiaotong University.I major in Computer Sc
JaneZ's PPCA
JaneZ’s PPCA 开一个楼 ，用于记录PPCA每天的多线程，消解没有暑假的哀愁😢 6-23 Day 0 选了DHT(Distributed Hash Table)，也是很早之前就计划好的，虽然早上差一点被Raft动摇了，但还是决定写一个比较top-level的东西 PPCA的好处就是可以戴耳机写代码，0人管你，爽听6小时歌😆 又爱上我霉了🥰 吉他调音成功！ 主要的进展是学习了Go基
Mathematical Logic Cheating Paper
ML CT Paper 前言 这是留给25级往后ACM班学弟学妹的一份遗产了，很详细地总结了CS2950 Mathematical Logic这门课程涉及的主要知识点（有所删减）。特别值得注意的是，我在25.6.5晚在前三位作者整理的基础上，增添了6个example，是拟合了近3年ML Final的结果。今晚考完，更觉得整理地挺到位（精准吧 这是能说的嘛🤣）。分数还没出，也不知道实际到底考的怎样
State Spaces & Uninformed Search
CS-188 Lecture 2 State Spaces and Search Problems Given our agent’s current state,how can we arrive at a new state that satisfies its goals in the best possible way? Elements of a search problem: A s
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 的