#ATarc146d. [ARC146D] >=<

[ARC146D] >=<

题目描述

我们称长度为 NN 且所有元素均为 11MM 之间的整数序列 A=(A1,A2,,AN)A=(A_1,A_2,\dots,A_N),满足以下所有条件的序列为“素晴らしい整数列”:

  • 对于每个满足 1iK1 \le i \le K 的整数 ii,以下三种情况之一成立:
    • APi<XiA_{P_i} < X_iAQi<YiA_{Q_i} < Y_i
    • APi=XiA_{P_i} = X_iAQi=YiA_{Q_i} = Y_i
    • APi>XiA_{P_i} > X_iAQi>YiA_{Q_i} > Y_i

请判断是否存在“素晴らしい整数列”,如果存在,请求出所有可能的“素晴らしい整数列”中元素和的最小值。

输入格式

输入通过标准输入给出,格式如下:

NN MM KK P1P_1 X1X_1 Q1Q_1 Y1Y_1 P2P_2 X2X_2 Q2Q_2 Y2Y_2 \cdots PKP_K XKX_K QKQ_K YKY_K

输出格式

如果存在“素晴らしい整数列”,输出其元素和的最小可能值;如果不存在,输出 1-1

样例 1

输入

3 4 3
3 1 1 2
1 1 2 2
3 4 1 4

输出

6

样例 2

输入

2 2 2
1 1 2 2
2 1 1 2

输出

-1

样例 3

输入

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

输出

12

说明/提示

数据范围

  • 1N,M,K2×1051 \le N, M, K \le 2 \times 10^5
  • 1Pi,QiN1 \le P_i, Q_i \le N
  • 1Xi,YiM1 \le X_i, Y_i \le M
  • PiQiP_i \neq Q_i
  • 所有输入均为整数。

样例解释 1

A=(2,3,1)A=(2,3,1) 满足所有条件,因此是“素晴らしい整数列”。此时元素和为 66。不存在元素和小于等于 55 的“素晴らしい整数列”,所以答案为 66

样例解释 2

不存在“素晴らしい整数列”,因此输出 1-1

由 ChatGPT 4.1 翻译