2020年5月7日
Codeforces Round #639 -E
摘要： E 建立有向图，结点表示变量，a->b表示存在式子（a<b）。 1、 有解的充分必要条件是无环。 无环时一定有解：全部存在性约束，因为无环所以存在入度为零的点，入度为零的点先随意安排一个值，然后按照拓扑序，每个结点安排max(入度结点值)+1即可。 有环时一定无解：有环说明存在一个结点大于或者小于自 阅读全文
posted @ 2020-05-07 11:10 dialectics 阅读(140) 评论(0) 推荐(0) 编辑