CF2023C Trinity
一道很好的思維題，當然也是令我痛心疾首。
本來這場都不打算做，看了看C覺得很有思路，於是先交了一發，結果WA了，但是為時已晚，只能硬著頭皮把剩下的題交完，結果B題wa了五發，典中典之抽象王，直接扣回老家。
分析
顯然的是如果要判斷一個序列是否合法，只需要排序過後取兩個最小的看看是否大於最大的即可。
於是就有了一個用優先佇列（或者可以不用）的貪心，每次都和最大的那個比較，如果小於等於，那麼就把當前的這個變成最大的。
但是忽略了一個點，就在於不僅可以把小的變大，還可以把大的變小，那麼實際上每個位置的元素都可能是最後序列中的最小元素。
所以我們應該去列舉以誰作為最後的最小元素，例如：
1 2 3 4 5 6 7
列舉 1 ，1+2=3，說明 3 及其以後的數都不符合要求，那麼都應該變小為 2。
列舉 2, 2+3=5，說明5 及其以後的數都不符合要求，那麼都應該變成 4，另外還要把 1 變成 2.
列舉 3， 3+4=7 ，說明 7 及其以後得數都不符合要求，那麼都應該變成 6，另外還要把 1,2 變成3.
......
以此類推取最小值。
疑問
但是很自然的就會有一個疑惑：為什麼最小的一定是兩個相鄰的？不能是存在間隔的兩個嗎？
舉個例子 1 2 3 4 5 6 7 中的 2 5
如果以它們為最小值計算，那麼我們會以3的代價把1,3,4都變大，然後2+5=7。
考慮這個時候 5不動，4 5 是否要優於2 5？
答案是肯定的，我們會首先以同樣的3的代價把 1,2,3 變大，但這時可以得到 4+5=9，那麼我後面需要變小的數肯定不會變少，所以相鄰的一定是最優的。
Code
#include<bits/stdc++.h>
#define int long long
using namespace std;
template<typename T>inline void re(T &x)
{
x=0;int f=1;char c=getchar();
while(!isdigit(c)){if(c=='-')f=-1;c=getchar();}
while(isdigit(c)){x=(x<<1)+(x<<3)+(c^48);c=getchar();}
x*=f;
}
template<typename T>inline void wr(T x)
{
if(x<0)putchar('-'),x=-x;
if(x>9)wr(x/10);
putchar(x%10^48);
}
inline void out(int x){wr(x),putchar('\n');}
int n,m,T;
int a[200010];
signed main()
{
re(T);
while(T--)
{
re(n);
for(int i=1;i<=n;++i)
re(a[i]);
sort(a+1,a+n+1);
int ans=1e9+7;
for(int i=1;i<=n-2;++i)
{
int pos=lower_bound(a+1,a+n+1,a[i]+a[i+1])-a;
ans=min(ans,i+n-pos);
}
out(ans);
}
return 0;
}
/*
n -j+ i-1
*/
一定要根據資料範圍推演算法複雜度啊。