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

    Type: RemoteJudge 5000ms 256MiB

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

You cannot submit for this problem because the contest is ended. You can click "Open in Problem Set" to view this problem in normal mode.

题目描述

给你一个长度为 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

2-SAT

Not Claimed
Status
Done
Problem
10
Open Since
2023-11-30 16:00
Deadline
2023-12-31 23:59
Extension
0 hour(s)