結果
| 問題 |
No.983 Convolution
|
| コンテスト | |
| ユーザー |
ferin
|
| 提出日時 | 2020-02-11 16:22:28 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 21 ms / 2,000 ms |
| コード長 | 2,169 bytes |
| コンパイル時間 | 1,999 ms |
| コンパイル使用メモリ | 198,684 KB |
| 最終ジャッジ日時 | 2025-01-08 23:39:53 |
|
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 33 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using PII = pair<ll, ll>;
#define FOR(i, a, n) for (ll i = (ll)a; i < (ll)n; ++i)
#define REP(i, n) FOR(i, 0, n)
#define ALL(x) x.begin(), x.end()
template<typename T> void chmin(T &a, const T &b) { a = min(a, b); }
template<typename T> void chmax(T &a, const T &b) { a = max(a, b); }
struct FastIO {FastIO() { cin.tie(0); ios::sync_with_stdio(0); }}fastiofastio;
#ifdef DEBUG_
#include "../program_contest_library/memo/dump.hpp"
#else
#define dump(...)
#endif
const ll INF = 1LL<<60;
// a.size() は2べき
// upper: g(S) = \sum_{S \subseteq T} f(T)
// lower: g(S) = \sum_{T \subseteq S} f(T)
template<bool upper>
vector<ll> fzt(vector<ll> a) {
const int n = log2(a.size());
REP(i, n) REP(j, 1LL<<n) {
if(upper && !(j&1LL<<i)) a[j] += a[j|(1LL<<i)];
else if(!upper && (j&1LL<<i)) a[j] += a[j^(1LL<<i)];
}
return a;
}
// a.size() は2べき
// upper: f(S) = \sum_{S \subseteq T} (-1)^(|T\S|) g(T)
// lower: f(S) = \sum_{T \subseteq S} (-1)^(|T\S|) g(T)
template<bool upper>
vector<ll> fmt(vector<ll> a) {
const int n = log2(a.size());
REP(i, n) REP(j, 1LL<<n) {
if(upper && !(j&1LL<<i)) a[j] -= a[j|(1LL<<i)];
else if(!upper && (j&1LL<<i)) a[j] -= a[j^(1LL<<i)];
}
return a;
}
// a.size(),b.size() は2べき
// c_k = \sum_{k = i & j} a_ib_j
vector<ll> convAND(vector<ll> a, vector<ll> b) {
a = fzt<true>(a);
b = fzt<true>(b);
REP(i, a.size()) a[i] *= b[i];
return fmt<true>(a);
}
// a.size(),b.size() は2べき
// c_k = \sum_{k = i | j} a_ib_j
vector<ll> convOR(vector<ll> a, vector<ll> b) {
a = fzt<false>(a);
b = fzt<false>(b);
REP(i, a.size()) a[i] *= b[i];
return fmt<false>(a);
}
int main(void) {
ll n;
cin >> n;
vector<ll> a(n);
REP(i, n) {
cin >> a[i];
if(a[i]==-1) a[i] = 0;
}
if(n <= 20) {
auto v = convAND(a, a);
ll g = 0;
REP(i, n) g = gcd(g, v[i]);
cout << (g==0 ? -1 : g) << endl;
} else {
ll g = 0;
REP(i, n) g = gcd(g, a[i]);
cout << (g==0 ? -1 : g*g) << endl;
}
return 0;
}
ferin