A dynamic-threshold algorithm (DTA) is developed for a continuous quadratic knapsack problem with a weighted equality constraint that maintains a threshold invariant through three operations--addition, reset, and removal--and its finite termination and correctness are established.
Abstract
Condat's algorithm is an efficient dynamic-threshold method for projection onto the simplex, but its extension to weighted equality constraints and the algorithmic roles of resetting and removal have received limited analysis. We develop a dynamic-threshold algorithm (DTA) for a continuous quadratic knapsack problem with a weighted equality constraint. DTA maintains a threshold invariant through three operations--addition, reset, and removal--and we establish its finite termination and correctness. A sufficient condition under which reset cannot occur motivates a simpler no-reset variant, NDTA. We construct instances for which DTA runs in ${\Theta} (n)$ time whereas NDTA requires $\Theta (n^2)$ time, although both algorithms have quadratic worst-case complexity. We further show that, when the weight ratio and the number of deletions per removal pass are bounded, a linear number of passes with positive threshold increments requires the minimum nonzero gap between input values, normalized by the data range, to be at most $\exp [- \Theta (n \log n)]$. Numerical experiments with up to 10^7 variables demonstrate that DTA and NDTA achieve approximately linear empirical scaling, and outperform Secant, WMVA, Variable Fixing, Newton, Median Search, Heap, and Sort in running time.
We simplify algorithms for Knapsack, output-sensitive Subset Sum, and near-convex min-plus convolution. For bounded Knapsack, we give a deterministic algorithm using $O(N+W^2\log^3(W+2))$ arithmetic and comparison operations, where $W$ is the maximum item weight and $N$ counts input records with binary-encoded multipli...
We give a fixed parameter tractable (FPT) algorithm with running time $f(k,\Delta)\cdot {|I|}^{O(1)}$ for integer linear programs with 4-block structure, parameterized by the maximum block dimension $k$ and the largest absolute matrix entry $\Delta$. This result resolves a long-standing open question in parameterized c...
Klaus Jansen, Felix Ohnesorge, Corinna Wambsganz· 1 citation
This work demonstrates that one can actually implement the hashing algorithm on available hardware, without an asymptotic increase in step and space complexity, under the reasonable assumption that $m=\Omega(n)$.
D. Bencivenga, Homa Habashi, Philipp Woelfel· 0 citations
The ordinal algorithm accepts every element of a fixed canonical optimum with probability exactly $1/C_*$ and uses O(n^2)$ independence queries and the resulting guarantee has a direct analytic proof.
Hau Chan, Jia-Nan Lin, Chen-Hao Wang· 4 citations· ⚡2
Many robust planning problems are solved by checking a family of ordinary optimization problems, one for each uncertainty threshold. Repeatedly building and solving those relaxations can dominate runtime. We show that, when a decision chooses exactly one option from each group, the entire threshold family of multiple-c...
Online covering in which each instantaneous service pays its purchase cost and one maximum waiting time, with no effect on future requests is studied, finding an offline consecutive-batch normal form that transfers static approximation guarantees to the offline problem.