CF1375E.Inversion SwapSort

Madeline has an array $a$ of $n$ integers. A pair $(u, v)$ of integers forms an inversion in $a$ if:

• $1 \le u \lt v \le n$.
• $a_u \gt a_v$.

Madeline recently found a magical paper, which allows her to write two indices $u$ and $v$ and swap the values $a_u$ and $a_v$. Being bored, she decided to write a list of pairs $(u_i, v_i)$ with the following conditions:

• all the pairs in the list are distinct and form an inversion in $a$.
• all the pairs that form an inversion in $a$ are in the list.
• Starting from the given array, if you swap the values at indices $u_1$ and $v_1$, then the values at indices $u_2$ and $v_2$ and so on, then after all pairs are processed, the array $a$ will be sorted in non-decreasing order.

Construct such a list or determine that no such list exists. If there are multiple possible answers, you may find any of them.

玛德琳有一个包含 $n$ 个整数的数组 $a$。若整数对 $(u, v)$ 满足以下条件，则称其为数组 $a$ 中的一个逆序对：

• $1 \le u \lt v \le n$；
• $a_u \gt a_v$。

最近，玛德琳发现了一张神奇的纸，她可以在纸上写下两个下标 $u$ 和 $v$，从而交换 $a_u$ 和 $a_v$ 的值。出于无聊，她决定写下一份整数对列表 $(u_i, v_i)$，该列表需满足以下条件：

• 列表中所有整数对互不相同，且每个整数对均为 $a$ 中的一个逆序对；
• $a$ 中所有逆序对均出现在该列表中；
• 从给定的初始数组出发，依次执行交换操作：先交换下标 $u_1$ 和 $v_1$ 处的值，再交换下标 $u_2$ 和 $v_2$ 处的值，依此类推；当列表中所有整数对均处理完毕后，数组 $a$ 将变为非递减有序（即升序）。

请构造出满足上述条件的列表；若不存在这样的列表，请判定其不存在。若存在多个可行解，输出任意一个即可。

The first line of the input contains a single integer $n$ ($1 \le n \le 1000$) — the length of the array.

Next line contains $n$ integers $a_1,a_2,...,a_n$ $(1 \le a_i \le 10^9)$ — elements of the array.

输入的第一行包含一个整数 $n$（$1 \le n \le 1000$）—— 表示数组的长度。

第二行包含 $n$ 个整数 $a_1,a_2,...,a_n$（$1 \le a_i \le 10^9$）—— 表示数组的元素。

Print -1 if no such list exists. Otherwise in the first line you should print a single integer $m$ ($0 \le m \le \dfrac{n(n-1)}{2}$) — number of pairs in the list.

The $i$-th of the following $m$ lines should contain two integers $u_i, v_i$ ($1 \le u_i \lt v_i\le n$).

If there are multiple possible answers, you may find any of them.

如果不存在这样的列表，则输出 $-1$。否则，在第一行输出一个整数 $m$（$0 \le m \le \dfrac{n(n-1)}{2}$），表示列表中数对的个数。

接下来的 $m$ 行中，第 $i$ 行应包含两个整数 $u_i, v_i$（$1 \le u_i \lt v_i \le n$）。

如果存在多个可能的答案，输出任意一个即可。

In the first sample test case the array will change in this order $[3,1,2] \rightarrow [2,1,3] \rightarrow [1,2,3]$.

In the second sample test case it will be $[1,8,1,6] \rightarrow [1,6,1,8] \rightarrow [1,1,6,8]$.

In the third sample test case the array is already sorted.

在第一个样例测试用例中，数组的变化顺序为 $[3,1,2] \rightarrow [2,1,3] \rightarrow [1,2,3]$。

在第二个样例测试用例中，数组的变化顺序为 $[1,8,1,6] \rightarrow [1,6,1,8] \rightarrow [1,1,6,8]$。

在第三个样例测试用例中，数组已经排好序。