摘要：
2024 10 24 17:55 突然想起来游记还没写。 祭没寄？ Day -2/-1 考前两天请假，说是去复习其实是回家补觉了。 简单整理了一下要打的板子然后打了一天都没打完/kk 周六上午跟学校大车去，前一晚有同学已经到了试机。 "上午不是有普及组小孩们帮我们调吗？" Day 1 7.30 出发 阅读全文
posted @ 2025-02-21 20:49
hm2ns
阅读(13)
评论(0)
推荐(0)
摘要：
前言 事情的起因： 于是滚回来补习了。 1. 是什么 差分约束是一种图论建模技巧，可以处理一个二元一次不等式组的可行解。使用差分约束算法可以在 \(O(nm)\) 的时间内求出所有变量的一组可行解，（满足题目要求的）最小解，最大解，所有解的最小值和所有解的最大值。 什么是二元一次不等式组呢？它长这样 阅读全文
posted @ 2025-02-21 20:47
hm2ns
阅读(18)
评论(0)
推荐(0)
摘要：
前言 似乎是很牛的算法，也可能是因为题目太难了 前置芝士：有向图中的 Tarjan 缩点 1. 是什么 SAT 问题是这样的：给你 \(n\) 个变量 \(a_i\)，每个变量可以有 \(k\) 种取值。再给你一些限制，诸如： 如果 \(a_i=1\)，那么 \(a_j\) 必须 \(\ne 2\) 阅读全文
posted @ 2025-02-21 20:46
hm2ns
阅读(120)
评论(0)
推荐(0)
摘要：
前言 这篇文章的大多数图片来自这个视频。膜拜 & 支持原创。 前置芝士: 链式前向星存图。 网络流问题是图论的一个分支，算法难度并不难，但主要难度在于建图。网络流问题的建图思想在图论问题中还是有很大用处的。 本文讨论网络最大流，网络最小割，网络费用流三大问题，并有例题后附。 网络流问题 什么是流呢？ 阅读全文
posted @ 2025-02-21 20:43
hm2ns
阅读(92)
评论(0)
推荐(0)
摘要：
前言 数据结构学腻了来补补图论。 0. 背景故事 怎么还有故事 第一次听说分层图是在 2023 年 CSP-J 考完出来的时候，当时连任何一个最短路算法都不会，（好像会 BFS 但是只用来在网格图里走迷宫过），于是 T4 打了一个暴力 BFS，当时我还天真的认为能骗不少分，结果只得了输出 -1 的 阅读全文
posted @ 2025-02-21 20:42
hm2ns
阅读(43)
评论(0)
推荐(0)
摘要：
前言 不如 Fhq Treap 由我们的老熟人 Tarjan 巨佬发明的数据结构，CCCCOrz 1. 原理 Splay 也是一种平衡树，与 Treap 一类数据结构不同的是，它摒弃了玄学随机数维护平衡的方法，而是使用旋转的操作维护整棵树的平衡。当然，旋转操作也与 Treap 有很大的不同。 Spl 阅读全文
posted @ 2025-02-21 20:41
hm2ns
阅读(65)
评论(0)
推荐(0)
浙公网安备 33010602011771号