結果

問題 No.3249 AND
コンテスト
ユーザー ont
提出日時 2025-08-29 22:14:15
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
(最新)
AC  
(最初)
実行時間 -
コード長 3,149 bytes
コンパイル時間 4,698 ms
コンパイル使用メモリ 335,216 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-08-29 23:59:36
合計ジャッジ時間 6,289 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 20 WA * 1
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
using ull = unsigned long long;
template<typename T> using pq = priority_queue<T>;
template<typename T> using pq_g = priority_queue<T, vector<T>, greater<T>>;
using mint = modint998244353;
// using mint = modint1000000007;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define all(v) (v).begin(), (v).end()
#define rall(v) (v).rbegin(), (v).rend()
#define NP next_permutation
#define endl "\n"
#define debug(x) cerr << #x << " = " << (x) << endl
const int INF = 2e9;
const ll LINF = 2e18;
void Yes(bool a) {cout << (a ? "Yes" : "No") << endl;}
void YES(bool a) {cout << (a ? "YES" : "NO") << endl;}
void Possible(bool a) {cout << (a ? "Possible" : "Impossible") << endl;}
void POSSIBLE(bool a) {cout << (a ? "POSSIBLE" : "IMPOSSIBLE") << endl;}
ll modPow(ll a, ll n, ll mod = LINF) {ll ret = 1; ll x = a % mod; while (n) {if (n & 1) ret = ret * x % mod; x = x * x % mod; n >>= 1;} return ret;}
template<typename T> T floor(T a, T b) {return a / b - (a % b && (a ^ b) < 0);}
template<typename T> T ceil(T a, T b) {return floor(a + b - 1, b);}
template<typename T> void vcin(vector<T> &a) {rep(i, int(a.size())) cin >> a[i];}
template<typename T, typename K> void vcin(vector<T> &a, vector<K> &b) {rep(i, int(a.size())) cin >> a[i] >> b[i];}
template<typename T> void vcout(vector<T> &a) {rep(i, int(a.size())) {cout << a[i] << " ";} cout << endl;}
template<typename T> void vcin(vector<vector<T>> &a) {rep(i, int(a.size())) rep(j, (int)a[i].size()) cin >> a[i][j];}
template<typename T> void vcout(vector<vector<T>> &a) {rep(i, int(a.size())) {rep(j, int(a[i].size())) {cout << a[i][j] << " ";} cout << endl;} cout << endl;}
template<typename T> auto vmin(vector<T> &a) {return *min_element(all(a));}
template<typename T> auto vmax(vector<T> &a) {return *max_element(all(a));}
template<typename T> auto vsum(vector<T> a) {return accumulate(all(a), T(0));}
template<typename T> bool chmin(T &a, T b){if(a > b){a = b; return true;} return false;}
template<typename T> bool chmax(T &a, T b){if(a < b){a = b; return true;} return false;}

void cincout() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout << fixed << setprecision(15);
}
 
int main() {
    cincout();

    int n;
    cin >> n;
    vector<ll> b(n);
    vcin(b);

    vector<ll> ans(30, -1);

    auto set = [&](int x, int p) {
        if (ans[x] == -1 || ans[x] == p) {
            ans[x] = p;
            return true;
        }

        return false;
    };

    for (int i = 1; i <= n; i++) {
        for (int bit = 0; bit < 30; bit++) {
            bool ok = true;
            if ((b[i - 1] >> bit) & 1) {
                if ((i >> bit) & 1) ok = set(bit, 1);
                else ok = false;
            }

            else {
                if ((i >> bit) & 1) ok = set(bit, 0);
            }

            if (!ok) {
                cout << -1 << endl;
                return 0;
            }
        }
    }

    ll sum = 0;
    for (int i = 0; i < 30; i++) if (ans[i] == 1) sum += 1 << i;
    
    cout << sum << endl;
}
0