Problem9344--CCC '20 S5 - Josh's Double Bacon Deluxe

9344: CCC '20 S5 - Josh's Double Bacon Deluxe

[Creator : ]
Time Limit : 2.000 sec  Memory Limit : 512 MiB  Special Judge

Description

On their way to the contest grounds, Josh, his coach, and his $N−2$ teammates decide to stop at a burger joint that offers $M$ distinct burger menu items. After ordering their favourite burgers, the team members line up, with the coach in the first position and Josh last, to pick up their burgers. Unfortunately, the coach forgot what he ordered. He picks a burger at random and walks away. The other team members, in sequence, pick up their favourite burger if available, or a random remaining burger if there are no more of their favourite burger. What is the probability that Josh, being last in line, will get to eat his favourite burger?

Input

The first line contains the number $N\ (3≤N≤1,000,000)$, the total number of people and burgers. 
The next line contains $N$ numbers, the $i$-th being $b_i\ (1≤b_i≤M≤500,000)$, denoting the item number of the $i$-th person's favourite burger. The first person in line is the coach, and the $N$-th person is Josh.

Output

Output a single number $P$, the probability that Josh will get to eat his favourite burger, $b_N$. If the correct answer is $C$, the grader will view $P$ correct if $|P−C|≤10^{-6}$.

Sample 1 Input

3
1 2 3

Sample 1 Output

0.5
The coach randomly chooses between the three burgers. With probability 1/3, he chooses his favourite burger (burger 1), and Josh gets to eat his favourite burger (burger 3). With probability 1/3, he chooses Josh's favourite burger, and Josh fails to eat his favourite burger. With probability 1/3, he chooses the second person's burger, there is a 1/2 chance that the second person chooses Josh's burger, denying Josh the pleasure of eating his favourite burger.

Sample 2 Input

7
1 2 3 1 1 2 3

Sample 2 Output

0.57142857

HINT

相同题目:CCC20s5

Source/Category