01分数规划学习笔记

何为01分数规划

01分数规划解决的是这么一类问题：

从给定的数列$a_i、b_i$，求$\frac{{\sum }_{i=1}{a}_i\ast p_i}{{\sum }_{i=1}{b}_i\ast p_i}$的最值问题

其中p为一个01数列。

也就是从一个二元组列表中选一些二元组，求x项之和/y项和的最值。

常常是求最大中的最小、最小中的最大。

这类问题我们通常用二分+分数规划来做

详解

直接求解不容易，我们可以考虑如何判断某个答案是否合法。

下面以最小值为例：

假设二分出答案ans

令$\frac{{\sum }_{i=1}{a}_i\ast p_i}{{\sum }_{i=1}{b}_i\ast p_i}$中分母为A，分子为B

那么$=A/B>=ans$

$=A>=ans\ast B$

$=A-B\ast ans>=0$

把AB两个式子展开：

$={\sum }_{i=1}^{a_i\ast p_i-b_i\ast p_i\ast ans}>=0$

所以当最后一个式子成立的时候答案ans合法。

我们有注意到ans越大越不好满足，所以这个是有单调性的。

如果ans不行，那么比ans大的都不能满足；如果ans合法，那么比ans小的都合法。

因此我们可以二分ans，然后判断。

推荐题目：

最小路径密度

题解