loj#P6792. 「ICPC World Finals 2020」穹顶

「ICPC World Finals 2020」穹顶

Description

Saint Basil's Cathedral is the best-known landmark of Moscow and maybe even of all of Russia. Built under Ivan the Terrible in the 16th16^{\text{th}} century, the cathedral is known for its colorful domes. No visit to the city is complete without taking a photo of the former church in Red Square.

domes1.png domes2.png
Figure C.1: Two views of Saint Basil's Cathedral.

The Moscow Tourism Board (MTB) wants to make it as safe as possible for tourists to take the perfect shot of the cathedral. Depending on where you stand when you take a picture, the relative positions of the domes will be different (see Figure C.1.). The MTB is concerned that for some desired configurations of domes the region in Red Square where such a photo is possible will be so small as to lead to a dangerous overcrowding of photographers. Wanting to avoid the inevitable pushing, shoving, injury, and Covid that this could cause, the MTB would like to find the area of the region where a photo is possible for any desired ordering of the domes.

domes4.png
Figure C.2. Illustration of the sample inputs.

For simplicity, assume that cameras have a 180180-degree viewing angle. As an illustration consider Figure C.2., which shows the location of the domes (labeled 151-5) and the photographer (green dot) in the plane. If the photographer shoots a picture aiming the camera straight towards the left (directly at dome 55), then everything in the shaded area will be visible in the photograph. Note that in this photograph, the domes will appear in order 4,3,5,2,14, 3, 5, 2, 1 from the left to the right.

Given the location of the domes within Red Square and a desired left-to-right order of the domes in the photograph, MTB wants to know the area of the region within Red Square from which such a photograph can be taken. You can assume that the domes are points, so that they do not block each other unless they are in a straight line from the photographer's view.

Input

The first line of input contains three integers dxd_x, dyd_y, and nn, where dxd_x and dyd_y (2dx,dy105)(2 \leq d_x, d_y \leq 10^5) are the dimensions of Red Square, and nn (1n100)(1 \leq n \leq 100) is the number of domes. The bottom-left corner of Red Square is at the origin (0,0)(0,0) and the top-right corner is at coordinate (dx,dy)(d_x,d_y).

Each of the next nn lines contains two integers xix_i and yiy_i (0<xi<dx,0<yi<dy)(0 < x_i < d_x, 0 < y_i < d_y), giving the locations (xi,yi)(x_i, y_i) of the domes. The ithi^{\text{th}} line describes dome number ii. No two domes are in the same location.

The last line contains a permutation of the numbers {1,,n}\{1, \ldots, n\} specifying the desired left-to-right viewing order of the domes in the picture.

Output

Output the area of the region within Red Square from which one can take a photo that shows the domes in the requested order. Note that the area may be 00 if there is no position from which to take the requested photo. Your answer should have an absolute or relative error of at most 10310^{-3}.

100 100 5
30 70
50 60
50 40
30 30
20 50
4 3 5 2 1

450.000000

100 100 5
30 70
50 60
50 40
30 30
20 50
1 2 5 4 3

0.000000