#P7477. 「C.E.L.U-02」划分可重集

    ID: 6309 Type: RemoteJudge 5000ms 256MiB Tried: 0 Accepted: 0 Difficulty: 6 Uploaded By: Tags>O2优化图论建模2-SAT可持久化线段树

「C.E.L.U-02」划分可重集

题目描述

给你一个长度为 nn 的数列 vv,请你将其划分成两个可重集 aabb。你将从左至右开始划分,每个数必须至少被划分进一个可重集中。
一个数 viv_i 可以被划分进 aa 当且仅当 j<i and vjvikj<i \ and\ v_j\le v_i-kvjv_j 都没有被划分进当前的 aa。一个数 viv_i 可以被划分进 bb 当且仅当 j<i and vjvi+kj<i\ and\ v_j\ge v_i+kvjv_j 都没有被划分进当前的 bb
同时给出了 mm 组关系,每组关系代表 uuvv 不能划分进同一个可重集里。求能使划分成功的最小的 kk。如果不存在合法划分,请输出 -1

输入格式

第一行两个数 n,mn,m,意义在题目描述中。
接下来一行共 nn 个数,代表 vv
下面 mm 行每行两个数,表示一组关系。

输出格式

仅一个数,答案。

6 0
6 2 8 5 7 3
2
10 3
1 3 4 3 8 2 3 4 5 6
2 3
6 7
1 9

5

提示

样例解释

样例解释一

以下是一组合法的划分:
|6|2|8|5|7|3| |:---:|:---:|:---:|:---:|:---:|:---:| |a|b|b|a|b|a|

样例解释二

以下是一组合法的划分:
|1|3|4|3|8|2|3|4|5|6| |:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:|:---:| |b|b|a|b|a|b|a|a|a|b|

数据范围

数据编号 nn mm
121\sim2 103\le10^3 00
343\sim4 103\le10^3
565\sim6 2×104\le2\times10^4 00
7107\sim10 2×104\le2\times10^4

对于 100%100\% 的数据,n,m2×104,vi109n,m\le2\times10^4,v_i\le10^9,保证 u<vnu<v\le n,没有一对相同的 u,vu,v