結果

問題 No.1228 I hate XOR Matching
ユーザー mugen_1337
提出日時 2020-09-12 19:58:10
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 29 ms / 2,000 ms
コード長 3,639 bytes
コンパイル時間 2,449 ms
コンパイル使用メモリ 198,104 KB
最終ジャッジ日時 2025-01-14 13:42:44
ジャッジサーバーID
（参考情報） 		judge1 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
#define ALL(x) x.begin(),x.end()
#define rep(i,n) for(int i=0;i<(n);i++)
#define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl;
#define mod 1000000007
using ll=long long;
const int INF=1000000000;
const ll LINF=1001002003004005006ll;
int dx[]={1,0,-1,0},dy[]={0,1,0,-1};
// ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}
template<class T>bool chmin(T &a,const T &b){if(b<a){a=b;return true;}return false;}
 
struct IOSetup{
    IOSetup(){
        cin.tie(0);
        ios::sync_with_stdio(0);
        cout<<fixed<<setprecision(12);
    }
} iosetup;

template<typename T1,typename T2>
ostream &operator<<(ostream &os,const pair<T1,T2>&p){
    os<<p.first<<" "<<p.second;
    return os;
}
 
template<typename T>
ostream &operator<<(ostream &os,const vector<T>&v){
    for(int i=0;i<(int)v.size();i++) os<<v[i]<<(i+1==(int)v.size()?"":" ");
    return os;
}

template<typename T1,typename T2>
istream &operator>>(istream &is,pair<T1,T2>&p){
    is>>p.first>>p.second;
    return is;
}

template<typename T>
istream &operator>>(istream &is,vector<T>&v){
    for(T &x:v)is>>x;
    return is;
}

// Aを変形してBにできるか <=> AとBの標準形が一致するか
struct BinaryBasis{
    vector<ll> basis;
    bool update;
    BinaryBasis():update(false){}
    // 基底に加える
    bool add(ll bit){
        for(auto &p:basis) bit=min(bit,bit^p);
        if(bit){
            basis.push_back(bit);
            return update=true;
        }
        else return false;
    }
    // bitを基底で表現できるか
    bool check(ll bit){
        for(auto &p:basis) bit=min(bit,bit^p);
        return bit==0;
    }
    // 掃き出して標準形に
    void normalize(){
        if(update){
            sort(begin(basis),end(basis));
            update=false;
        }
        for(int i=(int)basis.size()-1;i>=0;i--){
            for(int j=i-1;j>=0;j--) basis[i]=min(basis[i],basis[i]^basis[j]);
        }
    }
    bool operator==(BinaryBasis &a){
        normalize(),a.normalize();
        return basis==a.basis;
    }
    // 0-indexedでk番目を返す
    ll get_kth(ll k){
        if((1ll<<basis.size()<=k)) return -1;
        ll ret=0;
        if(update){
            sort(begin(basis),end(basis));
            update=false;
        }
        for(int i=(int)basis.size()-1;i>=0;i--){
            if(k<(1ll<<i)) ret=min(ret,ret^basis[i]);
            else{
                k-=1ll<<i;
                ret=max(ret,ret^basis[i]);
            }
        }
        return ret;
    }
 
    size_t size() const{
        return basis.size();
    }
};



signed main(){
    
    ll k,x;cin>>k>>x;

    if(x==0){
        cout<<"Yes"<<endl;
        cout<<1<<endl;
        for(int i=0;;i++)if(i!=k){
            cout<<i<<endl;
            return 0;
        }
    }

    int p;
    for(p=0;;p++){
        if(k==0){
            if((1ll<<p)-1==x) break;
            if((1ll<<p)-1>x){
                cout<<"No"<<endl;
                return 0;
            }
        }else{
            if((1ll<<p)==x) break;
            if((1ll<<p)>x){
                cout<<"No"<<endl;
                return 0;
            }
        }
    }

    BinaryBasis basis;
    vector<ll> res;
    if(k!=0){
        basis.add(k);
        res.push_back(k);
    }
    for(int i=1;p;i++)if(i!=k){
        res.push_back(i);
        if(!basis.add(i)) p--;
        if(p==0) break;
        res.push_back(i);
        if(!basis.add(i)) p--;
    }
    cout<<"Yes"<<endl;
    cout<<res.size()<<endl;
    cout<<res<<endl;
    return 0;
}
0