Approximating Rational Objectives Is as Easy as Approximating Linear Ones

Abstract

In the late seventies, Megiddo proposed a way to use an algorithm for the problem of minimizing a linear function a ₀+a ₁ x ₁+⋯+a _n x _n subject to certain constraints to solve the problem of minimizing a rational function of the form (a ₀+a ₁ x ₁+⋯+a _n x _n )/(b ₀+b ₁ x ₁+⋯+b _n x _n ) subject to the same set of constraints, assuming that the denominator is always positive. Using a rather strong assumption, Hashizume et al. extended Megiddo’s result to include approximation algorithms. Their assumption essentially asks for the existence of good approximation algorithms for optimization problems with possibly negative coefficients in the (linear) objective function, which is rather unusual for most combinatorial problems. In this paper, we present an alternative extension of Megiddo’s result for approximations that avoids this issue and applies to a large class of optimization problems. Specifically, we show that, if there is an α-approximation for the problem of minimizing a nonnegative linear function subject to constraints satisfying a certain increasing property then there is an α-approximation (1/α-approximation) for the problem of minimizing (maximizing) a nonnegative rational function subject to the same constraints. Our framework applies to covering problems and network design problems, among others.

Research partially supported by CNPq Prosul Proc. no. 490333/04-4 (Brazil).