Number Balancing is as Hard as Minkowski's Theorem and Shortest Vector

The number balancing (NBP) problem is the following: given real numbers \(a_1,\ldots ,a_n \in [0,1]\), find two disjoint subsets \(I_1,I_2 \subseteq [n]\) so that the difference \(|\sum _{i \in I_1}a_i - \sum _{i \in I_2}a_i|\) of their sums is minimized. An application of the pigeonhole principle shows that there is always a solution where the difference is at most \(O(\frac{\sqrt{n}}{2^n})\). Finding the minimum, however, is NP-hard. In polynomial time, the differencing algorithm by Karmarkar and Karp from 1982 can produce a solution with difference at most \(n^{-\varTheta (\log n)}\), but no further improvement has been made since then.

[1]  J. G. Pierce,et al.  Geometric Algorithms and Combinatorial Optimization , 2016 .

[2]  Gerhard J. Woeginger,et al.  On the Equal-Subset-Sum Problem , 1992, Inf. Process. Lett..

[3]  Dorit Aharonov,et al.  Lattice problems in NP ∩ coNP , 2005, JACM.

[4]  László Lovász,et al.  Factoring polynomials with rational coefficients , 1982 .

[5]  Miklós Ajtai,et al.  Generating Hard Instances of Lattice Problems , 1996, Electron. Colloquium Comput. Complex..

[6]  Miklós Ajtai,et al.  Generating hard instances of lattice problems (extended abstract) , 1996, STOC '96.

[7]  Deeparnab Chakrabarty,et al.  Knapsack Problems , 2008 .

[8]  Richard M. Karp,et al.  The Differencing Method of Set Partitioning , 1983 .

[9]  C. P. Schnorr,et al.  A Hierarchy of Polynomial Time Lattice Basis Reduction Algorithms , 1987, Theor. Comput. Sci..

[10]  W. F. Lunnon,et al.  Integer sets with distinct subset-sums , 1988 .

[11]  Paolo Toth,et al.  Knapsack Problems: Algorithms and Computer Implementations , 1990 .

[12]  Oded Regev,et al.  Tensor-based hardness of the shortest vector problem to within almost polynomial factors , 2007, STOC '07.

[13]  Jiri Matousek,et al.  Lectures on discrete geometry , 2002, Graduate texts in mathematics.

[14]  Dorit Aharonov,et al.  Lattice Problems in NP cap coNP , 2004, FOCS.

[15]  László Lovász,et al.  Algorithmic theory of numbers, graphs and convexity , 1986, CBMS-NSF regional conference series in applied mathematics.

[16]  Phong Q. Nguyen,et al.  The LLL Algorithm - Survey and Applications , 2009, Information Security and Cryptography.

[17]  Jeffrey C. Lagarias,et al.  Korkin-Zolotarev bases and successive minima of a lattice and its reciprocal lattice , 1990, Comb..

[18]  Dock Bumpers,et al.  Volume 2 , 2005, Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..

[19]  F. John Extremum Problems with Inequalities as Subsidiary Conditions , 2014 .

[20]  László Lovász,et al.  Geometric algorithms and algorithmic geometry , 1990 .

[21]  T. Bohman A sum packing problem of Erdös and the Conway-Guy sequence , 1996 .

[22]  Raphael Yuster,et al.  On the Size of Dissociated Bases , 2011, Electron. J. Comb..

[23]  Christos H. Papadimitriou,et al.  On the Complexity of the Parity Argument and Other Inefficient Proofs of Existence , 1994, J. Comput. Syst. Sci..

[24]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[25]  Stephan Mertens The Easiest Hard Problem: Number Partitioning , 2006, Computational Complexity and Statistical Physics.