//bitで作れる色の集合を持つと間に合いそう #include #define int long long #define rep(i, n) for(i = 0; i < n; i++) using namespace std; int n, K; int a[600], ra[601]; int c[600]; int dp[601][601]; bool memo[601][601]; //[l, r) -> return: x (ibit目が1なら色i(>=0)にできる, 0なら色i(>=0)にできない) int dfs(int l, int r) { if (r - l == 1) { return (1LL << c[l]); } if (memo[l][r]) { return dp[l][r]; } int ret = 0; for (int i = l + 1; i < r; i++) { int res1 = dfs(l, i); int res2 = dfs(i, r); int res = 0; for (int j = 0; j <= K; j++) { res |= res1 & (res2 << j); res |= res2 & (res1 << j); } for (int j = 0; j <= K; j++) { res |= res1 & (res2 >> j); res |= res2 & (res1 >> j); } ret |= res; } memo[l][r] = true; return dp[l][r] = ret; } signed main() { int i, j; cin >> n >> K; rep(i, n) cin >> a[i]; rep(i, n) a[n + i] = a[i]; rep(i, 2 * n) ra[i + 1] = ra[i] + a[i]; rep(i, n) { cin >> c[i]; c[i]--; } rep(i, n) c[n + i] = c[i]; int ans = 0; rep(i, n) { for (j = 1; j <= n; j++) { int res = dfs(i, i + j); if (res > 0) { ans = max(ans, ra[i + j] - ra[i]); } } } cout << ans << endl; return 0; }