結果
| 問題 | No.941 商とあまり |
| ユーザー |
 pekempey
|
| 提出日時 | 2019-12-04 21:40:51 |
| 言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 3,407 bytes |
| コンパイル時間 | 2,258 ms |
| コンパイル使用メモリ | 189,940 KB |
| 実行使用メモリ | 21,648 KB |
| 最終ジャッジ日時 | 2024-05-08 08:33:55 |
| 合計ジャッジ時間 | 9,290 ms |
|
ジャッジサーバーID （参考情報） |
judge3 / judge5 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | TLE | - |
| testcase_01 | -- | - |
| testcase_02 | -- | - |
| testcase_03 | -- | - |
| testcase_04 | -- | - |
| testcase_05 | -- | - |
| testcase_06 | -- | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
| testcase_26 | -- | - |
| testcase_27 | -- | - |
| testcase_28 | -- | - |
| testcase_29 | -- | - |
| testcase_30 | -- | - |
| testcase_31 | -- | - |
| testcase_32 | -- | - |
| testcase_33 | -- | - |
| testcase_34 | -- | - |
| testcase_35 | -- | - |
| testcase_36 | -- | - |
| testcase_37 | -- | - |
| testcase_38 | -- | - |
| testcase_39 | -- | - |
| testcase_40 | -- | - |
| testcase_41 | -- | - |
| testcase_42 | -- | - |
| testcase_43 | -- | - |
| testcase_44 | -- | - |
| testcase_45 | -- | - |
| testcase_46 | -- | - |
| testcase_47 | -- | - |
| testcase_48 | -- | - |
| testcase_49 | -- | - |
| testcase_50 | -- | - |
| testcase_51 | -- | - |
| testcase_52 | -- | - |
| testcase_53 | -- | - |
| testcase_54 | -- | - |
| testcase_55 | -- | - |
| testcase_56 | -- | - |
| testcase_57 | -- | - |
| testcase_58 | -- | - |
| testcase_59 | -- | - |
| testcase_60 | -- | - |
| testcase_61 | -- | - |
| testcase_62 | -- | - |
| testcase_63 | -- | - |
| testcase_64 | -- | - |
| testcase_65 | -- | - |
| testcase_66 | -- | - |
| testcase_67 | -- | - |
| testcase_68 | -- | - |
| testcase_69 | -- | - |
| testcase_70 | -- | - |
| testcase_71 | -- | - |
| testcase_72 | -- | - |
| testcase_73 | -- | - |
| testcase_74 | -- | - |
| testcase_75 | -- | - |
| testcase_76 | -- | - |
| testcase_77 | -- | - |
| testcase_78 | -- | - |
| testcase_79 | -- | - |
| testcase_80 | -- | - |
| testcase_81 | -- | - |
| testcase_82 | -- | - |
| testcase_83 | -- | - |
| testcase_84 | -- | - |
| testcase_85 | -- | - |
| testcase_86 | -- | - |
| testcase_87 | -- | - |
| testcase_88 | -- | - |
| testcase_89 | -- | - |
| testcase_90 | -- | - |
| testcase_91 | -- | - |
| testcase_92 | -- | - |
| testcase_93 | -- | - |
| testcase_94 | -- | - |
| testcase_95 | -- | - |
| testcase_96 | -- | - |
| testcase_97 | -- | - |
| testcase_98 | -- | - |
| testcase_99 | -- | - |
| testcase_100 | -- | - |
| testcase_101 | -- | - |
| testcase_102 | -- | - |
| testcase_103 | -- | - |
| testcase_104 | -- | - |
| testcase_105 | -- | - |
| testcase_106 | -- | - |
| testcase_107 | -- | - |
| testcase_108 | -- | - |
| testcase_109 | -- | - |
ソースコード
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i, n) for (int i = 0; i < (n); i++)
#define repr(i, n) for (int i = (n) - 1; i >= 0; i--)
#define repe(i, l, r) for (int i = (l); i < (r); i++)
#define reper(i, l, r) for (int i = (r) - 1; i >= (l); i--)
#define repi(i, l, r) for (int i = (l); i <= (r); i++)
#define repir(i, l, r) for (int i = (r); i >= (l); i--)
#define range(a) a.begin(), a.end()
void initio() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); }
bool can[500001];
set< vector<ll> > st;
bitset<500001> dp[1 << 11];
bitset<500001> checked[1 << 11];
int N;
ll A[500010];
ll prod[1 << 11];
int root[1 << 11];
int cnt;
ll X;
clock_t beg;
bool dfs(int x, int u) {
u = root[u];
if (checked[u][x]) return dp[u][x];
cnt++;
checked[u][x] = true;
if (prod[u] - 1 > x) return dp[u][x] = false;
if ((u & u - 1) == 0) return dp[u][x] = prod[u] - 1 == x;
rep(i, N) if (u >> i & 1) {
if ((x - (prod[u] - 1)) % A[i] == 0) return dp[u][x] = true;
}
for (int i = (u - 1) & u; i != 0; i = (i - 1) & u) {
if (root[i] != i) continue;
int j = u ^ i;
for (int k = prod[j]; k <= x && prod[i] - 1 <= x / k; k++) if (x % k != 0) {
if (dfs(x % k, j) && dfs(x / k, i)) {
return dp[u][x] = true;
}
}
}
return dp[u][x] = false;
}
void dfs2(vector<ll> a) {
if (a.size() == 1) {
can[a[0]] = true;
return;
}
sort(range(a));
if (st.count(a)) return;
st.insert(a);
ll p = 1;
rep(i, a.size()) p *= a[i] + 1;
can[p - 1] = true;
rep(i, a.size()) repe(j, i + 1, a.size()) {
auto tmp = a;
ll x = a[i];
ll y = a[j];
tmp.erase(tmp.begin() + j);
tmp.erase(tmp.begin() + i);
ll pp = p;
pp /= x + 1;
pp /= y + 1;
set<ll> nxt;
for (ll t = y + 2; (x * t + y + 1) * pp - 1 <= X; t++) {
nxt.insert(x * t + y);
}
for (ll t = x + 2; (y * t + x + 1) * pp - 1 <= X; t++) {
nxt.insert(y * t + x);
}
for (ll t : nxt) {
tmp.push_back(t);
dfs2(tmp);
tmp.pop_back();
}
}
}
int main() {
beg = clock();
cin >> N >> X;
rep(i, N) cin >> A[i];
sort(A, A + N);
ll p = 1;
rep(i, N) {
p *= A[i] + 1;
if (p - 1 > X) {
cout << string(X, '0') << endl;
return 0;
}
}
ll g = 0;
rep(i, N) g = __gcd(g, A[i]);
if (count(A, A + N, 1) > 0 && N >= 2) {
string ans(X, '0');
for (int i = p - 1; i <= X; i++) {
ans[i - 1] = '1';
}
cout << ans << endl;
return 0;
}
if (p < 5000) {
dfs2(vector<ll>(A, A + N));
string ans(X, '0');
for (int i = 1; i <= X; i++) {
if (can[i]) ans[i - 1] = '1';
}
cout << ans << endl;
return 0;
}
rep(i, 1 << N) prod[i] = 1;
rep(i, 1 << N) rep(j, N) if (i >> j & 1) {
prod[i] *= A[j] + 1;
}
rep(i, 1 << N) {
vector<ll> a;
rep(j, N) if (i >> j & 1) a.push_back(A[j]);
int mask = 0;
int k = 0;
rep(j, N) {
if (k < a.size() && a[k] == A[j]) {
mask |= 1 << j;
k++;
}
}
root[i] = mask;
}
cerr << "here" << endl;
string ans(X, '0');
int cont = 0;
for (int i = p - 1; i <= X; i++) {
if ((i - (p - 1)) % g != 0) continue;
if (cont >= 100 || dfs(i, (1 << N) - 1)) {
ans[i - 1] = '1';
cont++;
} else {
cont = 0;
}
}
cout << ans << endl;
cerr << cnt << endl;
}