【题解：CF454B Little Pony and Sort by Shift】

题目描述

题目传送门

给定一个长度为 $n$ 的数组 $a$，每次可以将最后一个元素移动到第一个，问：至少需要几次操作，让序列从小到大排好序，若无解输出 $-1$。

---

算法1

(暴力枚举)

不难想到，将最后一个元素拼接在第一个元素之前，再把最后一个元素删去，判断一下是否有序即可。

时间复杂度 $O(n^2)$

C++ 代码

请读者自行实现

---

算法2

在算法一中，主要是枚举字串并判断的时间太长了，于是我们考虑优化一下：

假设当前枚举到了 $i$ 这个点，其前面的数组都是从小到大排好序的，所以前面的元素一定不会被拆分，于是考虑第 $i+1$ 个元素：

• 若 $a_i<a_{i+1}$：只要把 $i$ 指针往后移即可。
• 若 $a_i>a_{i+1}$：这种情况如果直接将其跳过肯定是不行的，所以一定得挪动 $i$ 后面的元素依次放到前面，而且后面的元素一定有序且最后一个元素不能大于第一个元素。

按照上面的分析，可以发现将最后一个元素移到最前边，实际上就是为了将满足 $a_{i-1}>a_i$ 的两个元素分离，成为合法的序列，但是如果有两组以上这样的元素，就无法满足题目要求了。

时间复杂度 $O(n)$

---

C++ 代码

#include <iostream>
using namespace std;

const int N = 100010;
int n;
int a[N];

int main() {
	cin >> n;
	for (int i = 1; i <= n; i++) cin >> a[i];
	
	a[0] = a[n];
	
	int cnt = 0, ans = -1;
	for (int i = 0; i <= n; i++)
		if (a[i-1] > a[i]) { // 统计逆序对
			cnt++;
			ans = n - i + 1;
		}
	ans %= n; // 如果ans > n，肯定也可以用ans % n来满足题目要求
	cout << (cnt > 1 ? -1 : ans) << endl;
	
	return 0;
}