摘要:
讲课:差分约束 为甚么不是讲最短路的同学来讲这个…… 差分约束系统是一个关于变量 \(\vec{x} = (x_i)_{i = 0}^{n - 1}\) 的 \(n\) 元一次不等式组,他由 \(m\) 个形如 \(x_j - x_i \leq l_k\ (i,j,k \in \mathbb{N}, 阅读全文
posted @ 2026-08-16 02:47
我就是蓬蒿人
阅读(10)
评论(0)
推荐(0)
摘要:
讲课:欧拉路 定义 图论概念采用 OI-wiki 的定义。 对于一张图,如果一条迹(trail)经过图的每条边恰好一次,则称他是一条欧拉路(Eulerian path);如果一条回路(circuit)经过图的每条边恰好一次,则称他是一条欧拉回路(Eulerian circuit)。按照这个定义,一条 阅读全文
posted @ 2026-08-16 02:03
我就是蓬蒿人
阅读(32)
评论(0)
推荐(0)
摘要:
讲课:\(2\mathrm{-SAT}\) 命题逻辑基础 这是大二上学期课程《离散数学》的部分内容。考虑到 2025 级同学可能不了解相关概念,稍微进行一些补充。 命题逻辑的基本概念 命题与联结词 非真即假的陈述句称作命题。 作为命题的陈述句所表达的判断结果称作命题的真值,真值只取两个值:真或假。真 阅读全文
posted @ 2026-08-16 02:02
我就是蓬蒿人
阅读(15)
评论(0)
推荐(0)

浙公网安备 33010602011771号