yjmstr

摘要： 前言 早年 MIT 有三门用 bsv 作为硬件描述语言的体系结构课程，代号分别为 6.004，6.175 和 6.375. 根据 MIT CS course list，现在这三门课分别改名为了 6.1910、6.1920 和 6.5900. 本文是自学这三门课所需的 bsv 时记录的笔记，内容主要来 阅读全文

摘要： 直接看 https://github.com/RangerNJU/Static-Program-Analysis-Book 就行了，实验和讲义都和 NJU 软件分析一样，此贴完结！ 阅读全文

摘要： # YJMSTR的算法竞赛模板 # 目录 @[TOC](文章目录) # 图论 # 一、最短路 ## 1.spfa与负环、最短路 ```cpp bool inq[maxn]; int d[maxn]; void spfa(int s) { memset(inq, 0, sizeof(inq)); me 阅读全文

摘要： 这是 2023 年春北雷村男子职业技术学院 sipser 课程中的一道作业题 题目中给出了一种根据 3CNF 构造图的方式，要求我们证明 3COLOR 问题是 NP-complete 的。 3COLOR 指的是，给定一张图 G，用 3 种颜色给图中的点着色，以使得没有两个相邻的节点颜色相同。可以用上 阅读全文

摘要： Bomblab 针对自学材料的bomblab解题过程。 phase_1 disas phase_1查看对应函数的汇编代码，发现其将0x402400作为第二个参数传入strings_not_equal 函数，如果该函数返回值为0,函数结束，否则引爆炸弹。 因此，合理推测其是在比较输入的字符串和0x40 阅读全文

摘要： 由于这个作业是在两台电脑上完成的，一开始没有传上git，故文件夹里的代码可能不全，请参考本文件中的代码 coursera上有part1的课程，但都是英文 配套的中文书籍可以在z-lib上找到，名为《计算机系统要素》 00部分是简介，直接跳过了 配套的文件可以在Nand2tetris官网找到 vsco 阅读全文

摘要： 莫比乌斯反演 前置知识 & 重难点：数论分块 莫比乌斯函数 定义莫比乌斯函数$\mu (x)$，如果$x$的某个质因数出现超过一次，则$\mu(x)=0$,否则$\mu(x)=(-1)^k$,其中$k$是$n$的本质不同的质因子个数。 形式化地， \[ \mu(x)= \cases{ 1~~~~~~ 阅读全文

摘要： 根据LGV引理可以得到一个全是组合数的行列式，但n太大不能直接高斯消元。考场上尝试了好久直接把行列式化简，想要$O(n)$计算，最终无果。 赛后发现每一列提出一个阶乘的分母之后，每一行再提出一个$(a_i+1)\(，就可以得到一个范德蒙德行列式。范德蒙德行列式的公式中的每一项\)(a_i-a_j)$ 阅读全文

摘要： 题意：哈斯图是有限偏序集的一种表示形式，对于任意正整数n，n的因子根据它们的可除性自然地形成了一个哈斯图。记$H_n$为n的因子形成的哈斯图，对于任意两个因子u,v,哈斯图中边$(u,v)$存在当且仅当存在一个质数$p$，使得$u=pv$ 给定一个正整数n，求$H_1,H_2,\cdots,H_n$ 阅读全文

摘要： 二分图最大匹配，二分图带权匹配 打第五场牛客多校的时候发现KM的板子复杂度假了，特来补上，顺带复习一下 二分图最大匹配 匈牙利算法 交替路：从一个未匹配点出发，依次经过非匹配边，匹配边，非匹配边$\cdots$，形成的路径叫交替路。 增广路：途径交替路的起点之外的其他未匹配点的交替路叫做增广路。其一 阅读全文