2021年6月11日
软件分析笔记3 DFA
摘要： 这里的DFA可不是有限状态自动机（ Data Flow Analysis 这一部分是比较重的重点...要好好看 或许需要补一补lattice(事实证明这一部分非常简单...) Data Flow Analysis 实际是要通过 How Application-Specific Data Flows 阅读全文
posted @ 2021-06-11 15:09 jjppp 阅读(512) 评论(0) 推荐(0)
软件分析笔记2 IR
摘要： 术语 IR = Intermediate Representation 代码的中间形式 AST = Abstract Semantic Tree 抽象语法树 IR 上节讲到的同态映射需要一个具体的载体,类比我们常常将n维线性空间同构到R^n上考虑,这里就引入了IR IR也是一种语言，可以作任意语言到 阅读全文
posted @ 2021-06-11 15:02 jjppp 阅读(265) 评论(0) 推荐(0)
软件分析笔记1 Intro
摘要： 决定要好好开干了，于是有了这个系列的笔记 真是绝了，我连淑芬都没有专门的笔记 回想上学期的考试周开了CSAPP的大锅，这次考试周开了软件分析的大锅，考试周真是除了考试都好玩 术语 PLT = Programming language theory 编程语言理论 Static Analysis 静态分 阅读全文
posted @ 2021-06-11 14:57 jjppp 阅读(178) 评论(0) 推荐(0)
2021年6月4日
图论笔记3 染色
摘要： 图染色(Coloring) 染色数(Coloring Index) 图的染色分为点染色(vertex coloring)和边染色(edge coloring) 点染色指的是构造映射 \(f_k\colon V(G)\mapsto \left\{\;1,2,\ldots k\;\right\}\)，一 阅读全文
posted @ 2021-06-04 16:12 jjppp 阅读(2681) 评论(0) 推荐(0)
2021年6月1日
图论笔记1 基本概念&定义
摘要： 还是记一下吧，方便看博客的人(真的会有人看吗喂！) 图论基本概念 好多啊,还是英文,记不住..... 这里的图默认是有限图 点(vertex/vertices),边(edge) 边$\left{x,y\right}$可简记为$xy$ 基本符号 \(\left[n\right]=\left\{1,\d 阅读全文
posted @ 2021-06-01 23:36 jjppp 阅读(523) 评论(0) 推荐(0)
2021年5月29日
数据结构 笔记1 搜索树
摘要： 感觉一下子进度快了很多，中间有一些需要记的，还有一些偏工业的，现在补一补。 内容全部来自《算法导论》，啃了一遍之后觉得这本书真是强啊，理论上说用这个入门就没必要看别的书了.....也许这就是本意吧 这波主要是树相关，后面可能会持续更新，看我有没有空吧..... 是写给自己看的，也许会有一点电波 二叉 阅读全文
posted @ 2021-05-29 17:02 jjppp 阅读(82) 评论(0) 推荐(0)
2021年5月17日
ICPC 2021 银川划水记
摘要： 一个周末发生了很多事情，值得记录一下 day -1 前夜被告知航班取消了，匆忙换成了从合肥出发的灰机。早上匆忙赶到南京南的时候因为太着急甚至走错了路。在列车即将晚点的时候又被告知退掉高铁票改去徐州，疫情！ 人生第一次坐到了高铁一等座，座椅确实宽敞。到机场前短暂地体验了一波徐州的氛围，感觉和东莞差不太 阅读全文
posted @ 2021-05-17 14:42 jjppp 阅读(335) 评论(0) 推荐(0)
2021年4月30日
图论笔记2 匹配
摘要： 事实上第一篇应该是一些概念的介绍，不过先不管了... 这几周讲了一个很大（也是很难）的题目，值得好好记录一下..... 本文讲的都是有限图，在阅读之前默认读者有基本的集合论姿势和图论前置姿势 匹配（Matching） 定义 匹配 对于给定的图 \(G=(V,E)\)，若存在边集$M$使得 \(M\s 阅读全文
posted @ 2021-04-30 19:11 jjppp 阅读(514) 评论(0) 推荐(0)
2021年4月21日
CSAPP实验6 : shlab
摘要： linking的部分看了一半跳过去了....据说你南的ICS讲linking非常不错，于是我就心安理得了 exception的部分还在看，估计这周末可以看完（吧），先留坑 我来填坑辣 终于赶在五一（假期前）写完了第六个lab，书也推完了第八章，四舍五入就是五月前搞定了前八章内容，还是很不戳的。整个四 阅读全文
posted @ 2021-04-21 19:24 jjppp 阅读(467) 评论(0) 推荐(0)
2021年4月14日
奋斗逼的脸庞着实惹人爱
摘要： ICSOJ搭建记录及对你班风气的一些思考 最近上了一门课，名为《信息科学与实践》。说是实践，其实是基础程设+算法理论+数据结构入门，可谓是大杂烩。本着共同进步的目的，我们尝试着建了一个讨论群&资料群来加强互动氛围、搭设了一个简易的OJ来提升同学们的代码能力。 购买服务器&搭建OJ 买的是腾讯云的学生 阅读全文
posted @ 2021-04-14 22:13 jjppp 阅读(201) 评论(1) 推荐(1)