結果

問題 No.520 プロジェクトオイラーへの招待
ユーザー sigma425
提出日時 2017-09-14 02:50:01
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 165 ms / 4,000 ms
コード長 2,900 bytes
コンパイル時間 1,670 ms
コンパイル使用メモリ 159,348 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-11-07 21:07:40
合計ジャッジ時間 2,146 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 7
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rep1(i,n) for(int i=1;i<=(int)(n);i++)
#define all(c) c.begin(),c.end()
#define pb push_back
#define fs first
#define sc second
#define show(x) cout << #x << " = " << x << endl
#define chmin(x,y) x=min(x,y)
#define chmax(x,y) x=max(x,y)
using namespace std;
template<class S,class T> ostream& operator<<(ostream& o,const pair<S,T> &p){return o<<"("<<p.fs<<","<<p.sc<<")";}
template<class T> ostream& operator<<(ostream& o,const vector<T> &vc){o<<"sz = "<<vc.size()<<endl<<"[";for(const T& v:vc) o<<v<<",";o<<"]";return o;}
template<unsigned int mod_>
struct ModInt{
    using uint = unsigned int;
    using ll = long long;
    using ull = unsigned long long;
    constexpr static uint mod = mod_;
    uint v;
    ModInt():v(0){}
    ModInt(ll v):v(normS(v%mod+mod)){}
    explicit operator bool() const {return v!=0;}
    static uint normS(const uint &x){return (x<mod)?x:x-mod;}       // [0 , 2*mod-1] -> [0 , mod-1]
    static ModInt make(const uint &x){ModInt m; m.v=x; return m;}
    ModInt operator+(const ModInt& b) const { return make(normS(v+b.v));}
    ModInt operator-(const ModInt& b) const { return make(normS(v+mod-b.v));}
    ModInt operator-() const { return make(normS(mod-v)); }
    ModInt operator*(const ModInt& b) const { return make((ull)v*b.v%mod);}
    ModInt operator/(const ModInt& b) const { return *this*b.inv();}
    ModInt& operator+=(const ModInt& b){ return *this=*this+b;}
    ModInt& operator-=(const ModInt& b){ return *this=*this-b;}
    ModInt& operator*=(const ModInt& b){ return *this=*this*b;}
    ModInt& operator/=(const ModInt& b){ return *this=*this/b;}
    ll extgcd(ll a,ll b,ll &x,ll &y) const{
        ll u[]={a,1,0},v[]={b,0,1};
        while(*v){
            ll t=*u/ *v;
            rep(i,3) swap(u[i]-=t*v[i],v[i]);
        }
        if(u[0]<0) rep(i,3) u[i]=-u[i];
        x=u[1],y=u[2];
        return u[0];
    }
    ModInt inv() const{
        ll x,y;
        extgcd(v,mod,x,y);
        return make(normS(x+mod));
    }
    bool operator==(const ModInt& b) const { return v==b.v;}
    bool operator!=(const ModInt& b) const { return v!=b.v;}
    friend istream& operator>>(istream &o,ModInt& x){
        ll tmp;
        o>>tmp;
        x=ModInt(tmp);
        return o;
    }
    friend ostream& operator<<(ostream &o,const ModInt& x){ return o<<x.v;}
};
using mint = ModInt<1000000007>;
bool done[200][200];
mint memo[200][200];
mint solve(int a,int b,int c){
    if(a<b) swap(a,b);
    if(b<c) swap(b,c);
    if(a<b) swap(a,b);
    if(c<0){
        if(a==0) return 1;
        else return 0;
    }
    if(c==0){
        if(done[a][b]) return memo[a][b];
    }
    if(b==0) return 1;
    mint res = 0;
    rep(t,3){
        rep(i,b){
            res += solve(a-1,i,0) * solve(c,b-1-i,0);
        }
        int d = a;
        a = b;
        b = c;
        c = d;
    }
    if(c==0){
        done[a][b] = 1;
        return memo[a][b] = res;
    }
    rep(i,a) rep(j,b) rep(k,c){
        res += solve(i,c-1-k,0) * solve(j,a-1-i,0) * solve(k,b-1-j,0);
    }
    return res;
}
int main(){
    int T;
    cin>>T;
    rep(t,T){
        int a,b,c;
        cin>>a>>b>>c;
        cout<<solve(a,b,c)<<endl;
    }
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0