#include #include using namespace atcoder; #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") using namespace std; using ll=long long; using ld=long double; using ull=unsigned long long; using i128 = __int128_t; #define vs vector #define rep(i,n) for(ll i=0;i=0;i--) #define rep3(i,a,b) for(ll i=a;i<=ll(b);i++) #define rep4(i,a,b) for(ll i=a;i>=ll(b);i--) #define forv(i,V) for(const auto& i:V) #define all(x) x.begin(),x.end() #define fi first #define se second #define SIZE(x) int(x.size()) constexpr ll mod=998244353; //constexpr ll mod=1000000007; #define pi 3.14159265358979323 #define INF32 2147483647 #define INF64 9223372036854775807 #define faster ios::sync_with_stdio(false);std::cin.tie(nullptr) #define pii pair #define pll pair #define pb push_back #define eb emplace_back #define mp make_pair #define rev reverse #define vi vector #define vll vector #define vpi vector> #define vpll vector> #define vvi vector> #define vvll vector> #define prq priority_queue #define lb lower_bound #define ub upper_bound #define popcnt __builtin_popcountll #define TLE while(true); #define RE assert(false); #define MLE vector>> mle_mle(400,vector>(1000,vector(1000))); const string YESNO[2] = {"NO", "YES"}; const string YesNo[2] = {"No", "Yes"}; const string yesno[2] = {"no", "yes"}; #define rall(n) (n).rbegin(),(n).rend() #define INT(...) int __VA_ARGS__;scan(__VA_ARGS__) #define LL(...) ll __VA_ARGS__;scan(__VA_ARGS__) #define STR(...) string __VA_ARGS__;scan(__VA_ARGS__) #define CHR(...) char __VA_ARGS__;scan(__VA_ARGS__) #define DBL(...) double __VA_ARGS__;scan(__VA_ARGS__) #define LD(...) ld __VA_ARGS__;scan(__VA_ARGS__) template ostream &operator<<(ostream&os,const pair&p){os< istream &operator>>(istream&is,pair&p){is>>p.first>>p.second;return is;} template ostream &operator<<(ostream&os,const vector&v){for(auto it=v.begin();it!=v.end();){os<<*it<<((++it)!=v.end()?" ":"");}return os;} template istream &operator>>(istream&is,vector&v){for(T &in:v){is>>in;}return is;} void scan(){} template void scan(Head&head,Tail&... tail){cin>>head;scan(tail...);} template void print(const T &t){cout< void print(const Head &head, const Tail &... tail){cout< void fin(const T &... a){print(a...);exit(0);} ll max(int a,ll b){return max((ll)a,b);} ll max(ll a,int b){return max((ll)b,a);} ll min(int a,ll b){return min((ll)a,b);} ll min(ll a,int b){return min((ll)b,a);} //a以上b以下の個数 template ll RangeOK(ll a,ll b,vector &v){ return max(ub(all(v),b)-lb(all(v),a),0); } template vector compress(vector &X) { vector vals = X; sort(vals.begin(), vals.end()); vals.erase(unique(vals.begin(), vals.end()), vals.end()); for (int i = 0; i < (int)X.size(); i++) { X[i] = lower_bound(vals.begin(), vals.end(), X[i]) - vals.begin(); } return vals; } #include #include using namespace __gnu_pbds; ll n, k; ll f(ll x){ return (x%n+n)%n; } int main(){ scan(n, k); vll a(n), c(n); scan(a, c); ll ans = 0; vector>> dp(n+1, vvll(n+1, vll(51, -1LL<<50))); rep(i, n){ dp[0][0][c[i]] = a[i]; rep3(x, 1, n-1){ rep3(y, 0, x){ rep3(z, -k, k){ if(y > 0 && c[f(i+y)]+z > 0 && c[f(i+y)]+z <= 50){ dp[y][x-y][c[f(i+y)]] = max(dp[y][x-y][c[f(i+y)]], a[f(i+y)]+dp[y-1][x-y][c[f(i+y)]+z]); dp[y][x-y][c[f(i+y)]+z] = max(dp[y][x-y][c[f(i+y)]+z], a[f(i+y)]+dp[y-1][x-y][c[f(i+y)]+z]); } if(x-y > 0 && c[f(i-x+y)]+z > 0 && c[f(i-x+y)]+z <= 50){ dp[y][x-y][c[f(i-x+y)]] = max(dp[y][x-y][c[f(i-x+y)]], a[f(i-x+y)]+dp[y][x-y-1][c[f(i-x+y)]+z]); dp[y][x-y][c[f(i-x+y)]+z] = max(dp[y][x-y][c[f(i-x+y)]+z], a[f(i-x+y)]+dp[y][x-y-1][c[f(i-x+y)]+z]); } } } } rep3(x, 0, n-1){ rep3(y, 0, x){ rep(z, 51){ if(dp[y][x-y][z] > -1LL<<40){ //print(i, y, x-y, z, dp[y][x-y][z]); ans = max(ans, dp[y][x-y][z]); dp[y][x-y][z] = -1LL<<50; } } } } //print(ans, i); } fin(ans); }