Jeff and Furik

题意翻译

Jeff 和 Furik 打算玩一个游戏。初始时给定长为 $n$($1 \le n \le 3, 000$)的排列 $p_i$。两人轮流执行操作,Jeff 是先手。 * Jeff 每次可以交换一对相邻的 $p_i, p_{i + 1}$。 * Furik 每次等概率地执行下面两种操作中的一种: 1. 等概率地选择一对相邻的 $p_i, p_{i + 1}$ 并且满足 $p_i \ge p_{i + 1}$,然后将其交换。 2. 等概率地选择一对相邻的 $p_i, p_{i + 1}$ 并且满足 $p_i \le p_{i + 1}$,然后将其交换。 如果有一种操作无法执行,那么 Furik 将执行另一种操作。 当且仅当 $p_i$ 单调升时游戏结束。Jeff 希望游戏尽早结束(即他希望两人执行的操作数尽量少)。假设 Jeff 足够聪明,请求出两人执行的操作数的期望值。

题目描述

Jeff has become friends with Furik. Now these two are going to play one quite amusing game. At the beginning of the game Jeff takes a piece of paper and writes down a permutation consisting of $ n $ numbers: $ p_{1} $ , $ p_{2} $ , $ ... $ , $ p_{n} $ . Then the guys take turns to make moves, Jeff moves first. During his move, Jeff chooses two adjacent permutation elements and then the boy swaps them. During his move, Furic tosses a coin and if the coin shows "heads" he chooses a random pair of adjacent elements with indexes $ i $ and $ i+1 $ , for which an inequality $ p_{i}>p_{i+1} $ holds, and swaps them. But if the coin shows "tails", Furik chooses a random pair of adjacent elements with indexes $ i $ and $ i+1 $ , for which the inequality $ p_{i}<p_{i+1} $ holds, and swaps them. If the coin shows "heads" or "tails" and Furik has multiple ways of adjacent pairs to take, then he uniformly takes one of the pairs. If Furik doesn't have any pair to take, he tosses a coin one more time. The game ends when the permutation is sorted in the increasing order. Jeff wants the game to finish as quickly as possible (that is, he wants both players to make as few moves as possible). Help Jeff find the minimum mathematical expectation of the number of moves in the game if he moves optimally well. You can consider that the coin shows the heads (or tails) with the probability of $ 50 $ percent.

输入输出格式

输入格式


The first line contains integer $ n $ $ (1<=n<=3000) $ . The next line contains $ n $ distinct integers $ p_{1} $ , $ p_{2} $ , $ ... $ , $ p_{n} $ $ (1<=p_{i}<=n) $ — the permutation $ p $ . The numbers are separated by spaces.

输出格式


In a single line print a single real value — the answer to the problem. The answer will be considered correct if the absolute or relative error doesn't exceed $ 10^{-6} $ .

输入输出样例

输入样例 #1

2
1 2

输出样例 #1

0.000000

输入样例 #2

5
3 5 2 4 1

输出样例 #2

13.000000

说明

In the first test the sequence is already sorted, so the answer is $ 0 $ .