O 最优比率生成树：
令原图为S，λ=a(x)/b(x)，其中a(x)表示子图x的a权之和，λ*=a(x*)/b(x*)为λ的最优值，则有0=a(x*)-λb(x*)
不妨设g(λ)=max{x⊆S | a(x)-λb(x)}，则g(λ)是单调递减函数，且g(λ*)=0
结论集合
原文：https://www.cnblogs.com/cdcq/p/11827007.html
