摘要：题目链接：ZOJ-4028 LIS 题意 有一个长度为 \(n\ (1\le n \le 10^5)\) 的序列 \(a\)，对于所有的 \(i\in [1,n]\) ，已知 \(f_i,\ l_i,\ r_i\) ，代表序列 \(a\) 中末尾元素为 \(a_i\) 的最长上升子序列长度为 \(f 阅读全文

摘要：差分约束系统 差分约束系统 是一种特殊的 $n$ 元一次不等式组，它包含 $n$ 个变量 $x_1,x_2,...,x_n$ 以及 $m$ 个约束条件，每个约束条件是由两个其中的变量作差构成的，形如 $x_i-x_j\leq c_k$ ，其中 $c_k$ 是常数（可以是非负数，也可以是负数）。我们要 阅读全文