Skip to content
Preprint

Dynamic-Threshold Algorithms for the Continuous Quadratic Knapsack Problem: Reset Mechanisms and Complexity

Aug 2026 · 0 citations · 23 references
Mathematics

TL;DR

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.

View source

Similar papers

Preprint Sep 2026

Simpler Algorithms for Knapsack, Subset Sum, and Min-Plus Convolution

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...

Trevor Vaughn · 0 citations
Preprint Sep 2026

A Fixed-Parameter Algorithm for 4-Block Integer Programming

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
Preprint Aug 2026

Efficient Randomized LL/SC that Preserves History Independence

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
Preprint Sep 2026

A 3.1462-Competitive Algorithm for Matroid Secretary

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
Preprint Aug 2026

Simultaneous Group-Envelope Bounds for $\Gamma$-Robust Multiple-Choice Knapsack Problems

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...

Zichao Shao · 0 citations
Preprint Sep 2026

Online Covering with Maximum Delay under Subadditive Service Costs

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.

Tian-Han Lu, Run-Tian Ren, Sheng-Cai Liu · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.