#include #include #include #include #include #include #include #include #include #include static const int MOD = 998244353; using ll = long long; using uint = unsigned; using ull = unsigned long long; using namespace std; template constexpr T INF = ::numeric_limits::max() / 32 * 15 + 208; vector Z_algorithm(const vector &s){ vector res(s.size()); for (int i = 1, j = 0; i < s.size(); ++i) { if(i + res[i-j] < j + res[j]) res[i] = res[i-j]; else { int k = max(0, j + res[j]-i); while(i + k < s.size() && s[k] == s[i+k]) ++k; res[i] = k; j = i; } } res.front() = s.size(); return res; } int main() { int n, m; cin >> n >> m; vector A(n); for (auto &&i : A) scanf("%d", &i); vector B(m); for (auto &&i : B) scanf("%d", &i); vector C(m); for (auto &&i : C) scanf("%d", &i); vector idx(m+2); iota(idx.begin(),idx.end(), 0); vector AB(n+m+1); for (int i = 0; i < n; ++i) { AB[i] = A[i]; } for (int i = 0; i < m; ++i) { AB[i+n] = B[i]; } auto Z = Z_algorithm(AB); vector dp(m+1, INF); dp[0] = 0; for (int i = 0; i < m; ++i) { for (int j = i+1; j <= i+Z[n+i]; ++j) { if(dp[j] >= dp[i] + (ll)C[i]*(j-i)){ dp[j] = dp[i] + (ll)C[i]*(j-i); }else break; } } if(dp[m] == INF) puts("-1"); else cout << dp[m] << "\n"; return 0; }