結果
問題 | No.2157 崖 |
ユーザー | hamray |
提出日時 | 2023-02-05 21:01:59 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 12,279 bytes |
コンパイル時間 | 2,899 ms |
コンパイル使用メモリ | 214,156 KB |
実行使用メモリ | 20,224 KB |
最終ジャッジ日時 | 2024-07-04 07:04:40 |
合計ジャッジ時間 | 9,458 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 8 ms
12,288 KB |
testcase_01 | AC | 8 ms
12,288 KB |
testcase_02 | AC | 8 ms
12,288 KB |
testcase_03 | WA | - |
testcase_04 | AC | 8 ms
12,288 KB |
testcase_05 | WA | - |
testcase_06 | AC | 7 ms
12,160 KB |
testcase_07 | AC | 7 ms
12,160 KB |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | AC | 7 ms
12,160 KB |
testcase_11 | WA | - |
testcase_12 | AC | 7 ms
12,288 KB |
testcase_13 | WA | - |
testcase_14 | AC | 311 ms
19,584 KB |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | AC | 270 ms
18,432 KB |
testcase_18 | AC | 266 ms
18,304 KB |
testcase_19 | WA | - |
testcase_20 | AC | 354 ms
20,224 KB |
testcase_21 | AC | 349 ms
20,096 KB |
testcase_22 | AC | 253 ms
17,920 KB |
testcase_23 | AC | 8 ms
12,288 KB |
testcase_24 | WA | - |
ソースコード
#include <bits/stdc++.h> //#include <atcoder/all> //using namespace atcoder; #pragma GCC target ("avx2") #pragma GCC optimization ("O3") #pragma GCC optimization ("unroll-loops") using namespace std; typedef vector<int> VI; typedef vector<VI> VVI; typedef vector<string> VS; typedef pair<int, int> PII; typedef pair<int, int> pii; typedef pair<long long, long long> PLL; typedef pair<int, PII> TIII; typedef long long ll; typedef long double ld; typedef unsigned long long ull; #define FOR(i, s, n) for (int i = s; i < (int)n; ++i) #define REP(i, n) FOR(i, 0, n) #define rep(i, a, b) for (int i = a; i < (b); ++i) #define trav(a, x) for (auto &a : x) #define all(x) x.begin(), x.end() #define MOD 1000000007 template<class T1, class T2> inline bool chmax(T1 &a, T2 b) {if (a < b) {a = b; return true;} return false;} template<class T1, class T2> inline bool chmin(T1 &a, T2 b) {if (a > b) {a = b; return true;} return false;} const double EPS = 1e-10, PI = acos(-1); const double pi = 3.141592653589793238462643383279; //ここから編集 typedef string::const_iterator State; ll GCD(ll a, ll b){ return (b==0)?a:GCD(b, a%b); } ll LCM(ll a, ll b){ return a/GCD(a, b) * b; } template<typename T> string tobin(T n) { string res = ""; while(n) { res += (char)('0' + n%2); n>>=2; } reverse(all(res)); return res; } template<typename T> vector<vector<T>> rotateMatrixclockwise(vector<vector<T>> v) { int n = v.size(), m = v[0].size(); vector<vector<T>> res(m, vector<T>(n)); REP(i,n) REP(j,m) res[j][n-i-1] = v[i][j]; return res; } template< int mod > struct ModInt { int x; ModInt() : x(0) {} ModInt(int64_t y) : x(y >= 0 ? y % mod : (mod - (-y) % mod) % mod) {} ModInt &operator+=(const ModInt &p) { if((x += p.x) >= mod) x -= mod; return *this; } ModInt &operator-=(const ModInt &p) { if((x += mod - p.x) >= mod) x -= mod; return *this; } ModInt &operator*=(const ModInt &p) { x = (int) (1LL * x * p.x % mod); return *this; } ModInt &operator/=(const ModInt &p) { *this *= p.inverse(); return *this; } ModInt operator-() const { return ModInt(-x); } ModInt operator+(const ModInt &p) const { return ModInt(*this) += p; } ModInt operator-(const ModInt &p) const { return ModInt(*this) -= p; } ModInt operator*(const ModInt &p) const { return ModInt(*this) *= p; } ModInt operator/(const ModInt &p) const { return ModInt(*this) /= p; } bool operator==(const ModInt &p) const { return x == p.x; } bool operator!=(const ModInt &p) const { return x != p.x; } ModInt inverse() const { int a = x, b = mod, u = 1, v = 0, t; while(b > 0) { t = a / b; swap(a -= t * b, b); swap(u -= t * v, v); } return ModInt(u); } ModInt pow(int64_t n) const { ModInt ret(1), mul(x); while(n > 0) { if(n & 1) ret *= mul; mul *= mul; n >>= 1; } return ret; } friend ostream &operator<<(ostream &os, const ModInt &p) { return os << p.x; } friend istream &operator>>(istream &is, ModInt &a) { int64_t t; is >> t; a = ModInt< mod >(t); return (is); } static int get_mod() { return mod; } }; using modint = ModInt< 998244353 >; template< typename T > struct Combination { vector< T > _fact, _rfact, _inv; Combination(int sz) : _fact(sz + 1), _rfact(sz + 1), _inv(sz + 1) { _fact[0] = _rfact[sz] = _inv[0] = 1; for(int i = 1; i <= sz; i++) _fact[i] = _fact[i - 1] * i; _rfact[sz] /= _fact[sz]; for(int i = sz - 1; i >= 0; i--) _rfact[i] = _rfact[i + 1] * (i + 1); for(int i = 1; i <= sz; i++) _inv[i] = _rfact[i] * _fact[i - 1]; } inline T fact(int k) const { return _fact[k]; } inline T rfact(int k) const { return _rfact[k]; } inline T inv(int k) const { return _inv[k]; } T P(int n, int r) const { if(r < 0 || n < r) return 0; return fact(n) * rfact(n - r); } T C(int p, int q) const { if(q < 0 || p < q) return 0; return fact(p) * rfact(q) * rfact(p - q); } T H(int n, int r) const { if(n < 0 || r < 0) return (0); return r == 0 ? 1 : C(n + r - 1, r); } }; ll modpow(ll x, ll n, ll mod) { ll res = 1; x %= mod; if(x == 0) return 0; if(n<0) return 1; while(n) { if(n&1) res = (res * x) % mod; x = (x * x) % mod; n >>= 1; } return res; } inline long long mod(long long a, long long m) { return (a % m + m) % m; } template<typename T> struct BIT{ int N; std::vector<T> node; BIT(){} BIT(int n){ N = n; node.resize(N+10); } void build(int n) { N = n; node.resize(N+10); } /* a: 1-idxed */ void add(int a, T x){ for(int i=a; i<(int)node.size(); i += i & -i) node[i] += x; } /* [1, a] */ T sum(int a){ T res = 0; for(int x=a; x>0; x -= x & -x) res += node[x]; return res; } /* [l, r] */ T rangesum(int l, int r){ if(l > r) return 0; return sum(r) - sum(l-1); } /* a1+a2+...+aw >= valとなるような最小のwを返す @verify https://codeforces.com/contest/992/problem/E */ int lower_bound(T val) { if(val < 0) return 0; int res = 0; int n = 1; while (n < N) n *= 2; T tv=0; for (int k = n; k > 0; k /= 2) { if(res + k < N && node[res + k] < val){ val -= node[res+k]; res += k; } } return res+1; } }; struct UnionFind{ std::vector<int> par; std::vector<int> siz; UnionFind(int sz_): par(sz_), siz(sz_) { for(int i=0; i<sz_; ++i) par[i] = i, siz[i] = 1; } void init(int sz_){ par.resize(sz_); siz.resize(sz_); for(int i=0; i<sz_; ++i) par[i] = i, siz[i] = 1; } int root(int x){ if(x == par[x]) return x; return par[x] = root(par[x]); } bool merge(int x, int y){ x = root(x), y = root(y); if(x == y) return false; if(siz[x] < siz[y]) std::swap(x, y); siz[x] += siz[y]; par[y] = x; return true; } bool issame(int x, int y){ return root(x) == root(y); } int size(int x){ return siz[root(x)]; } }; struct RollingHash{ using ull = unsigned long long; const ull mod = (1ULL << 61) - 1; const ull MASK30 = (1ULL << 30) - 1; const ull MASK31 = (1ULL << 31) - 1; const ull MASK61 = mod; ull base; int n; vector<ull> hash, pow; RollingHash(const string &s) { random_device rnd; mt19937_64 mt(rnd()); base = 1001; n = (int)s.size(); hash.assign(n+1, 0); pow.assign(n+1, 1); for(int i=0; i<n; i++){ hash[i+1] = calc_mod(mul(hash[i], base) + s[i]); pow[i+1] = calc_mod(mul(pow[i], base)); } } ull calc_mod(ull x){ ull xu = x >> 61; ull xd = x & MASK61; ull res = xu + xd; if(res >= mod) res -= mod; return res; } ull mul(ull a, ull b){ ull au = a >> 31; ull ad = a & MASK31; ull bu = b >> 31; ull bd = b & MASK31; ull mid = ad * bu + au * bd; ull midu = mid >> 30; ull midd = mid & MASK30; return calc_mod(au * bu * 2 + midu + (midd << 31) + ad * bd); } //[l,r)のハッシュ値 inline ull get(int l, int r){ ull res = calc_mod(hash[r] + mod*3-mul(hash[l], pow[r-l])); return res; } //string tのハッシュ値 inline ull get(string t){ ull res = 0; for(int i=0; i<t.size(); i++){ res = calc_mod(mul(res, base)+t[i]); } return res; } //string s中のtの数をカウント inline int count(string t) { if(t.size() > n) return 0; auto hs = get(t); int res = 0; for(int i=0; i<n-t.size()+1; i++){ if(get(i, i+t.size()) == hs) res++; } return res; } /* concat @verify https://codeforces.com/problemset/problem/514/C */ inline ull concat(ull h1, ull h2, int h2len){ return calc_mod(h2 + mul(h1, pow[h2len])); } // LCPを求める S[a:] T[b:] inline int LCP(int a, int b){ int len = min((int)hash.size()-a, (int)hash.size()-b); int lb = -1, ub = len; while(ub-lb>1){ int mid = (lb+ub)/2; if(get(a, a+mid) == get(b, b+mid)) lb = mid; else ub = mid; } return lb; } }; struct ConvexHullTrick { struct Line{ ll x, y; Line(): x(0), y(0){} Line(ll _x, ll _y): x(_x), y(_y){} bool operator < (const Line &l) const { return (x != l.x) ? x < l.x : y < l.y; } }; vector<Line> lv; function<bool(ll l, ll r)> comp; ConvexHullTrick(function<bool(ll l, ll r)> _comp = [](ll l, ll r){ return l >= r; }): comp(_comp) {} bool check(Line& l1, Line& l2, Line &l3){ if(l1 < l3) swap(l1, l3); return (l2.y-l1.y)*(l3.x-l2.x) <= (l3.y-l2.y)*(l2.x-l1.x); } void add(ll a, ll b) { Line l = {a, b}; while(lv.size()>=2 && check(lv[lv.size()-2], lv.back(), l)) lv.pop_back(); lv.push_back(l); } ll f(ll id, ll x){ return lv[id].x * x + lv[id].y; } ll query(ll x){ if(lv.empty()) return LLONG_MAX; ll low = -1, high = lv.size() - 1; while (high - low > 1) { ll mid = (high + low) / 2; (comp(f(mid, x), f(mid + 1, x)) ? low : high) = mid; } return f(high, x); } }; template<typename T> struct Matrix{ int row, col; std::vector<std::vector<T>> A; Matrix() { row = col = 1; } Matrix(int h, int w, T val = 0) : row(h), col(w), A(row, std::vector<T>(col, val)){} Matrix(const std::vector<std::vector<T>> &v) : row(v.size()), col(v[0].size()), A(v){} int GetRow() const { return row; } int GetCol() const { return col; } const std::vector<T>& operator[](int i) const { return A[i]; } std::vector<T>& operator[](int i) { return A[i]; } Matrix E(int n) { Matrix M(n, n); for(int i=0; i<n; i++) M[i][i] = 1; return M; } Matrix& operator+=(const Matrix& B) { int n = GetRow(), m = GetCol(); assert(n == B.size()); assert(m == B[0].size()); Matrix C(n, m); for(int i=0; i<n; i++) { for(int j=0; j<m; j++) { C[i][j] = A[i][j] + B[i][j]; } } return *this = C; } Matrix& operator-=(const Matrix& B) { int n = GetRow(), m = GetCol(); assert(n == B.size()); assert(m == B[0].size()); Matrix C(n, m); for(int i=0; i<n; i++) { for(int j=0; j<m; j++) { C[i][j] = A[i][j] - B[i][j]; } } return *this = C; } Matrix& operator*=(const Matrix& B) { int k = GetRow(), l = GetCol(), n = B.GetRow(), m = GetCol(); assert(l == n); Matrix C(k, m); for(int i=0; i<k; i++) { for(int j=0; j<m; j++) { for(int k=0; k<n; k++) { C[i][j] += A[i][k] * B[k][j]; } } } return *this = C; } Matrix& operator^=(long long n) { Matrix B = Matrix::E(GetRow()); while(n > 0) { if(n&1) B = B * (*this); *this = (*this) * (*this); n >>= 1; } return *this = B; } Matrix operator+(const Matrix& B){ return Matrix(*this) += B; } Matrix operator-(const Matrix& B){ return Matrix(*this) -= B; } Matrix operator*(const Matrix& B){ return Matrix(*this) *= B; } Matrix operator^(long long n){ return Matrix(*this) ^= n; } friend std::ostream& operator<< (std::ostream& os, const Matrix& m) { for(int i=0; i<m.GetRow(); i++) { for(int j=0; j<m.GetCol(); j++) { if(j != 0) os << ' '; os << m.A[i][j]; } os << '\n'; } return os; } }; int nxt[1510][1510]; int dp[1510][1510]; int main() { cin.tie(0); ios::sync_with_stdio(false); cout << fixed << setprecision(20); int n, m; cin >> n >> m; vector<vector<int>> a(n, vector<int>(m)); REP(i,n) { REP(j,m) cin >> a[i][j]; sort(all(a[i])); } REP(i,1510)REP(j,1510) dp[i][j] = 2e9; REP(i,m+1) dp[0][i] = 0; REP(i,n-1) { int k = 0; REP(j,m) { while(k<m && a[i][j]>a[i+1][k]) k++; if(k==m) break; dp[i+1][k] = min(dp[i+1][k], dp[i][j] + a[i+1][k] - a[i][j]); } } int ans = 2e9; REP(i,m) ans = min(ans, dp[n-1][i]); if(ans == 2e9) ans = -1; cout << ans << endl; return 0; }