Abstract:We study the parameterized complexity of algorithmic problems whose input is an integer set $A$ in terms of the doubling constant $C := |A + A|/|A|$, a fundamental measure of additive structure. We present evidence that this new parameterization is algorithmically useful in the form of new results for two difficult, well-studied problems: Integer Programming and Subset Sum. First, we show that determining the feasibility of bounded Integer Programs is a tractable problem when parameterized in the doubling constant. Specifically, we prove that the feasibility of an integer program $I$ with $n$ polynomially-bounded variables and $m$ constraints can be determined in time $n^{O_C(1)} poly(|I|)$ when the column set of the constraint matrix has doubling constant $C$. Second, we show that the Subset Sum and Unbounded Subset Sum problems can be solved in time $n^{O_C(1)}$ and $n^{O_C(\log \log \log n)}$, respectively, where the $O_C$ notation hides functions that depend only on the doubling constant $C$. We also show the equivalence of achieving an FPT algorithm for Subset Sum with bounded doubling and achieving a milestone result for the parameterized complexity of Box ILP. Finally, we design near-linear time algorithms for $k$-SUM as well as tight lower bounds for 4-SUM and nearly tight lower bounds for $k$-SUM, under the $k$-SUM conjecture. Several of our results rely on a new proof that Freiman's Theorem, a central result in additive combinatorics, can be made efficiently constructive. This result may be of independent interest.

A Parameterized Halting Problem, Δ_0 Truth and the MRDP Theorem

A Parameterized Halting Problem, Truth And The Mrdp Theorem

A Parameterized Halting Problem, the Linear Time Hierarchy, and the MRDP Theorem.

Some Lower Bounds in Parameterized AC^0.

A Logic for PTIME and a Parameterized Halting Problem

On Slicewise Monotone Parameterized Problems And Optimal Proof Systems For Taut

On Miniaturized Problems in Parameterized Complexity Theory

Bounded Nondeterminism and Alternation in Parameterized Complexity Theory

The Parameterized Space Complexity of Model-Checking Bounded Variable First-Order Logic

Parameterized Parallel Computing and First-Order Logic.

On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT.

On the Complexity of Gödel's Proof Predicate

Counting Problems in Parameterized Complexity

The Parameterized Complexity of Maximality and Minimality Problems

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

Quantum Parameterized Complexity

Deciding branching hyperproperties for real time systems

Parameterized Verification of Disjunctive Timed Networks

Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction

Parameterized Algorithms on Integer Sets with Small Doubling: Integer Programming, Subset Sum and k-SUM

Lower bounds for algebraic computation trees with integer inputs