摘要： 本文为学习 SAM 的笔记与我自己的思考，亮点在于从 MN 关系出发推导 SAM 的构造。 记号约定与前置知识 \(\renewcommand\MN{\equiv_{\mathcal R}}\renewcommand{\tp}[1]{\left(#1\right)}\renewcommand{\en 阅读全文

摘要： 问题 给定一个二分图，左部有 \(n\) 个点，右部有 \(m\) 个点，边 \((u_i, v_j)\) 的边权为 \(A_{i,j}\)。求该二分图的最大权完美匹配。 转化 问题可以写成线性规划的形式，设 \(f_{i, j}\) 表示匹配中是否有边 \((u_i, v_j)\)，求 \[\be 阅读全文

摘要： 参考 Building and Distributing Applications. 假设源码由两个文件组成，A.ss 和 B.ss，其中 A.ss 依赖 B.ss。下面我们将其编译为可供分发的二进制文件。 将源码转为 object file 在 Chez Scheme 的 REPL 中（下同）输入 阅读全文

该文被密码保护。 阅读全文