Description
给你 (n) 个节点 (m) 条边的无向连通图。每条边有两个权值 (c,t) ，要你生成一棵边集为 (mathbb{E}) 的生成树使得 [sum_{ein mathbb{E}}e_c imes sum_{ein mathbb{E}}e_t] 最小。
(1leq nleq 200,1leq mleq 10000)
Solution
令 (x=sum_{ein mathbb{E}}e_c,y=sum_{ein mathbb{E}}e_t) 。记 (k=xy) ，那么对于反比例函数 (y=frac{k}{x}) ， (k) 越小越贴近坐标轴。
我们将所有生成树的权值以 ((x,y)) 的形式刻画在坐标轴上，显然满足条件的最小值一定在左下凸包上。
那么首先最极端的是单纯按 (c) 排序和按 (t) 排序得到的点 (A,B) 。
然后显然要找到在连线 (AB) 左下最远的点 (C) 。
由于离 (AB) 最远的 (C) 必定导致 (S_{Delta ABC}) 最大。
显然就是求 (left(vec{AB} imesvec{AC} ight)_{min}) [egin{aligned}vec{AB} imesvec{AC}&=(x_B-x_A)(y_C-y_A)-(y_B-y_A)(x_C-x_A)\&=y_C(x_B-x_A)+x_C(y_A-y_B)+Kend{aligned}]
其中 (K) 是与 (C) 无关的量，可以忽略。所以将所有边权改为上述式子后做一遍最小生成树就可以求出 (C) 了。
然后继续分治对线段 (AC) 和线段 (CB) 求解即可。递归的边界为 (vec{AB} imesvec{AC}geq 0) 。
Code
//It is made by Awson on 2018.3.7
#include <bits/stdc++.h>
#define LL long long
#define dob complex<double>
#define Abs(a) ((a) < 0 ? (-(a)) : (a))
#define Max(a, b) ((a) > (b) ? (a) : (b))
#define Min(a, b) ((a) < (b) ? (a) : (b))
#define Swap(a, b) ((a) ^= (b), (b) ^= (a), (a) ^= (b))
#define writeln(x) (write(x), putchar('
'))
#define lowbit(x) ((x)&(-(x)))
using namespace std;
const int N = 200, M = 10000;
void read(int &x) {
char ch; bool flag = 0;
for (ch = getchar(); !isdigit(ch) && ((flag |= (ch == '-')) || 1); ch = getchar());
for (x = 0; isdigit(ch); x = (x<<1)+(x<<3)+ch-48, ch = getchar());
x *= 1-2*flag;
}
void print(int x) {if (x > 9) print(x/10); putchar(x%10+48); }
void write(int x) {if (x < 0) putchar('-'); print(Abs(x)); }
int n, m, fa[N+5];
struct tt {
int u, v, w, c, t;
bool operator < (const tt &b) const {return w < b.w; }
}edge[M+5];
struct node {
int x, y;
node(int _x = 0, int _y = 0) {x = _x, y = _y; }
int operator * (const node &b) const {return x*b.y-y*b.x; }
node operator + (const node &b) {node t; t.x = x+b.x, t.y = y+b.y; return t; }
node operator - (const node &b) {node t; t.x = x-b.x, t.y = y-b.y; return t; }
void print() {write(x), putchar(' '), writeln(y); }
}ans, A, B;
int find(int x) {return fa[x] ? fa[x] = find(fa[x]) : x; }
void update(node &ans, node x) {if (1ll*ans.x*ans.y > 1ll*x.x*x.y || (1ll*ans.x*ans.y == 1ll*x.x*x.y && ans.x > x.x)) ans = x; }
bool judge(node A, node B, node C) {return (B-A)*(C-A) >= 0; }
node kruskal() {
memset(fa, 0, sizeof(fa)); int cnt = 0; node tmp;
sort(edge+1, edge+1+m);
for (int i = 1; i <= m; i++) {
if (find(edge[i].u)^find(edge[i].v)) {
++cnt; fa[find(edge[i].u)] = find(edge[i].v);
tmp = tmp+node(edge[i].c, edge[i].t);
if (cnt == n-1) break;
}
}
return tmp;
}
void doit(node A, node B) {
int x = B.x-A.x, y = A.y-B.y; node C;
for (int i = 1; i <= m; i++) edge[i].w = x*edge[i].t+y*edge[i].c;
update(ans, C = kruskal());
if (judge(A, B, C)) return;
doit(A, C), doit(C, B);
}
void work() {
read(n), read(m);
for (int i = 1; i <= m; i++) read(edge[i].u), read(edge[i].v), read(edge[i].c), read(edge[i].t), ++edge[i].u, ++edge[i].v;
for (int i = 1; i <= m; i++) edge[i].w = edge[i].c;
A = ans = kruskal();
for (int i = 1; i <= m; i++) edge[i].w = edge[i].t;
update(ans, B = kruskal());
doit(A, B);
ans.print();
}
int main() {
work(); return 0;
}