結果
| 問題 | No.1463 Hungry Kanten | 
| コンテスト | |
| ユーザー |  むかで | 
| 提出日時 | 2021-04-02 21:52:33 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 1,097 ms / 2,000 ms | 
| コード長 | 2,843 bytes | 
| コンパイル時間 | 2,168 ms | 
| コンパイル使用メモリ | 211,124 KB | 
| 実行使用メモリ | 52,224 KB | 
| 最終ジャッジ日時 | 2025-06-20 01:32:57 | 
| 合計ジャッジ時間 | 6,815 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 24 | 
ソースコード
#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define FOR(i,n,m) for(int i=(int)(n); i<=(int)(m); i++)
#define RFOR(i,n,m) for(int i=(int)(n); i>=(int)(m); i--)
#define ITR(x,c) for(__typeof(c.begin()) x=c.begin();x!=c.end();x++)
#define RITR(x,c) for(__typeof(c.rbegin()) x=c.rbegin();x!=c.rend();x++)
#define setp(n) fixed << setprecision(n)
template<class T> bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T> bool chmin(T &a, const T &b) { if (a>b) { a=b; return 1; } return 0; }
#define ll long long
#define vll vector<ll>
#define vi vector<int>
#define pll pair<ll,ll>
#define pi pair<int,int>
#define all(a) (a.begin()),(a.end())
#define rall(a) (a.rbegin()),(a.rend())
#define fi first
#define se second
#define pb push_back
#define ins insert
#define debug(a) cerr<<(a)<<endl
#define dbrep(a,n) rep(_i,n) cerr<<(a[_i])<<" "; cerr<<endl
#define dbrep2(a,n,m) rep(_i,n){rep(_j,m) cerr<<(a[_i][_j])<<" "; cerr<<endl;}
using namespace std;
template<class A, class B>
ostream &operator<<(ostream &os, const pair<A,B> &p){return os<<"("<<p.fi<<","<<p.se<<")";}
template<class A, class B>
istream &operator>>(istream &is, pair<A,B> &p){return is>>p.fi>>p.se;}
//-------------------------------------------------
//--Sieve of Eratosthenes
//-------------------------------------------------
class Sieve
{
private:
    vector<int> minf;
public:
    Sieve(int n):minf(n+1){
        iota(minf.begin(),minf.end(),0);
        for(int i=2; i*i<=n; i++){
            if (minf[i]!=i) continue;
            for(int j=i*2; j<=n; j+=i){
                if (minf[j]==j) minf[j] = i;
            }
        }
    }
    using P = pair<int,int>;
    vector<P> factor(int N){
        vector<P> ret;
        while(N>1){
            int f = minf[N];
            int cnt = 0;
            while(minf[N]==f){
                N/=f;
                cnt++;
            }
            ret.emplace_back(f,cnt);
        }
        return ret;
    }
    bool operator[](int x){return minf[x]==x;}
};
//-------------------------------------------------
int main(void)
{
    cin.tie(0);
    ios::sync_with_stdio(false);
	Sieve sieve(18*1000);
	int N,K; cin>>N>>K;
	vi a(N);
	rep(i,N) cin>>a[i];
	set<vi> Set;
	rep(S,1<<N){
		int popcnt = __builtin_popcount(S);
		if (popcnt<K) continue;
		vi v;
		rep(i,N){
			if (S>>i&1){
				v.pb(a[i]);
			}
		}
		// sum
		ll sum=0;
		for(auto e:v) sum+=e;
		auto fs = sieve.factor(sum);
		vi tmp;
		for(auto f:fs){
			rep(j,f.se){
				tmp.pb(f.fi);
			}
		}
		sort(all(tmp));
		Set.ins(tmp);
		// mul
		tmp = vi();
		for(auto e:v){
			auto fs = sieve.factor(e);
			for(auto f:fs){
				rep(j,f.se){
					tmp.pb(f.fi);
				}
			}
		}
		sort(all(tmp));
		Set.ins(tmp);
	}
	// for(auto e:Set){
	// 	dbrep(e,e.size());	
	// }
	cout<<Set.size()<<"\n";
    return 0;
}
            
            
            
        