結果

問題 No.3244 Range Multiple of 8 Query
ユーザー shobonvip
提出日時 2025-08-22 22:02:15
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 3,334 bytes
コンパイル時間 5,468 ms
コンパイル使用メモリ 300,948 KB
実行使用メモリ 156,884 KB
最終ジャッジ日時 2025-08-22 22:02:44
合計ジャッジ時間 27,346 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 19 TLE * 2 -- * 19
権限があれば一括ダウンロードができます

ソースコード

diff # 

/**
	author:  shobonvip
	created: 2025.08.22 21:19:45
**/
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
#include<bits/stdc++.h>
using namespace std;

//* ATCODER
#include<atcoder/all>
using namespace atcoder;
typedef modint998244353 mint;
//*/

/* BOOST MULTIPRECISION
#include<boost/multiprecision/cpp_int.hpp>
using namespace boost::multiprecision;
//*/

typedef long long ll;

#define rep(i, s, n) for (int i = (int)(s); i < (int)(n); i++)
#define rrep(i, s, n) for (int i = (int)(n)-1; i >= (int)(s); i--)
#define all(v) v.begin(), v.end()

template <typename T> bool chmin(T &a, const T &b) {
	if (a <= b) return false;
	a = b;
	return true;
}

template <typename T> bool chmax(T &a, const T &b) {
	if (a >= b) return false;
	a = b;
	return true;
}

template <typename T> T max(vector<T> &a){
	assert(!a.empty());
	T ret = a[0];
	for (int i=0; i<(int)a.size(); i++) chmax(ret, a[i]);
	return ret;
}

template <typename T> T min(vector<T> &a){
	assert(!a.empty());
	T ret = a[0];
	for (int i=0; i<(int)a.size(); i++) chmin(ret, a[i]);
	return ret;
}

template <typename T> T sum(vector<T> &a){
	T ret = 0;
	for (int i=0; i<(int)a.size(); i++) ret += a[i];
	return ret;
}

struct S {
	int v1,v2,v3;
};

S e() {
	return {-1,-1,-1};
}
S op(S a, S b) {
	S ret = e();
	vector<int> tar;
	if((int)tar.size()<3&&b.v1>=0) tar.push_back(b.v1);
	if((int)tar.size()<3&&b.v2>=0) tar.push_back(b.v2);
	if((int)tar.size()<3&&b.v3>=0) tar.push_back(b.v3);
	if((int)tar.size()<3&&a.v1>=0) tar.push_back(a.v1);
	if((int)tar.size()<3&&a.v2>=0) tar.push_back(a.v2);
	if((int)tar.size()<3&&a.v3>=0) tar.push_back(a.v3);
	while((int)tar.size()<3) tar.push_back(-1);
	ret.v1=tar[0];
	ret.v2=tar[1];
	ret.v3=tar[2];
	return ret;
};


int main(){
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	
	int n,q;
	cin >> n >> q;
	string s; cin >> s;
	vector<int> a(n);
	rep(i,0,n) {
		a[i] = int(s[i] - '0');
	}

	vector<segtree<S,op,e>> segs(10,segtree<S,op,e>(0));
	vector<vector<S>> init(10,vector<S>(n,e()));
	rep(i,0,n){
		init[a[i]][i] = S{i, -1,-1};
	}
	rep(i,1,10) {
		segs[i] = segtree<S,op,e>(init[i]);
	}

	vector<vector<int>> good;
	for(int i=0;i<1000;i+=8){
		vector<int>a;
		int x=i;
		bool mode=1;
		rep(j,0,3){
			a.push_back(x%10);
			if(x%10==0)mode=0;
			x/=10;
		}
		if(!mode)continue;
		reverse(all(a));
		good.push_back(a);
		//cout<<i<<endl;
	}

	while(q--) {
		int l,r;cin>>l>>r;
		l--;
		if(r-l==1){
			if(a[l]==8)cout<<0<<'\n';
			else cout<<-1<<'\n';
			continue;
		}
		if(r-l==2){
			if((a[l]*10+a[l+1])%8==0)cout<<0<<'\n';
			else if((a[l+1]*10+a[l])%8==0)cout<<1<<'\n';
			else cout<<-1<<'\n';
			continue;
		}
		int ans=1e9;
		vector<S> vals(10);
		rep(i,1,10){
			vals[i]=segs[i].prod(l,r);
			assert(vals[i].v1>=vals[i].v2);
			assert(vals[i].v2>=vals[i].v3);
		}
		vector<int> pivs(10);
		rep(num,0,(int)good.size()){
			vector<int> gl(3);
			rrep(i,0,3){
				int x=good[num][i];
				pivs[x]++;
				if(pivs[x]==1)gl[i]=vals[x].v1;
				else if(pivs[x]==2)gl[i]=vals[x].v2;
				else if(pivs[x]==3)gl[i]=vals[x].v3;
			}
			rep(i,0,3){
				pivs[good[num][i]]--;
			}
			if(min(gl)==-1) {
				continue;
			}
			int tar=3*r-6-gl[0]-gl[1]-gl[2];
			if(gl[0]>gl[1])tar++;
			if(gl[0]>gl[2])tar++;
			if(gl[1]>gl[2])tar++;
			chmin(ans,tar);
		}
		if(ans==(int)1e9)cout<<-1<<'\n';
		else cout<<ans<<'\n';
	}
}
0