oj.uz

Submission #527659

# Submission time Handle Problem Language Result Execution time Memory
527659 2022-02-17T22:57:59 Z zaneyu Šarenlist (COCI22_sarenlist) C++14
20 / 110
 6 ms 384 KB 
/*input
4 3 3
1 2
2 3
4 2
1 4
1 3
4 3
*/ 
#include<bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace std;
using namespace __gnu_pbds;

//#pragma GCC optimize("unroll-loops,no-stack-protector")
//order_of_key #of elements less than x
// find_by_order kth element
using ll = long long;
using ld = long double;
using pii = pair<ll,ll>;
typedef tree<int, null_type, less<int>, rb_tree_tag, tree_order_statistics_node_update> indexed_set;
#define f first
#define s second
#define pb push_back
#define REP(i,n) for(int i=0;i<n;i++)
#define REP1(i,n) for(int i=1;i<=n;i++)
#define FILL(n,x) memset(n,x,sizeof(n))
#define ALL(_a) _a.begin(),_a.end()
#define sz(x) (int)x.size()
#define SORT_UNIQUE(c) (sort(c.begin(),c.end()), c.resize(distance(c.begin(),unique(c.begin(),c.end()))))
#define MP make_pair
const ll INF64=4e17;
const int INF=0x3f3f3f3f;
const ll MOD=1e9+7;
const ld PI=acos(-1);
const ld eps=1e-9;
#define lowb(x) x&(-x)
#define MNTO(x,y) x=min(x,(__typeof__(x))y)
#define MXTO(x,y) x=max(x,(__typeof__(x))y)
template<typename T1,typename T2>
ostream& operator<<(ostream& out,pair<T1,T2> P){
    out<<P.f<<' '<<P.s;
    return out;
}
template<typename T>
ostream& operator<<(ostream& out,vector<T> V){
    REP(i,sz(V)) out<<V[i]+1<<((i!=sz(V)-1)?" ":"");
    return out;
}
ll mult(ll a,ll b){
    return ((a%MOD)*(b%MOD))%MOD;
}
ll mypow(ll a,ll b){
    if(b<=0) return 1;
    ll res=1LL;
    while(b){
        if(b&1) res=mult(res,a);
        a=mult(a,a);
        b>>=1;
    }
    return res;
}
const int maxn=1e3+5;
ll msk[maxn],mskk[maxn];
vector<pii> v[maxn];
vector<pii> pth;
int b;
int par[maxn];
int find(int u){
    if(par[u]==u) return u;
    return par[u]=find(par[u]);
}
void merge(int a,int b){
    a=find(a),b=find(b);
    if(a==b) return;
    mskk[b]|=mskk[a];
    par[a]=b;
}
ll dfs(int u,int p){
    if(u==b) return 0;
    for(auto x:v[u]){
        if(x.f==p) continue;
        ll z=dfs(x.f,u);
        if(z!=-1){
            return z|(1<<x.s);
        }
    }
    return -1;
}
int main(){
    int n,m,k;
    cin>>n>>m>>k;
    REP(i,n-1){
        int a,b;
        cin>>a>>b;
        --a,--b;
        v[a].pb({b,i}),v[b].pb({a,i});
    }
    REP(i,m){
        int a;
        cin>>a>>b;
        --a,--b;
        msk[i]=dfs(a,-1);
    }
    int ans=0;
    REP(i,(1<<m)){
        vector<int> vv;
        REP(j,m){
            if(i&(1<<j)){
                vv.pb(j);
            }
        }
        REP(i,m) par[i]=i,mskk[i]=msk[i];
        for(int a:vv){
            for(int b:vv){
                if(a>=b) continue;
                if(msk[a]&msk[b]){
                    merge(a,b);
                }
            }
        }
        int cnt=n-1;
        REP(j,m){
            if(find(j)!=j or !(i&(1<<j))) continue; 
            cnt-=__builtin_popcount(mskk[j]);
            cnt++;
        }
        int z=mypow(k,cnt);
        if(__builtin_popcount(i)%2) ans+=(MOD-z);
        else ans+=z;
        ans%=MOD;
    }
    cout<<ans<<'\n';
}

Subtask #1
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 0 ms 332 KB Output is correct
2 Correct 1 ms 320 KB Output is correct
3 Correct 1 ms 204 KB Output is correct
4 Correct 1 ms 332 KB Output is correct
5 Correct 0 ms 332 KB Output is correct
6 Correct 0 ms 332 KB Output is correct

Subtask #2
0 / 15.0

# Verdict Execution time Memory Grader output
1 Correct 0 ms 324 KB Output is correct
2 Correct 0 ms 324 KB Output is correct
3 Correct 1 ms 204 KB Output is correct
4 Incorrect 1 ms 320 KB Output isn't correct
5 Halted 0 ms 0 KB -

Subtask #3
0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 204 KB Output is correct
2 Correct 0 ms 204 KB Output is correct
3 Correct 1 ms 324 KB Output is correct
4 Correct 1 ms 320 KB Output is correct
5 Incorrect 2 ms 332 KB Output isn't correct
6 Halted 0 ms 0 KB -

Subtask #4
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 304 KB Output is correct
2 Correct 1 ms 324 KB Output is correct
3 Correct 1 ms 204 KB Output is correct
4 Correct 1 ms 384 KB Output is correct
5 Correct 6 ms 332 KB Output is correct
6 Correct 5 ms 328 KB Output is correct
7 Correct 1 ms 332 KB Output is correct

Subtask #5
0 / 65.0

# Verdict Execution time Memory Grader output
1 Correct 0 ms 332 KB Output is correct
2 Correct 1 ms 320 KB Output is correct
3 Correct 1 ms 204 KB Output is correct
4 Correct 1 ms 332 KB Output is correct
5 Correct 0 ms 332 KB Output is correct
6 Correct 0 ms 332 KB Output is correct
7 Correct 0 ms 324 KB Output is correct
8 Correct 0 ms 324 KB Output is correct
9 Correct 1 ms 204 KB Output is correct
10 Incorrect 1 ms 320 KB Output isn't correct
11 Halted 0 ms 0 KB -