银河「建图 + Tarjan缩点 + 拓扑排序 + 最长路」 题目描述： 我们用一个正整数来表示恒星…
G - 01Sequence 题目描述： 一个长度为n的序列，只由0和1组成，给出m个约束条件l, …
P3275 [SCOI2011]糖果 题目描述： n个小朋友，m个条件(X,A,B)，条件有五种 如…
P1993 小 K 的农场 题目描述： n个农场，m个条件 a比b至少多种了c个植物 a比b至多多种…
P4878 [USACO05DEC]Layout G 题目描述： n个奶牛，奶牛按照编号顺序来排队，…
P1260 工程规划 题目描述： n个工程，每个工程都有一个起始时间，均是非负数，m个限制条件，每个…
P1250 种树 题目描述： n个点，每个点最多种一棵树，m个要求(b, c, t)，表示b到c区间…
差分约束系统 什么是差分约束系统 差分约束系统指的是解决如下的多元一次不等式组的一种方法，其中(y1…