747D. Winter Is Coming

从前到后找出连续两个负数的距离，然后贪心枚举一下，注意要特别判断最后的情况 因为不需要再换回去了

//cyc
#pragma GCC optimize("Ofast")
#pragma GCC target("avx,avx2,fma")
#pragma GCC optimization ("unroll-loops")
#include<bits/stdc++.h>
#define rep(i,a,n) for(int i=a;i<=n;i++)
#define per(i,a,n) for(int i=n;i>=a;i--)
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define mst(a) memset(a,0x3f3f3f3f,sizeof a)

using namespace std;
typedef pair<int,int> pii;
const int maxn=2e5+5;
int t[maxn];

int main()
{
    ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    int n,k;
    cin>>n>>k;

    int cnt=0;
    vector<int> dis;
    int prev=0;
    int ans=0;
    for(int i=1;i<=n;i++){
        cin>>t[i];
        if(t[i]<0){
            cnt++;
            dis.pb(i-prev-1);
            prev=i;
        }
    }
    if(prev)dis.pb(n-prev);
    if(cnt>k){
        cout<<-1<<endl;
        return 0;
    }
    if(cnt==0){
        cout<<0<<endl;
        return 0;
    }
    int p;
    k-=cnt;
    p=dis.size();
    ans=p*2-2;
    sort(dis.begin()+1,dis.end()-1);
   // for(int i=0;i<p;i++)cout<<dis[i]<<" ";
   // cout<<endl;
    for(int i=1;i<p-1;i++){
        //cout<<dis[i]<<endl;
        if(k>=dis[i]){
            k-=dis[i];
            ans-=2;
        }
        else break;
    }
    if(k>=dis[p-1]){
        ans--;
        k-=dis[p-1];
    }
    cout<<ans<<endl;
}