A Fully Polynomial Time Approximation Scheme for Refutations in Weighted Difference Constraint Systems

4th International Conference on Algorithms and Discrete Applied Mathematics (2018 : Guwahati; India)This paper is concerned with the design and analysis of approximation algorithms for the problem of finding the least weight refutation in a weighted difference constraint system (DCS). In a weighted DCS (WDCS), a positive weight is associated with each constraint. Every infeasible DCS has a refutation, which attests to its infeasibility. The length of a refutation is the number of constraints used in the derivation of a contradiction. Associated with a DCS D is its constraint network G. D is infeasible if and only if G has a simple, negative cost cycle. It follows that the shortest refutation of D corresponds to the length of the shortest negative cost cycle in G. The constraint network of a WDCS is represented by a constraint network, where each edge contains both a cost and a positive, integral length. In the case of a WDCS, the weight of a refutation is defined as the sum of the lengths of the edges corresponding to the refutation. The problem of finding the minimum weight refutation in a WDCS is called the weighted optimal length resolution refutation (WOLRR) problem and is known to be NP-hard. In this paper, we describe a pseudo-polynomial time algorithm for the WOLRR problem and convert it into a fully polynomial time approximation scheme (FPTAS). We also generalize our FPTAS to determine the optimal length refutation of a class of constraints called Unit Two Variable per Inequality (UTVPI) constraints.This work was done while the first author was at West Virginia University. The first author was supported in part by the National Science Foundation through Award CNS-0849735 and the Air Force Office of Scientific Research through Award FA9550-12-1-0199. The third author was supported in part by the National Science Foundation through Awards CCF-1305054 and CNS-0849735, and the Air Force Office of Scientific Research through Award FA9550-12-1-0199. The fourth author was supported in part by the Air Force Office of Scientific Research through Award FA9550-12-1-0199. The fifth author was supported in part by the National Science Foundation through Award CCF-1305054, and by NASA through the West Virginia Space Grant. We thank Ashish Goel for useful conversations