arXiv:2607. 23785v1 Announce Type: cross Abstract: The Simple Temporal Problem (STP) is a core framework for quantitative temporal constraints.
By Johannes K. Fichte, Johanna Groven, Peter Jonsson, Victor Lagerkvist, Jorke M. de Vlas
arXiv:2602. 21312v4 Announce Type: replace-cross Abstract: This work considers a number of optimization problems and reductive relations between them.
By Micha{\l} Szyfelbein, Dariusz Dereniowski
The paper investigates how optimization algorithms for hard combinatorial problems converge to trivial solutions. By combining rigorous large‑graph asymptotics with numerical experiments on maximum independent set and maximum K‑SAT, the authors show that convergence to the theoretically predicted bounds is extremely slow, especially in the intermediate regime of high constraint density. This reveals a significant gap between finite‑size performance and asymptotic expectations, indicating that practical algorithm design remains essential even when theory predicts inevitable failure.
By Ali Hussaini Umar, Jean Barbier, Matthieu Jonckheere, Manuel S\'aenz
arXiv:2002. 11508v3 Announce Type: replace Abstract: TCSPs (Temporal Constraint Satisfaction Problems) [Dechter et al.
By Amar Isli
The paper proves that several decision and approximation problems for ReLU neural networks are computationally hard. For any number of layers λ≥2, deciding whether a network’s output is positive (and thus whether it is surjective) is W[ℓ−1]-hard when parameterized by the input dimension d. In particular, for two-layer networks, the related geometric problem of zonotope non‑containment is W[1]-hard in the ambient dimension, and computing or approximating the Lp‑Lipschitz constant is NP‑hard and W[ℓ−1]-hard with respect to d. The results also show that these problems remain hard when parameterized by the number of layers for constant d, implying that naive enumeration algorithms running in n^{(ℓ−1)d}·poly(N) time are essentially optimal under the Exponential Time Hypothesis.
By Vincent Froese, Moritz Grillo, Christoph Hertrich, Moritz Stargalla
The paper investigates how algorithms for hard combinatorial optimization problems converge to trivial solutions, focusing on finite-size behavior rather than asymptotic limits. By analyzing large-graph asymptotics and running numerical experiments on problems like maximum independent set and maximum K‑SAT, the authors show that convergence to theoretically predicted bounds is surprisingly slow. In the intermediate regime of high constraint density, local algorithms actually outperform their asymptotic predictions, highlighting a gap between finite-regime performance and asymptotic theory.