結果

問題 No.2442 線形写像
ユーザー maeshunmaeshun
提出日時 2023-08-25 21:56:07
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 95 ms / 2,000 ms
コード長 1,250 bytes
コンパイル時間 3,703 ms
コンパイル使用メモリ 229,816 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-12-25 08:01:33
合計ジャッジ時間 5,082 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
#define rep(i, n) for(int i=0;i<(n);++i)
#define rep1(i, n) for(int i=1;i<=(n);i++)
#define ll long long
using mint = modint998244353;
using P = pair<ll,ll>;
using lb = long double;
using T = tuple<ll, ll, ll>;
#ifdef LOCAL
#  include <debug_print.hpp>
#  define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#  define dbg(...) (static_cast<void>(0))
#endif

int main()
{
    int n;
    cin >> n;
    vector<unsigned ll> a(1<<n);
    rep(i,1<<n) cin >> a[i];
    if(a[0]!=0){
        cout << "No" << endl;
    }
    else{
        rep(k,n){
            unsigned ll m = 1;
            m = m<<k;
            rep(i,1<<n){
                int k = m^i;
                if(a[k]!=(a[m]^a[i])){
                    dbg(a[k], a[i], a[m]);
                    cout << "No" << endl;
                    return 0;
                }
            }
        }
        cout << "Yes" << endl;
    }
    // rep(i,1<<n)rep(j,1<<n){
    //     int k = i^j;
    //     if(a[k]!=(a[i]^a[j])){
    //         dbg(k, i, j);
    //         dbg(a[k], a[i], a[j]);
    //         cout << "No" << endl;
    //         return 0;
    //     }
    // }
    return 0;
}
0