摘要：
个人简介 退役 MOer & OIer，现役 THU 4 字班新生，很菜。 对线上读者想说的话 欢迎光临我的博客 ~ 以前写的东西还在整理中，之后会陆续公开。 不知道你有没有过这种感受： 找遍全网根本找不到几篇题解。 为数不多的题解全都过于意识流，根本看不懂在写什么。 中间某一步没弄清楚为什么，想问 阅读全文
摘要：
一、简介 k-SAT (satisfiability) 解决这样一类问题：给定 \(n\) 个布尔变量和 \(m\) 条限制，每条限制形如 \(x_1=0/1\or\cdots\or x_n=0/1\) ，求是否有解并给出构造。 当 \(k\gt 2\) 时，该问题为 NP 完全问题。 二、算法流程 阅读全文
摘要：
题目描述 \(T\) 组数据，给定长为 \(n\) 的字符串 \(s\) ，\(q\) 次询问，给定 \(i,r\) ，求有多少个 \(l\) 满足： \(1\le l\le r\) 。 \(s[i:i+l-1]\) 字典序小于 \(R(s[i+l:i+2l-1])\) 。 数据范围 \(1\le 阅读全文
摘要：
题目描述 任务一 给定 \(n\) 个 \(32\) 位无符号整数，将它们从小到大排序。 任务二 有 \(2n\) 个人玩 "石头剪刀布" 游戏，他们分成两排，每排 \(n\) 个人， \(a_{i,j}=0/1/2\) 分别表示第 \(i\) 排第 \(j\) 人出石头、剪刀、布。 \(q\) 次 阅读全文
摘要：
uoj887 最酷的排列 题目描述 \(T\) 组数据，给定长为 \(n\) 的序列 \(a\) 和下标集合 \(S\) ，你可以对序列进行任意次操作，每次选择一个区间并将其中元素升序排序。 求 \(\sum\limits_{i\in S}a_i\) 的最小可能值。 数据范围 \(1\le n,\s 阅读全文
摘要：
题目描述 给定序列 \(a_1,\cdots,a_n\) 和 \(b_1,\cdots,b_n\) ，满足 \(a_i\in [0,2^k-1],b_i\ge 0\)，你需要给出 \(S\subseteq \{1,\cdots,n\}\) 和 \(x\in [0,2^k-1]\) 满足： \(\su 阅读全文
摘要：
题目描述 有 \(n\) 个行星，编号为 \(0\sim n-1\) 。 有 \(m\) 辆星际列车，第 \(i\) 辆列车在时刻 \(a_i\) 从行星 \(x_i\) 出发，在时刻 \(b_i\) 到达行星 \(y_i\) ，代价为 \(c_i\) 。换乘条件为上一辆车的终点和下一辆车的起点相同 阅读全文
摘要：
题目描述 一个长为 \(n\) 的序列 \(a\) ，初始全为零。 \(n\) 个操作，第 \(i\) 个操作形如给 \(a_1,\cdots,a_{x_i}\) 加上 \(y_i\) 。 \(m\) 次查询，给定 \(l,r\) ，求对 \(a\) 执行第 \(l\sim r\) 个操作后数列\( 阅读全文
摘要：
一、连通分量与 \(\texttt{tarjan}\) 算法 有向图的强连通分量 定义 强连通图：如果有向图中任意两点\(u,v\)互相可达，那么这张图被称为强连通图。 强连通分量：有向图的极大强连通子图被称为强连通分量。 将图中所有强连通分量缩成一个点，得到的图一定是有向无环图（ \(\textt 阅读全文
摘要：
一、算法介绍 \(\texttt{WQS}\) 二分又称带权二分、凸优化，因王钦石神仙最先提出而得名。 \(\texttt{WQS}\) 二分能够解决的问题类型： 有若干个物品可供选择，某些特殊物品限制恰好选 \(m\) 个，求最优方案。 前提条件： 记 \(f_i\) 为限制恰好选 \(i\) 个 阅读全文