#include <bits/stdc++.h> #include <atcoder/fenwicktree> using namespace std; using ll = long long; using ld = long double; using Pair = pair<int, int>; using Tuple = tuple<int, int, int>; using VI1 = vector<int>; using VI2 = vector<VI1>; using VL1 = vector<ll>; using VL2 = vector<VL1>; using VD1 = vector<ld>; using VD2 = vector<VD1>; using VB1 = vector<bool>; using VB2 = vector<VB1>; using VP1 = vector<Pair>; using VP2 = vector<VP1>; using VT1 = vector<Tuple>; using VT2 = vector<VT1>; using Queue = queue<int>; using DQ = deque<int>; using PQ = priority_queue<int, vector<int>, greater<int>>; using Table = VI2; using Graph = VI2; using FW = atcoder::fenwick_tree<int>; const int INF = 1001001001; bool is_ok(int N, int M, Table &D, int mid) { Table dp(N, VI1(M, 0)); for (int i = 0; i < M; ++i) dp[0][i] = 1; for (int i = 0; i < N - 1; ++i) { auto &Di = D.at(i); FW fw(M); for (int j = 0; j < M; ++j) { if (dp[i][j] == 1) fw.add(j, 1); } for (int j = 0; j < M; ++j) { auto A2 = D[i + 1][j]; auto lb = A2 - mid, ub = A2; auto it1 = lower_bound(Di.begin(), Di.end(), lb); auto it2 = upper_bound(Di.begin(), Di.end(), ub); if (it1 == Di.end()) continue; int l = it1 - Di.begin(), r = it2 - Di.begin(); if (fw.sum(l, r) > 0) dp[i + 1][j] = 1; } } auto max_dp = *max_element(dp[N - 1].begin(), dp[N - 1].end()); return (max_dp == 1); } auto solve() { int N, M; cin >> N >> M; Table D(N, VI1(M)); for (int i = 0; i < N; ++i) { for (int j = 0; j < M; ++j) cin >> D[i][j]; sort(D.at(i).begin(), D.at(i).end()); } int ok = INF; int ng = -1; while (abs(ok - ng) > 1) { auto mid = (ok + ng) / 2; if (is_ok(N, M, D, mid)) ok = mid; else ng = mid; } if (ok == INF && !is_ok(N, M, D, ok)) return -1; return ok; } int main() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); auto result = solve(); cout << result << endl; }