Submission #658314

# Submission time Handle Problem Language Result Execution time Memory
658314 2022-11-12T19:28:25 Z inksamurai Toll (BOI17_toll) C++17
100 / 100
129 ms 48460 KB
#include <bits/stdc++.h>

// cut here
#ifdef _MSC_VER
#include <intrin.h>
#endif
 
namespace atcoder {
 
namespace internal {
 
int ceil_pow2(int n) {
    int x = 0;
    while ((1U << x) < (unsigned int)(n)) x++;
    return x;
}
 
int bsf(unsigned int n) {
#ifdef _MSC_VER
    unsigned long index;
    _BitScanForward(&index, n);
    return index;
#else
    return __builtin_ctz(n);
#endif
}
 
}  // namespace internal
 
}  // namespace atcoder
 
 
namespace atcoder {
 
template <class S, S (*op)(S, S), S (*e)()> struct segtree {
  public:
    segtree() : segtree(0) {}
    segtree(int n) : segtree(std::vector<S>(n, e())) {}
    segtree(const std::vector<S>& v) : _n(int(v.size())) {
        log = internal::ceil_pow2(_n);
        size = 1 << log;
        d = std::vector<S>(2 * size, e());
        for (int i = 0; i < _n; i++) d[size + i] = v[i];
        for (int i = size - 1; i >= 1; i--) {
            update(i);
        }
    }
 
    void set(int p, S x) {
        assert(0 <= p && p < _n);
        p += size;
        d[p] = x;
        for (int i = 1; i <= log; i++) update(p >> i);
    }
 
    S get(int p) {
        assert(0 <= p && p < _n);
        return d[p + size];
    }
 
    S prod(int l, int r) {
        assert(0 <= l && l <= r && r <= _n);
        S sml = e(), smr = e();
        l += size;
        r += size;
 
        while (l < r) {
            if (l & 1) sml = op(sml, d[l++]);
            if (r & 1) smr = op(d[--r], smr);
            l >>= 1;
            r >>= 1;
        }
        return op(sml, smr);
    }
 
    S all_prod() { return d[1]; }
 
    template <bool (*f)(S)> int max_right(int l) {
        return max_right(l, [](S x) { return f(x); });
    }
    template <class F> int max_right(int l, F f) {
        assert(0 <= l && l <= _n);
        assert(f(e()));
        if (l == _n) return _n;
        l += size;
        S sm = e();
        do {
            while (l % 2 == 0) l >>= 1;
            if (!f(op(sm, d[l]))) {
                while (l < size) {
                    l = (2 * l);
                    if (f(op(sm, d[l]))) {
                        sm = op(sm, d[l]);
                        l++;
                    }
                }
                return l - size;
            }
            sm = op(sm, d[l]);
            l++;
        } while ((l & -l) != l);
        return _n;
    }
 
    template <bool (*f)(S)> int min_left(int r) {
        return min_left(r, [](S x) { return f(x); });
    }
    template <class F> int min_left(int r, F f) {
        assert(0 <= r && r <= _n);
        assert(f(e()));
        if (r == 0) return 0;
        r += size;
        S sm = e();
        do {
            r--;
            while (r > 1 && (r % 2)) r >>= 1;
            if (!f(op(d[r], sm))) {
                while (r < size) {
                    r = (2 * r + 1);
                    if (f(op(d[r], sm))) {
                        sm = op(d[r], sm);
                        r--;
                    }
                }
                return r + 1 - size;
            }
            sm = op(d[r], sm);
        } while ((r & -r) != r);
        return 0;
    }
 
  private:
    int _n, size, log;
    std::vector<S> d;
 
    void update(int k) { d[k] = op(d[2 * k], d[2 * k + 1]); }
};
 
}  // namespace atcoder
// cut here 
#define int ll
using namespace std;
#define rep(i,n) for(int i=0;i<n;i++)
#define per(i,n) for(int i=n-1;i>=0;i--)
#define rng(i,c,n) for(int i=c;i<n;i++)
#define fi first
#define se second
#define pb push_back
#define sz(a) (int)a.size()
#define vec(...) vector<__VA_ARGS__>
#define _3TBjhXk ios::sync_with_stdio(0),cin.tie(0)
typedef long long ll;
using pii=pair<int,int>;
using vi=vector<int>;
void print(){cout<<'\n';}
template<class h,class...t>
void print(const h&v,const t&...u){cout<<v<<' ',print(u...);}

const int inf=1e10;

int k,n,m,q;
int es[50011][5][5];

struct dat{
	int frl,bkl; // front level, back level
	int res[5][5];
	dat(){
		rep(i,5){
			rep(j,5){
				res[i][j]=inf;
			}
		}
	}
	dat operator+(const dat&a)const{
		dat now;
		now.frl=frl;
		now.bkl=a.bkl;
		int frm=bkl;
		int to=a.frl;
		rep(j0,k){
			rep(j1,k){
				rep(j2,k){
					rep(j3,k){
						// j0 is l.frl
						// j1 and j2 should merge
						// j3 is r.bkr
						now.res[j0][j3]=min(now.res[j0][j3],res[j0][j1]+a.res[j2][j3]+es[bkl][j1][j2]);
					}
				}
			}
		}
		return now;
	}
};

dat op(const dat l,const dat r){
	if(l.bkl==-1) return r;
	if(r.frl==-1) return l;
	return l+r;
}
dat _e;
dat e(){
	return _e;
}

signed main(){
_3TBjhXk;
	cin>>k>>n>>m>>q;
	rep(i,n){
		rep(j0,k){
			rep(j1,k){
				es[i][j0][j1]=inf;
			}
		}
	}
	rep(j0,k){
		rep(j1,k){
			_e.bkl=-1;
			_e.frl=-1;
			_e.res[j0][j1]=inf;
		}
	}
	rep(i,m){
		int u,v,w;
		cin>>u>>v>>w;
		// print(u/k,u%k,v%k,w);
		es[(u/k)][u%k][v%k]=w;
	}
	atcoder::segtree<dat,op,e> seg(n/k+1);
	for(int i=0;i<n;i+=k){
		dat now;
		now.frl=i/k;
		now.bkl=i/k;
		for(int j=i;j<min(n,i+k);j++){
			now.res[j%k][j%k]=0;
		}
		seg.set(i/k,now);
	}
	rep(_,q){
		int u,v;
		cin>>u>>v;
		int ans=inf;
		if(u/k!=v/k){
			dat now=seg.prod(u/k,v/k+1);
			ans=now.res[u%k][v%k];
		}		
		print(ans==inf?-1:ans);
	}
}

Compilation message

toll.cpp: In member function 'dat dat::operator+(const dat&) const':
toll.cpp:178:7: warning: unused variable 'frm' [-Wunused-variable]
  178 |   int frm=bkl;
      |       ^~~
toll.cpp:179:7: warning: unused variable 'to' [-Wunused-variable]
  179 |   int to=a.frl;
      |       ^~
# Verdict Execution time Memory Grader output
1 Correct 94 ms 48460 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 2 ms 1108 KB Output is correct
6 Correct 2 ms 1108 KB Output is correct
7 Correct 2 ms 1108 KB Output is correct
8 Correct 95 ms 48372 KB Output is correct
9 Correct 92 ms 48372 KB Output is correct
10 Correct 79 ms 48340 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 71 ms 29132 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 1 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 6 ms 1108 KB Output is correct
8 Correct 7 ms 852 KB Output is correct
9 Correct 91 ms 48332 KB Output is correct
10 Correct 82 ms 27404 KB Output is correct
11 Correct 68 ms 29208 KB Output is correct
12 Correct 73 ms 27444 KB Output is correct
13 Correct 93 ms 10796 KB Output is correct
14 Correct 45 ms 15160 KB Output is correct
15 Correct 60 ms 10800 KB Output is correct
16 Correct 62 ms 10940 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 1 ms 212 KB Output is correct
6 Correct 1 ms 1108 KB Output is correct
7 Correct 2 ms 852 KB Output is correct
8 Correct 3 ms 596 KB Output is correct
9 Correct 2 ms 596 KB Output is correct
10 Correct 75 ms 48372 KB Output is correct
11 Correct 59 ms 29300 KB Output is correct
12 Correct 76 ms 27372 KB Output is correct
13 Correct 98 ms 27380 KB Output is correct
14 Correct 78 ms 27468 KB Output is correct
15 Correct 50 ms 10892 KB Output is correct
16 Correct 50 ms 11012 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 1 ms 212 KB Output is correct
6 Correct 1 ms 1108 KB Output is correct
7 Correct 2 ms 852 KB Output is correct
8 Correct 3 ms 596 KB Output is correct
9 Correct 2 ms 596 KB Output is correct
10 Correct 75 ms 48372 KB Output is correct
11 Correct 59 ms 29300 KB Output is correct
12 Correct 76 ms 27372 KB Output is correct
13 Correct 98 ms 27380 KB Output is correct
14 Correct 78 ms 27468 KB Output is correct
15 Correct 50 ms 10892 KB Output is correct
16 Correct 50 ms 11012 KB Output is correct
17 Correct 67 ms 29172 KB Output is correct
18 Correct 0 ms 212 KB Output is correct
19 Correct 1 ms 212 KB Output is correct
20 Correct 1 ms 212 KB Output is correct
21 Correct 0 ms 212 KB Output is correct
22 Correct 0 ms 212 KB Output is correct
23 Correct 4 ms 1108 KB Output is correct
24 Correct 5 ms 852 KB Output is correct
25 Correct 16 ms 704 KB Output is correct
26 Correct 9 ms 596 KB Output is correct
27 Correct 83 ms 48332 KB Output is correct
28 Correct 76 ms 27376 KB Output is correct
29 Correct 80 ms 27368 KB Output is correct
30 Correct 75 ms 27384 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 94 ms 48460 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 2 ms 1108 KB Output is correct
6 Correct 2 ms 1108 KB Output is correct
7 Correct 2 ms 1108 KB Output is correct
8 Correct 95 ms 48372 KB Output is correct
9 Correct 92 ms 48372 KB Output is correct
10 Correct 79 ms 48340 KB Output is correct
11 Correct 71 ms 29132 KB Output is correct
12 Correct 0 ms 212 KB Output is correct
13 Correct 0 ms 212 KB Output is correct
14 Correct 1 ms 212 KB Output is correct
15 Correct 0 ms 212 KB Output is correct
16 Correct 0 ms 212 KB Output is correct
17 Correct 6 ms 1108 KB Output is correct
18 Correct 7 ms 852 KB Output is correct
19 Correct 91 ms 48332 KB Output is correct
20 Correct 82 ms 27404 KB Output is correct
21 Correct 68 ms 29208 KB Output is correct
22 Correct 73 ms 27444 KB Output is correct
23 Correct 93 ms 10796 KB Output is correct
24 Correct 45 ms 15160 KB Output is correct
25 Correct 60 ms 10800 KB Output is correct
26 Correct 62 ms 10940 KB Output is correct
27 Correct 0 ms 212 KB Output is correct
28 Correct 0 ms 212 KB Output is correct
29 Correct 0 ms 212 KB Output is correct
30 Correct 0 ms 212 KB Output is correct
31 Correct 1 ms 212 KB Output is correct
32 Correct 1 ms 1108 KB Output is correct
33 Correct 2 ms 852 KB Output is correct
34 Correct 3 ms 596 KB Output is correct
35 Correct 2 ms 596 KB Output is correct
36 Correct 75 ms 48372 KB Output is correct
37 Correct 59 ms 29300 KB Output is correct
38 Correct 76 ms 27372 KB Output is correct
39 Correct 98 ms 27380 KB Output is correct
40 Correct 78 ms 27468 KB Output is correct
41 Correct 50 ms 10892 KB Output is correct
42 Correct 50 ms 11012 KB Output is correct
43 Correct 67 ms 29172 KB Output is correct
44 Correct 0 ms 212 KB Output is correct
45 Correct 1 ms 212 KB Output is correct
46 Correct 1 ms 212 KB Output is correct
47 Correct 0 ms 212 KB Output is correct
48 Correct 0 ms 212 KB Output is correct
49 Correct 4 ms 1108 KB Output is correct
50 Correct 5 ms 852 KB Output is correct
51 Correct 16 ms 704 KB Output is correct
52 Correct 9 ms 596 KB Output is correct
53 Correct 83 ms 48332 KB Output is correct
54 Correct 76 ms 27376 KB Output is correct
55 Correct 80 ms 27368 KB Output is correct
56 Correct 75 ms 27384 KB Output is correct
57 Correct 129 ms 19572 KB Output is correct
58 Correct 94 ms 48288 KB Output is correct
59 Correct 87 ms 29132 KB Output is correct