#include #include using namespace std; using namespace atcoder; using lint = long long; using ulint = unsigned long long; using llint = __int128_t; struct edge; using graph = vector>; #define endl '\n' int const INF = 1<<30; lint const INF64 = 1LL<<61; lint const mod107 = 1e9+7; using mint107 = modint1000000007; long const mod = 998244353; using mint = modint998244353; lint ceilDiv(lint x, lint y){if(x >= 0){return (x+y-1)/y;}else{return x/y;}} lint floorDiv(lint x, lint y){if(x >= 0){return x/y;}else{return (x-y+1)/y;}} lint Sqrt(lint x) {assert(x >= 0); lint ans = sqrt(x); while(ans*ans > x)ans--; while((ans+1)*(ans+1)<=x)ans++; return ans;} lint gcd(lint a,lint b){if(a&v){lint ans = INF64;for(lint i:v){ans = min(ans, i);}return ans;} lint chmax(vector&v){lint ans = -INF64;for(lint i:v){ans = max(ans, i);}return ans;} double dist(double x1, double y1, double x2, double y2){return sqrt(pow(x1-x2, 2) + pow(y1-y2,2));} string toString(lint n){string ans = "";if(n == 0){ans += "0";}else{while(n > 0){int a = n%10;char b = '0' + a;string c = "";c += b;n /= 10;ans = c + ans;}}return ans;} string toString(lint n, lint k){string ans = toString(n);string tmp = "";while(ans.length() + tmp.length() < k){tmp += "0";}return tmp + ans;} vectorprime;void makePrime(lint n){prime.push_back(2);for(lint i=3;i<=n;i+=2){bool chk = true;for(lint j=0;j>19))^(t^(t>>8)) ); } struct Point { lint x, y; int quad; Point(lint X, lint Y) { x = X; y = Y; quad = getQuadrant(); } int getQuadrant() { if(x >= 0) { if(y >= 0) return 1; else return 4; } else { if(y >= 0) return 2; else return 3; } } }; bool operator<(const Point &left, const Point &right) { if(left.quad == right.quad) { return left.y * right.x < left.x * right.y; } else { return left.quad < right.quad; } } struct Frac { lint upper, lower; Frac() { Frac(0,1); } Frac(lint u, lint l) { assert(l != 0); if(u <= 0 && l < 0) { upper = -u; lower = -l; } else { upper = u; lower = l; } reduction(); } Frac(lint u) { upper = u; lower = 1; } void reduction() { if(upper != 0) { lint g = gcd(abs(upper), abs(lower)); upper /= g; lower /= g; if(lower < 0) { lower *= -1; upper *= -1; } } else { lower = 1; } } Frac operator+(const Frac &other) { lint L = lower * other.lower; lint U = upper*other.lower + lower*other.upper; return Frac(U, L); } Frac operator-(const Frac &other) { lint L = lower * other.lower; lint U = upper*other.lower - lower*other.upper; upper = U; lower = L; return Frac(U, L); } bool operator<=(const Frac &other) { return upper*other.lower <= lower*other.upper; } Frac operator*(const Frac &other) { lint L = lower * other.lower; lint U = upper * other.upper; return Frac(U, L); } Frac operator/(const Frac &other) { assert(other.upper != 0); lint L = lower * other.upper; lint U = upper * other.lower; return Frac(U, L); } }; bool operator<(const Frac &left, const Frac &right) { return left.upper*right.lower < left.lower*right.upper; } lint extGCD(lint a, lint b, lint &x, lint &y) { if (b == 0) { x = 1; y = 0; return a; } lint d = extGCD(b, a%b, y, x); y -= a/b * x; return d; } struct edge{ lint to; lint cost; }; vectordijkstra(int s, graph &g) { vecret(g.size(), INF64/2); priority_queue>que; que.push({-0, s}); ret[s] = 0; while(!que.empty()) { auto q = que.top(); que.pop(); for(auto e: g[q.second]) { if(ret[e.to] > -q.first + e.cost) { ret[e.to] = -q.first + e.cost; que.push({-ret[e.to], e.to}); } } } return ret; } int main(){ lint h,w,n; cin >> h >> w >> n; lint a[n], b[n], c[n], d[n]; graph g(n+n+20); rep(i, n) { cin >> a[i] >> b[i] >> c[i] >> d[i]; } // s to x1, s to x2, x1 to x2 g[n+n].pb({n+n+1, h-1+w-1}); rep(i, n) { // s to x g[n+n].pb({i, a[i]-1 + b[i]-1}); g[n+n].pb({i+n, c[i]-1 + d[i]-1}); g[i].pb({n+n+1, h-a[i] + w-b[i]}); g[i+n].pb({n+n+1, h-c[i] + w-d[i]}); // x1 to x2 g[i].pb({i+n, 1}); g[i+n].pb({i, abs(a[i]-c[i]) + abs(b[i]-d[i])}); repp(j,i+1, n) { g[i].pb({j, abs(a[i]-a[j]) + abs(b[i]-b[j])}); g[j].pb({i, abs(a[i]-a[j]) + abs(b[i]-b[j])}); g[i].pb({j+n, abs(a[i]-c[j]) + abs(b[i]-d[j])}); g[j+n].pb({i, abs(a[i]-c[j]) + abs(b[i]-d[j])}); g[i+n].pb({j, abs(c[i]-a[j]) + abs(d[i]-b[j])}); g[j].pb({i+n, abs(c[i]-a[j]) + abs(d[i]-b[j])}); g[i+n].pb({j+n, abs(c[i]-c[j]) + abs(d[i]-d[j])}); g[j+n].pb({i+n, abs(c[i]-c[j]) + abs(d[i]-d[j])}); } } vecans(n+n+2, INF64); ans[n+n] = 0; priority_queue>que; que.push({-0, n+n}); while(!que.empty()) { auto q = que.top(); que.pop(); for(auto e: g[q.second]) { if(ans[e.to] > ans[q.second] + e.cost) { ans[e.to] = ans[q.second] + e.cost; que.push({-ans[e.to], e.to}); } } } cout << ans[n+n+1] << endl; }