Approximate solution of NP optimization problems
Theoretical Computer Science
Probabilistic checking of proofs and hardness of approximation problems
Probabilistic checking of proofs and hardness of approximation problems
Interactive proofs and the hardness of approximating cliques
Journal of the ACM (JACM)
Approximation algorithms for NP-hard problems
Integer matrix diagonalization
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Polynomial-Time Aggregation of Integer Programming Problems
Journal of the ACM (JACM)
A Hard Problem That is Almost Always Easy
ISAAC '95 Proceedings of the 6th International Symposium on Algorithms and Computation
The complexity of greatest common divisor computations
ANTS-I Proceedings of the First International Symposium on Algorithmic Number Theory
The Complexity of Approximate Optima for Greatest Common Divisor Computations
ANTS-II Proceedings of the Second International Symposium on Algorithmic Number Theory
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Hardness of approximating the Minimum Solutions of Linear Diophantine Equations
Theoretical Computer Science
Theoretical Computer Science
Hi-index | 5.23 |
In this paper, we study the inapproximability of the following NP-complete number theoretic optimization problems introduced by Rossner and Seifert [C. Rossner, J.P. Seifert, The complexity of approximate optima for greatest common divisor computations, in: Proceedings of the 2nd International Algorithmic Number Theory Symposium, ANTS-II, 1996, pp. 307-322]: Given n numbers a"1,...,a"n@?Z, find an @?"~-minimum GCD multiplier for a"1,...,a"n, i.e., a vector x@?Z^n with minimum max"1"@?"i"@?"n|x"i| satisfying @?"i"="1^nx"ia"i=gcd(a"1,...,a"n). We show that assuming PNP, it is NP-hard to approximate the Minimum GCD Multiplier in @?"~ norm (GCDM"~) within a factor n^c^/^l^o^g^l^o^g^n for some constant c0 where n is the dimension of the given vector. This improves on the best previous result. The best result so far gave 2^(^l^o^g^n^)^^^1^^^-^^^@e factor hardness by Rossner and Seifert [C. Rossner, J.P. Seifert, The complexity of approximate optima for greatest common divisor computations, in: Proceedings of the 2nd International Algorithmic Number Theory Symposium, ANTS-II, 1996, pp. 307-322], where @e0 is an arbitrarily small constant.