結果
| 問題 |
No.2806 Cornflake Man
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2024-07-12 22:17:20 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 3,983 bytes |
| コンパイル時間 | 3,440 ms |
| コンパイル使用メモリ | 272,148 KB |
| 実行使用メモリ | 23,008 KB |
| 最終ジャッジ日時 | 2024-07-12 22:17:30 |
| 合計ジャッジ時間 | 10,063 ms |
|
ジャッジサーバーID (参考情報) |
judge6 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | -- * 3 |
| other | TLE * 1 -- * 15 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
#include <atcoder/modint>
using namespace atcoder;
#ifdef DEFINED_ONLY_IN_LOCAL
#include <dump.hpp>
#define dump(...) cpp_dump(__VA_ARGS__)
#else
#undef dump
#define dump(...)
#endif
#define rep1(i, a) for (int i = 0; i < (int)(a); i++)
#define rep2(i, a, b) for (int i = (int)(a); i < (int)(b); i++)
#define rep3(i, a, b, c) for (int i = (int)(a); i < (int)(b); i += (int)(c))
#define overloadRep(a, b, c, d, e, ...) e
#define rep(...) overloadRep(__VA_ARGS__, rep3, rep2, rep1)(__VA_ARGS__)
#define rrep(i, a, b) for (int i = (int)(a); i <= (int)(b); i++)
#define drep(i, a, b) for (int i = (int)(a); i >= (int)(b); i--)
#define all(a) a.begin(), a.end()
#define rall(a) a.rbegin(), a.rend()
using ll = long long;
using ull = unsigned long long;
const int inf = 1e9;
const ll INF = 1e18;
const int dx[4] = {0, 1, 0, -1};
const int dy[4] = {1, 0, -1, 0};
const int ddx[8] = {1, 0, -1, 0, 1, -1, 1, -1};
const int ddy[8] = {0, 1, 0, -1, 1, -1, -1, 1};
struct cincout {
cincout() {
ios_base::sync_with_stdio(false);
cin.tie(nullptr);
cout << fixed << setprecision(15);
}
} init;
// chmax chmin
template <class T>
inline bool chmax(T &a, T b) {
if (a < b) {
a = b;
return true;
}
return false;
}
template <class T>
inline bool chmin(T &a, T b) {
if (a > b) {
a = b;
return true;
}
return false;
}
// pair
template <class T1, class T2>
istream &operator>>(istream &is, pair<T1, T2> &p) {
is >> p.first >> p.second;
return is;
}
template <class T1, class T2>
ostream &operator<<(ostream &os, const pair<T1, T2> &p) {
os << p.first << " " << p.second << '\n';
return os;
}
// vector
template <class T>
istream &operator>>(istream &is, vector<T> &v) {
for (T &in : v) {
is >> in;
}
return is;
}
template <class T>
ostream &operator<<(ostream &os, const vector<T> &v) {
rep(i, (int)v.size()) {
os << v[i] << " \n"[i + 1 == (int)v.size()];
}
return os;
}
template <class T>
istream &operator>>(istream &is, vector<vector<T>> &vv) {
for (vector<T> &v : vv) {
is >> v;
}
return is;
}
template <class T>
ostream &operator<<(ostream &os, vector<vector<T>> &vv) {
for (vector<T> &v : vv) {
os << v;
}
return os;
}
// bit
bool bit(ll x, int p) {
return (x >> p) & 1;
}
// grid out
bool out(int ni, int nj, int h, int w) {
return (ni < 0 or ni >= h or nj < 0 or nj >= w);
}
// popcount
int pc(ll x) {
return __builtin_popcountll(x);
}
// max(vector)
template <class T>
T max(vector<T> x) {
return *max_element(x.begin(), x.end());
}
vector<ll> enum_divisor(ll n) {
vector<ll> res;
for (int i = 1; (ll)i * i <= n; i++) {
if (n % i == 0) {
res.push_back(i);
ll j = n / i;
if (j != i) res.push_back(j);
}
}
sort(res.begin(), res.end());
return res;
}
vector<pair<ll, ll>> prime_factorize(ll n) {
vector<pair<ll, ll>> res;
for (int p = 2; (ll)p * p <= n; p++) {
if (n % p != 0) continue;
int num = 0;
while (n % p == 0) {
num++;
n /= p;
}
res.push_back(make_pair(p, num));
}
if (n != 1) res.push_back(make_pair(n, 1));
return res;
}
int main(){
int n,m;cin>>n>>m;
vector<int>a(n);cin>>a;
set<int>st;
int mx=min(max(a),(int)2e5);
vector<bool>p(mx+1);
for(int i=2;i<=mx;i++)if(!p[i]){
st.insert(i);
for(int j=i;j<=mx;j+=i)p[j]=true;
}
vector<int>ans;
unordered_set<int>cur(all(a));
for(int x:st){
int cnt=0;
rep(i,n)if(a[i]%x==0)cnt++;
int b=m/x+1;
if(cnt==b and cnt!=0){
ans.push_back(x);
rep(i,n)if(a[i]%x==0)cur.erase(a[i]);
}
}
if(cur.size()==0){
cout<<ans.size()<<endl;
cout<<ans;
}else{
cout<<-1<<endl;
}
return 0;
}