#P7219. [JOISC 2020] 星座 3
[JOISC 2020] 星座 3
Description
JOI takes a photo and gets an image of size . The cell in column and row is called cell .
In the image, there are white small boats, yellow stars (who knows why stars are yellow), and black empty cells (who knows what these empty cells are). In column , the cells from the bottom up to row are all small boats. In addition, there are stars: the -th star is at cell . Except for small boats and stars, all other cells are empty.
Now JOI defines a matrix that satisfies the following as a constellation:
- It does not contain any small boat.
- It contains at least stars.
JOI has been watching constellations for 114514 years, and he is tired of it. So he wants to paint some stars in the image black to turn them into black empty cells. Painting the -th star black increases the unnaturalness of the image by . Find the minimum total unnaturalness such that there is no constellation.
Input Format
The first line contains an integer , representing the size of the image.
The second line contains integers; the -th integer represents the position of the small boats.
The third line contains an integer , representing the number of stars.
The next lines each contain three integers , describing one star.
Output Format
Output one integer in a single line, representing the minimum total unnaturalness such that there is no constellation.
5
1 3 4 2 3
3
1 5 3
4 3 2
2 4 2
2
7
5 6 2 3 6 7 6
5
7 7 5
3 3 7
3 7 10
1 7 6
4 7 8
16
8
6 8 5 7 3 4 2 1
10
8 2 9
6 6 7
8 3 18
5 8 17
8 5 3
5 5 3
5 4 8
1 8 13
1 7 5
7 4 13
44
Hint
Explanation for Sample 1
It is enough to paint the third star black.
Explanation for Sample 2
It is enough to paint the third and the fourth stars black.
Subtasks
| Subtask | Special Property | Score |
|---|---|---|
| None |
For of the testdata, , , , , and there are no stars at the same position.
Notes
Translated from The 19th Japanese Olympiad in Informatics Spring Training Camp Day3 A Constellation 3.
Translated by ChatGPT 5
京公网安备 11011102002149号