結果

問題 No.2168 双頭ヒドラゲーム
コンテスト
ユーザー hotman78
提出日時 2022-12-20 16:35:30
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,640 bytes
コンパイル時間 2,477 ms
コンパイル使用メモリ 217,564 KB
最終ジャッジ日時 2025-02-09 17:22:10
ジャッジサーバーID
（参考情報） 		judge2 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 16 WA * 8
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=(a);i<(b);++i)
#define all(n) (n).begin(),(n).end()

// カントールの標準形に直す
struct tree{
    vector<tree>v;
    tree(){
    }
    tree operator+(const tree& b){
        tree res;
        for(auto c:v){
            if(!b.v.empty()&&c<b.v[0])break;
            res.v.emplace_back(c);
        }
        for(auto c:b.v){
            res.v.emplace_back(c);
        }
        sort(res.v.begin(),res.v.end());
        reverse(res.v.begin(),res.v.end());
        return res;
    }
    // tree mul_omega()const{
    //     if(v.size()==0){
    //         return tree();
    //     }
    //     tree res=*this;
    //     tree one;
    //     one.v.emplace_back(tree());
    //     reverse(res.v.begin(),res.v.end());
    //     while(res.v.size()>=2&&res.v[res.v.size()-2]==res.v[res.v.size()-1]){
    //         res.v.erase(res.v.end()-2);
    //     }
    //     reverse(res.v.begin(),res.v.end());
    //     res.v[0]=move(res.v[0])+one;
    //     return res;
    // }
    // 左からかける
    tree mul_omega()const{
        tree res=*this;
        tree one;
        one.v.emplace_back(tree());
        for(auto& c:res.v){
            c=one+move(c);
        }
        return res;
    }
    void print(string s=""){
        for(auto e:v){
            cerr<<s+"-"<<endl;
            e.print(s+"    ");
        }
    }
    bool operator==(const tree&b)const{
        return v==b.v;
    }
    bool operator<(const tree&b)const{
        return v<b.v;
    }
};

// (a|b)=omega^(omega a)+omega b ?

tree string_to_tree(string s,bool b=0){
    if(s=="")return tree();
    assert(s[0]=='(');
    int idx=1,idx2=1,val=0;
    tree ch[2]={};
    bool right=0;
    while(1){
        if(val==0&&s[idx2]=='|'){
            right=1;
            idx=idx2+1;
            idx2=idx;
            continue;
        }
        if(s[idx2]=='(')val++;
        if(val==0&&s[idx2]==')'){
            break;
        }
        if(s[idx2]==')')val--;
        if(val==0){
            // cerr<<s.substr(idx,idx2-idx+1)<<endl;
            ch[right]=string_to_tree(s.substr(idx,idx2-idx+1),1)+move(ch[right]);
            idx=idx2+1;
        }
        idx2++;
    }
    if(b==0){
        return ch[1];
    }else{
        auto rtree=ch[1].mul_omega();
        auto ltree=tree();
        ltree.v.emplace_back(ch[0].mul_omega());
        return rtree+ltree;
    }
}
int main(){
    string s;
    string t;
    cin>>s>>t;
    s="(|"+s+")";
    t="(|"+t+")";
    auto ts=string_to_tree(s);
    auto tt=string_to_tree(t);
    // ts.print();
    // tt.print();
    cout<<(tt<ts?0:1)<<endl;
}
0