Submission #967683

# Submission time Handle Problem Language Result Execution time Memory
967683 2024-04-22T15:56:13 Z anton L-triominoes (CEOI21_ltriominoes) C++17
28 / 100
1446 ms 860 KB
#include<bits/stdc++.h>
    
using namespace std;
#define int long long
#define pii pair<int, int>
const int W = (1<<6);
int w;
    
struct Mat{
    vector<vector<bool>> v;
    
    Mat(){
        v.resize(W, vector<bool>(W));
        for(int i = 0; i<W; i++){
            v[i][i] = true;
        }
    }
};
    
Mat prod(Mat a, Mat b){
    Mat res;
    for(int i = 0;i<W; i++){
        res.v[i][i] =false;
    }
    for(int i =0;i<W; i++){
        for(int j = 0; j<W; j++){
            for(int h = 0; h<W; h++){
                
                res.v[i][j] = res.v[i][j] || (a.v[i][h] && b.v[h][j]);
            }
        }
    }
    return res;
}
    
Mat from_set(int ks){
    Mat res;
    
    for(int i = 0; i<W; i++){
        res.v[i][i] =false;
    }
    for(int i =0; i<W; i++){
        if((i &ks)  == 0){
            res.v[i][i|ks] =true;
            //cout<<bitset<W>(i)<<" "<<bitset<W>(i|ks)<<endl;
        }
    }
    /*for(int i =0; i<W; i++){
        for(int j =0; j<W; j++){
            cout<<res.v[i][j]<<" ";
        }
        cout<<endl;
    }*/
    return res;
}
    
Mat pows[31];
void precalc_pows(){
    for(int i = 1; i<31; i++){
        pows[i] = prod(pows[i-1], pows[i-1]);
    }
}
    
Mat mpow(int v){
    Mat res;
    for(int i = 0; i<31; i++){
        if(v & (1LL<<i)){
            res = prod(res, pows[i]);
        }
    }
    
    return res;
}
    
vector<Mat> Matrices;
map<int, bitset<W>> obstacles;
    
vector<bitset<W>> aviable;
vector<bool> found;
bitset<W> all_aviable(bitset<W> lh, bitset<W> rh){
    
    int id = lh.to_ullong() + rh.to_ullong() * W;
    if(found[id]){
        return aviable[id];
    } 
    found[id] = true;
    
    //cout<<lh<<" "<<rh<<endl;
    for(int i = 0; i<w-1; i++){
        
        if((!lh[i]) && (!rh[i+1])){
            //cout<<"possible "<<i<<endl;
            lh.set(i);
            rh.set(i+1);
            if(!rh[i]){
                rh.set(i);
                aviable[id] |= all_aviable(lh, rh);
                rh.reset(i);
            }
            if(!lh[i+1]){
                lh.set(i+1);
                aviable[id]|= all_aviable(lh, rh);
                lh.reset(i+1);
            }
            lh.reset(i);
            rh.reset(i+1);
        }
    
        if((!lh[i+1]) && (!rh[i])){
            rh.set(i);
            lh.set(i+1);
            if(!lh[i]){
                lh.set(i);
                aviable[id] |= all_aviable(lh, rh);
                lh.reset(i);
            }
            if(!rh[i+1]){
                rh.set(i+1);
                aviable[id]|= all_aviable(lh, rh);
                rh.reset(i+1);
            }
            rh.reset(i);
            lh.reset(i+1);
        }
    }
    return aviable[id];
}
    
vector<bitset<W>> interest;
signed main(){
    cin.tie(NULL);
    ios_base::sync_with_stdio(false);
    int h, k;
    cin>>w>>h>>k;

    if(w>6){
        if((w*k)%3 != 0){
            cout<<"NO"<<endl;
        }
        else{
            cout<<"YES"<<endl;
        }
    }

    
    aviable.resize(W*W);
    found.resize(W*W);
    
    bitset<W> lh;
    for(int i = 0; i<w; i++){
        lh.set(i);
    }
    for(int rh = 0; rh<W; rh++){
        
        int id = lh.to_ullong() + rh*W;
        aviable[id].set(rh);
        found[id] =true;
    }
    
    Mat transition;
    for(int lhi = 0; lhi<W; lhi++){
        interest.push_back(all_aviable(bitset<W>(lhi), bitset<W>(0)));
        for(int rh = 0; rh<W; rh++){
            transition.v[lhi][rh] = interest[lhi][rh];
        }
    }
    
    pows[0] = transition;
    precalc_pows();
    
    
    for(int i = 0; i<k; i++){
        int a, b;
        cin>>a>>b;
        a--;
        b--;
        obstacles[b].set(a);
    }
    if(obstacles.find(h-1) == obstacles.end()){
        obstacles[h-1] = bitset<W>(0);
    }
    
    Mat res;
    int cur_id = 0;
    for(auto e: obstacles){
        res = prod(res, mpow(e.first-cur_id));
        cur_id = e.first;
        res = prod(res, from_set(e.second.to_ullong()));
    }
    if(res.v[0][(1<<w)-1]){
        cout<<"YES"<<endl;
    }
    else{
        cout<<"NO"<<endl;
    }
}
# Verdict Execution time Memory Grader output
1 Correct 17 ms 856 KB Output is correct
2 Correct 24 ms 600 KB Output is correct
3 Correct 18 ms 604 KB Output is correct
4 Correct 218 ms 604 KB Output is correct
5 Correct 199 ms 852 KB Output is correct
6 Correct 249 ms 636 KB Output is correct
7 Runtime error 1 ms 856 KB Execution killed with signal 11
8 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Runtime error 1 ms 860 KB Execution killed with signal 11
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 46 ms 604 KB Output is correct
2 Correct 18 ms 604 KB Output is correct
3 Correct 18 ms 600 KB Output is correct
4 Correct 32 ms 632 KB Output is correct
5 Correct 26 ms 600 KB Output is correct
6 Correct 24 ms 604 KB Output is correct
7 Correct 19 ms 604 KB Output is correct
8 Correct 28 ms 604 KB Output is correct
9 Correct 72 ms 604 KB Output is correct
10 Correct 30 ms 600 KB Output is correct
11 Correct 249 ms 632 KB Output is correct
12 Correct 28 ms 600 KB Output is correct
13 Correct 26 ms 604 KB Output is correct
14 Correct 120 ms 632 KB Output is correct
15 Correct 57 ms 604 KB Output is correct
16 Correct 112 ms 632 KB Output is correct
17 Correct 861 ms 648 KB Output is correct
18 Correct 47 ms 640 KB Output is correct
19 Correct 17 ms 604 KB Output is correct
20 Correct 898 ms 644 KB Output is correct
21 Correct 17 ms 604 KB Output is correct
22 Correct 25 ms 604 KB Output is correct
23 Correct 33 ms 604 KB Output is correct
24 Correct 18 ms 604 KB Output is correct
25 Correct 84 ms 644 KB Output is correct
26 Correct 492 ms 636 KB Output is correct
27 Correct 30 ms 604 KB Output is correct
28 Correct 19 ms 600 KB Output is correct
29 Correct 21 ms 604 KB Output is correct
30 Correct 1121 ms 648 KB Output is correct
31 Correct 1036 ms 852 KB Output is correct
32 Correct 47 ms 604 KB Output is correct
33 Correct 1004 ms 860 KB Output is correct
34 Correct 1091 ms 604 KB Output is correct
35 Correct 1100 ms 644 KB Output is correct
36 Correct 362 ms 604 KB Output is correct
37 Correct 1092 ms 856 KB Output is correct
38 Correct 788 ms 640 KB Output is correct
39 Correct 722 ms 604 KB Output is correct
40 Correct 802 ms 640 KB Output is correct
41 Correct 664 ms 644 KB Output is correct
42 Correct 360 ms 852 KB Output is correct
43 Correct 440 ms 600 KB Output is correct
44 Correct 297 ms 604 KB Output is correct
45 Correct 445 ms 604 KB Output is correct
46 Correct 284 ms 656 KB Output is correct
47 Correct 359 ms 652 KB Output is correct
48 Correct 270 ms 604 KB Output is correct
49 Correct 274 ms 604 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 178 ms 640 KB Output is correct
2 Correct 175 ms 636 KB Output is correct
3 Correct 981 ms 848 KB Output is correct
4 Correct 19 ms 600 KB Output is correct
5 Correct 19 ms 648 KB Output is correct
6 Correct 25 ms 652 KB Output is correct
7 Correct 19 ms 604 KB Output is correct
8 Correct 21 ms 604 KB Output is correct
9 Correct 32 ms 652 KB Output is correct
10 Correct 1166 ms 648 KB Output is correct
11 Correct 1224 ms 648 KB Output is correct
12 Correct 1446 ms 648 KB Output is correct
13 Correct 1154 ms 652 KB Output is correct
14 Correct 1050 ms 652 KB Output is correct
15 Correct 1104 ms 648 KB Output is correct
16 Correct 967 ms 644 KB Output is correct
17 Correct 1044 ms 652 KB Output is correct
18 Correct 1063 ms 648 KB Output is correct
19 Correct 853 ms 644 KB Output is correct
20 Correct 461 ms 644 KB Output is correct
21 Correct 371 ms 640 KB Output is correct
22 Correct 380 ms 640 KB Output is correct
23 Correct 723 ms 644 KB Output is correct
24 Correct 1004 ms 856 KB Output is correct
25 Correct 963 ms 656 KB Output is correct
26 Correct 985 ms 648 KB Output is correct
27 Correct 865 ms 652 KB Output is correct
28 Correct 331 ms 604 KB Output is correct
29 Correct 798 ms 644 KB Output is correct
30 Correct 349 ms 640 KB Output is correct
31 Correct 1046 ms 852 KB Output is correct
32 Correct 956 ms 656 KB Output is correct
33 Correct 953 ms 644 KB Output is correct
34 Correct 231 ms 644 KB Output is correct
35 Correct 301 ms 644 KB Output is correct
36 Correct 374 ms 644 KB Output is correct
37 Correct 337 ms 644 KB Output is correct
# Verdict Execution time Memory Grader output
1 Runtime error 1 ms 860 KB Execution killed with signal 11
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 17 ms 856 KB Output is correct
2 Correct 24 ms 600 KB Output is correct
3 Correct 18 ms 604 KB Output is correct
4 Correct 218 ms 604 KB Output is correct
5 Correct 199 ms 852 KB Output is correct
6 Correct 249 ms 636 KB Output is correct
7 Runtime error 1 ms 856 KB Execution killed with signal 11
8 Halted 0 ms 0 KB -