## Abstract

Given a bounded integer program with n variables and m constraints, each with two variables, we present an O (mU) time and O(m) space feasibility algorithm, where U is the maximal variable range size. We show that with the same complexity we can find an optimal solution for the positively weighted minimization problem for monotone systems. Using the local-ratio technique we develop an O (nmU) time and O (m) space 2-approximation algorithm for the positively weighted minimization problem for the general case. We further generalize all results to nonlinear constraints (called axis-convex constraints) and to nonlinear (but monotone) weight functions. Our algorithms are not only better in complexity than other known algorithms, but also considerably simpler, and they contribute to the understanding of these very fundamental problems.

Original language | English |
---|---|

Pages (from-to) | 595-609 |

Number of pages | 15 |

Journal | Algorithmica |

Volume | 29 |

Issue number | 4 |

DOIs | |

State | Published - Apr 2001 |

Externally published | Yes |

## Keywords

- 2SAT
- Approximation algorithm
- Combinatorial optimization
- Integer programming
- Local-ratio technique
- Vertex cover