On a Geometric Interpretation Of the Subset Sum Problem

Abstract

For $S \in \mathbb{N}^n$ and $T \in \mathbb{N}$, the Subset Sum Problem (SSP) $\exists^? x \in \{0,1\}^n $ such that $S^T\cdot x = T$ can be interpreted as the problem of deciding whether the intersection of the positive unit hypercube $Q_n = [0,1]^n$ with the hyperplane $S^T\cdot \left(x - \frac{S}{\|S\|^2 }\cdot T \right) = 0$ contains at least a vertex. In this paper, we give an algorithm of complexity $\mathcal{O}\left( \frac{1}ε\cdot n^b \right)$, for some absolute constant $b$, which either proves that there are no vertices in a slab of thickness $ε$ either finds a vertex in the slab of thickness $4\cdot ε$. It is shown that any vertex $P$ in a slab of thickness $ε$ meets $\left| \frac{S^T\cdot P}{T} - 1 \right| \leq ε$, therefore making the proposed algorithm a FPTAS for the SSP. The results are then applied to the study of the so called Simultaneous Subset-Sum Problem (SSSP).

Figures (2)

• Figure 1: Planar representation of approximating one normal vector ($S$ with black) by another vector ($U$, with red).
• Figure 2: Planar representation of local plane approximation by sphere

Theorems & Definitions (16)

• definition 1
• theorem 1
• theorem 2
• lemma 1
• proof
• theorem 3
• proof
• theorem 4
• proof
• theorem 5