摘要：Codeforces Round #645-E 题意分析 ​ 给定一个长度为$n$的数组$arr$，第$(\lceil{\frac{2}}\rceil+1)-n$项相同均为x，即$arr[\ ]={ arr_1,arr_2……arr_{\lceil{\frac{2}}\rceil},x,x,……}$ 阅读全文

摘要：E 建立有向图，结点表示变量，a->b表示存在式子（a<b）。 1、 有解的充分必要条件是无环。 无环时一定有解：全部存在性约束，因为无环所以存在入度为零的点，入度为零的点先随意安排一个值，然后按照拓扑序，每个结点安排max(入度结点值)+1即可。 有环时一定无解：有环说明存在一个结点大于或者小于自 阅读全文