由于离散数学期中过于拉跨，专门开贴记录相关知识点。

关系

三个定理

1. 如果\(A_1\subseteq A_2\)则有\(R(A_1)\subset R(A_2)\)
2. \(R(A_1\cup A_2)=R(A_1)\cup R(A_2)\)
3. 重点： \(R(A_1\cap A_2)\subseteq R(A_1)\cap R(A_2)\)

整除关系 定义整除关系\(a|b\)为：\(a\)能整除\(b\)，如\(3|6\)，画哈塞图表示（哈塞图无向），则为上面为被整除的数，下面为除数。对于定义在集合\(A=\{1,3,6,9,15,45\}\)上的哈塞图如下：

期末之前临时抱佛脚，复习数理统计

数理统计部分

统计量

1. 样本平均值 \[\bar{X}=\frac{1}{n}\sum_{i=1}^nX_i\]

2. 样本方差 \[S^2 = \frac{1}{n-1}\sum_{i=1}^n(X_i-\bar{X})^2\]

3. 样本标准差 \[S = \sqrt{S^2}\]

4. 样本 k 阶（原点）矩 \[A_k=\frac{1}{n}\sum_{i=1}^nX^k_i,\quad k=1,2,...;\]

5. 样本 k 阶中心矩 \[B_k=\frac{1}{n}\sum_{i=1}^n(X_i-\bar{X})^k,\quad k=1,2,...;\]

重要定理

今天结束了计算机系统基础的考试，不得不说北邮的考试还是很水的，基本上老师说的重点都没考 (重定位、符号解析)，但是鉴于总体还是有一定难度，因此在这篇博文里总结一下

题型总结

题型大概分为 3 种，分别是：单选题、判断题、简答题

单选题

没啥难的，对我而言最难的是：一个关于地址对齐的题和一个关于链接的题，注意复习这两个点。

最近学离散发现网上对于最大流算法介绍的比较少，因此写个 blog 记录一下相关的知识点

最大流

定义一个有向图中的两个顶点分别为源点和汇点，源点入度为 0，汇点出度为 0，每条边有属性最大流量(maximum capacity)，表示该边能通过的流量的最大值。我们称该有向图从源点到汇点的最大的流量值即为该图的最大流。

对于如上图的一张图，想要获得从源点 1 到汇点 6 的最大流，我们可以使用如下的朴素算法：

临近期末，不如来点好玩的吧

实验说明

这个 lab 的实验说明就比较劝退，我先看了开头的 Part A 部分，大致意思是，课程设置了一种新的指令集：Y86-64，相对于 x86 指令集精简了很多， 以用来进行实验，幸好的是，经过前两个 lab 的摧残，已经对汇编代码有抗性较好的认识了。

事前准备

首先使用 tar -zvf archlab-handout.tar 解压实验文件压缩包，然后运行

简述

最近通过 rust book 学习 rust，根据最后一章的内容制作了一个简单的异步 http 服务器。

项目结构

|-- hanabi

|-- .gitignore