【分析】

一開始不會做，桶排然後存在數組裏強行枚舉能搞個90（還不錯？）。

其實正解就是桶排啦，不過是枚舉GCD後是再統計GCD倍數的個數，這樣的話可以在很小很小次數內得到正解（最壞情況大概是所有數互質？不過50w個互質的數應該也不太可能會在數據裏）。

【代碼】

 1 #include <bits/stdc++.h>
 2 using namespace std;
 3 
 4 int n, k, t, a[500050], b[500050], c[500050], maxx, tot, sum[500050];
 5 
 6 int main() {
 7     maxx=-0x7fffffff;
 8     cin >> n >> k;
 9     for (int i=1;i<=n;++i) {
10         scanf("%d", &a[i]);
11         maxx=max(maxx, a[i]);
 
12         b[a[i]]++;
13     }
14     for (int i=maxx;i;--i) {
15         tot=0;
16         for (int j=i;j<=maxx;j+=i)
17             tot+=b[j];
18         if (tot>=k) {
19             cout << k*i << endl;
20             return 0;
21         }
22     }
23 }

NOIp模擬2 最大公約數