#include #include using namespace std; using ll = long long; using ld = long double; using ull = unsigned long long; template using max_heap = priority_queue; template using min_heap = priority_queue, greater>; #define rep(i, l, r) for (ll i = (l); i < (r); i++) #define rrep(i, r, l) for (ll i = (r); i-- > (l);) #define all(x) begin(x), end(x) template bool chmin(T& lhs, T rhs) { return lhs > rhs ? (lhs = rhs, true) : false; } template bool chmax(T& lhs, T rhs) { return lhs < rhs ? (lhs = rhs, true) : false; } struct IOIO { IOIO() { cin.tie(0)->sync_with_stdio(0); } } ioio; template ostream& operator<<(ostream& os, const pair& p) { os << '(' << p.first << ", " << p.second << ')'; return os; } template ostream& operator<<(ostream& os, const vector& vs) { os << '{'; rep(i, 0, (int)vs.size()) os << vs[i] << (i + 1 == (int)vs.size() ? "" : ", "); os << '}'; return os; } template ostream& operator<<(ostream& os, const set& vs) { os << '{'; for (auto it = vs.begin(); it != vs.end(); it++) { if (it != vs.begin()) { os << ", "; } os << *it; } os << '}'; return os; } template ostream& operator<<(ostream& os, const map& vs) { os << '{'; for (auto it = vs.begin(); it != vs.end(); it++) { if (it != vs.begin()) { os << ", "; } os << *it; } os << '}'; return os; } #ifdef DEBUG void dump_func() { cerr << endl; } template void dump_func(Head&& head, Tail&&... tail) { cerr << head; if (sizeof...(Tail) > 0) { cerr << ", "; } dump_func(std::move(tail)...); } #define dump(...) cerr << "[" + string(#__VA_ARGS__) + "] ", dump_func(__VA_ARGS__) #else #define dump(...) static_cast(0) #endif int main() { int n, k; cin >> n >> k; vector a(k); rep(i, 0, k) cin >> a[i]; rep(i, 0, k) a.push_back(a[i] + 2 * n); a.push_back(a[0] + 4 * n); auto sol = [&](int key) { vector d(2 * k); rep(i, 0, 2 * k) d[i] = key - (a[i + 1] - a[i]); vector to(2 * k, -1); map mn, mx; mn[0] = 2 * k; mx[0] = 2 * k; ll sum = 0; const int none = 1e9; rrep(i, 2 * k, 0) { sum += d[i]; int mni = none; { auto it = mn.upper_bound(sum - key); if (it != mn.begin()) { it--; mni = it->second; } } int mxi = none; { auto it = mx.lower_bound(sum); if (it != mx.end()) { mxi = it->second; } } if (mxi < mni) { to[i] = mxi; } { auto it = mn.lower_bound(sum); while (it != mn.end()) { it = mn.erase(it); } } { auto it = mx.begin(); while (it != mx.end() && it->first <= sum) it = mx.erase(it); } mn[sum] = i; mx[sum] = i; } const int ng = -2; vector memo(2 * k, -1); auto find = [&](auto&& self, int i, int d) -> int { if (d <= i) { return i; } if (memo[i] == ng) return ng; if (memo[i] != -1) { return memo[i] = self(self, memo[i], d); } if (to[i] != -1) { return memo[i] = self(self, to[i], d); } else return memo[i] = ng; }; rep(i, 0, k) { if (find(find, i, k + i) == k + i) { return true; } } return false; }; int ok = 0; int ng = 2 * n + 1; while (ng - ok > 1) { int key = (ok + ng) / 2; if (sol(key)) ok = key; else ng = key; } cout << ok << '\n'; }