Ch1 引论 编译器 读入以某种语言(源语言)编写的程序 输出等价的用另一种语言(目标语言)编写的程序 通常目标程序是可执行的 解释器 直接利用用户提供的输入, 执行源程序中指定的操作 不生成目标程序, 而是根据源程序的语义直接运行 Java语言的处理结合的编译和解释 编译器的结构 编译器 ...

第1章 计算机网络和因特网1.1 什么是因特网1.1.1 具体构成描述组成组成: 端系统, 通信链路, 分组交换机 连入因特网的设备: 主机(host) 或 端系统 端系统通过通信链路 和 分组交换机连接到一起 通信链路: 由不同类型的物理媒体构成: 同轴电缆, 铜线, 光纤, 无线电频谱 传输 ...

数字图像处理ch01 数字图像处理概述考点: 图像采样和量化 图像采样:用有限的样本数目去近似无限的现实物理信号;或简而言之,有限近似无限. (像素) 图像量化:用离散计算机表示去近似连续的现实物理信号;或简而言之,离散近似连续. (灰度值) 有大量细节的图像, 需要的量化级数较少 ch02 ...

3 运输层3.1 概述和运输层服务 运输层协议为运行在不同主机上的应用进程之间提供了逻辑通信. 运输层协议在端系统中实现. 运输层分组称为报文段. 运输层将从发送应用程序进程接收到的报文转换成报文段, 然后在发送端系统中, 运输层将这些报文段传递给网络层, 网络层将其封装成数据报并向目的地发送; ...

Matching theory1 Systems of Distinct Representatives(SDR)SDR: 对于集合$S_1,S_2,\cdots,S_m$, 选出不同的$x_1,x_2,\cdots,x_m$, $x_i\in S_i$, $i=1,2,\cdots,m$ 1.1 ...

Markov Chain Monte Carlo(MCMC) methods问题: 样本空间$U$, 子集$S\subset U$, $\rho=|S|/|U|$, 假设有一个从$U$中的均匀随机采样器, 估计$Z=|S|$. 蒙特卡洛法: 从$U$中独立均匀随机采样$X_1, X_2,\cdot ...

4 网络层: 数据平面4.1 网络层概述4.1.1 转发和路由选择 OSI网络层功能 转发 将分组从一个输入链路接口转移到适当的输出链路借口的路由器本地操作, 一般硬件实现 排队和schedule 数据平面 路由选择: 确定分组从源到目的地所采取的端到端路径的网络范围处理过程, 一般软件实现 决 ...

1 Ramsey定理1.1 图论Ramsey定理双色版本定理: 令$k,l$是正数. 那么存在一个整数$R(k,l)$满足: 如果$n\ge R(k,l)$, 对于图$K_n$的任意红蓝2着色, 要么存在红色$K_k$, 要么存在蓝色$K_l$. (即罗素数是有限的.)证明:对于$k+l$ 数归: ...

Lovász Local LemmaCSP见上一个笔记末尾. k-SAT问题: 给定一个$k-CNF$公式$\phi$, 判定是否可满足CNF: $n$个布尔变量: $x_1,\cdots,x_n\in\{\text{true, false}\}$ $m$个从句: $C_1\land C_2\la ...

Semidefinite ProgramsLP for Max-Cut \begin{aligned} \text{max}&&&\sum_{uv\in E}y_{uv}\\ \text{s.t} &&&y_{uv}\le |x_u-x_v| && \forall uv\in E\\ &&& x_v ...