結果

問題 No.3550 Another Rurumaru Function Problem
コンテスト
ユーザー zawakasu
提出日時 2026-05-22 23:13:05
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 27 ms / 2,000 ms
コード長 3,172 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,288 ms
コンパイル使用メモリ 207,552 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-05-22 23:13:16
合計ジャッジ時間 10,341 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge1_1
純コード判定待ち
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 41
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <iostream>
#include <iomanip>
#include <cassert>
#include <vector>
#include <algorithm>
#include <utility>
#include <numeric>
#include <tuple>
#include <ranges>
#include <random>
// #include "Src/Number/IntegerDivision.hpp"
// #include "Src/Utility/BinarySearch.hpp"
// #include "Src/Sequence/CompressedSequence.hpp"
// #include "Src/Sequence/RunLengthEncoding.hpp"
// #include "Src/Algebra/Group/AdditiveGroup.hpp"
// #include "Src/DataStructure/FenwickTree/FenwickTree.hpp"
// #include "Src/DataStructure/SegmentTree/SegmentTree.hpp"
// #include "Src/DataStructure/DisjointSetUnion/DisjointSetUnion.hpp"
// #include "Src/DataStructure/Heap/BinaryHeap.hpp"
namespace zawa {}
using namespace zawa;
// #include "atcoder/modint"
// using mint = atcoder::modint998244353;
// #include <array>
// #include <bit>
// #include <bitset>
// #include <climits>
// #include <cmath>
// #include <set>
// #include <unordered_set>
// #include <map>
// #include <unordered_map>
// #include <optional>
// #include <queue>
// #include <stack>
// #include <deque>
// #pragma GCC target("avx2")
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")
using namespace std;
template <class T, class U>
ostream& operator<<(ostream& os, const pair<T, U>& p) {
    os << '(' << p.first << ',' << p.second << ')';
    return os;
}
template <class T>
ostream& operator<<(ostream& os, const vector<T>& v) {
    for (int i = 0 ; i < ssize(v) ; i++)
        os << v[i] << (i + 1 == ssize(v) ? "" : " ");
    return os;
}
/*
 * OR..全部0はダメ
 * AND..全部1じゃないとダメ
 *
 * ANDはAから恒久的に削除するだけ。ORが寧ろむずい。
 * - ORは1つでも立っているのが存在するとok
 * - ANDの削除のときに過去のORが全部消える遷移を除外する。
 */
int main() {
    cin.tie(0);
    cout.tie(0);
    ios::sync_with_stdio(0);
    cout << fixed << setprecision(20);
#if !defined DEBUG
    int N;
    cin >> N;
    vector<int> A(N);
    for (auto& x : A)
        cin >> x;
    int ans = 0;
    for (int i = 29 ; i >= 0 ; i--) {
        if (i % 2) {
            bool fn = 0;
            for (int v : A)
                fn |= (v >> i) & 1;
            ans |= (int)fn << i;
        }
        else {
            vector<int> nxt;
            int OR = 0;
            for (int v : A)
                if ((v >> i) & 1) {
                    OR |= v;
                    nxt.push_back(v);
                }
            if (nxt.empty())
                continue;
            bool ok = 1;
            for (int j = i + 1 ; j < 30 ; j += 2)
                if ((ans >> j) & 1)
                    ok &= (OR >> j) & 1;
            if (ok) {
                ans |= 1 << i;
                A = move(nxt);
            }
        }
    }
    cout << ans << '\n';
#else
    mt19937_64 mt{random_device{}()};
    for (int testcase = 0 ; ; ) {
        cerr << "----------" << ++testcase << "----------" << endl;
        
        auto a = solve(), b = naive();
        if (a != b) {
            // print testcase

            cerr << "you: " << a << endl;
            cout << "correct: " << b << endl;
            exit(0);
        }
    }
#endif
}
0