1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
#include <bits/stdc++.h>

using namespace std;

typedef long long ll;

int main() {
    ios_base::sync_with_stdio(0);
    cin.tie(0);
    int n,k;
    cin>>n>>k;
    //int tab[n];
    /*bool odw[n+1];
    fill_n(odw,n+1,0);
    ll akt = 0;
    int lp = 0;
    for(int i=0;i<n;i++) {
        int x;
        cin>>x;
        //tab[i] = x;
        // if(i>=k+lp)
            // continue;
        if(odw[x]) {
            if(i<k+lp)
                akt += i + 1;
            lp++;
        }
        else
            odw[x] = true;
    }
    //cout<<lp<<' '<<akt<<'\n';
    //cout<<akt<<'\n';
    if(k+lp > n) {
        cout<<-1<<'\n';
    }
    else {
        akt = (k+lp)*lp - akt - lp*(lp-1)/2;
        cout<<akt<<'\n';
    }
    return 0;*/
    bool tab[n];
    fill_n(tab,n,0);
    bool odw[n+1];
    fill_n(odw,n+1,0);
    int lp = 0;
    for(int i=0;i<n;i++) {
        int x;
        cin>>x;
        if(i>=k+lp)
            continue;
        if(odw[x]) {
            lp++;
            tab[i] = true;
        }
        else
            odw[x] = true;
    }
    if(k+lp > n) {
        cout<<"-1"<<'\n';
        return 0;
    }
    int wyn = 0, akt = 0;
    for(int i=0;i<n;i++) {
        if(tab[i]) {
            wyn += (k+lp) - (i+1+akt);
            akt++;
        }
    }
    cout<<wyn<<'\n';
}