Image de couverture de livre

Forall-exist statements in pseudopolynomial time

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bach, Eleonore, Eisenbrand, Friedrich, Rothvoss, Thomas, Weismantel, Robert
Format:	Preprint
Publié:	2023
Sujets:	Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A parameterized linear formulation of the integer hull
par: Eisenbrand, Friedrich, et autres
Publié: (2025)

From approximate to exact integer programming
par: Dadush, Daniel, et autres
Publié: (2022)

Alternating Linear Minimization: Revisiting von Neumann's alternating projections
par: Braun, Gábor, et autres
Publié: (2022)

A Threshold Phenomenon for the Shortest Lattice Vector Problem in the Infinity Norm
par: Kuhlmann, Stefan, et autres
Publié: (2025)

Sparse Approximation in Lattices and Semigroups
par: Kuhlmann, Stefan, et autres
Publié: (2024)

On Matrices over a Polynomial Ring with Restricted Subdeterminants
par: Celaya, Marcel, et autres
Publié: (2023)

Wavelet-Based Multiscale Flow For Realistic Image Deformation in the Large Diffeomorphic Deformation Model Framework
par: Gaudfernau, Fleur, et autres
Publié: (2025)

On the existence of extremal solutions for the conjugate discrete-time Riccati equation
par: Chiang, Chun-Yueh
Publié: (2024)

A simple proof of existence of Lagrange multipliers
par: Haeser, Gabriel, et autres
Publié: (2024)

On the existence of Monge maps for the Gromov-Wasserstein problem
par: Dumont, Théo, et autres
Publié: (2022)

Variational Dynamic Programming for Stochastic Optimal Control
par: Lambert, Marc, et autres
Publié: (2024)

On the existence of KKL observers with nonlinear contracting dynamics (Long Version)
par: Pachy, Victor, et autres
Publié: (2024)

On the Effectiveness of the z-Transform Method in Quadratic Optimization
par: Bach, Francis
Publié: (2025)

A Convex Loss Function for Set Prediction with Optimal Trade-offs Between Size and Conditional Coverage
par: Bach, Francis
Publié: (2025)

The existence and controllability of nonautonomous system influenced by impulses on both state and control
par: Gupta, Garima, et autres
Publié: (2024)

An existence theorem for single leader multi-follower games with direct preference maps
par: Chummongkhon, Yutthakan, et autres
Publié: (2025)

A fast continuous time approach for non-smooth convex optimization with time scaling and Tikhonov regularization
par: Csetnek, Robert Ernö, et autres
Publié: (2022)

A CAV-based perimeter-free regional traffic control strategy utilizing existing parking infrastructure
par: Liu, Hao, et autres
Publié: (2024)

On the existence of Monge solutions to multi-marginal optimal transport with quadratic cost and uniform discrete marginals
par: Emami, Pedram, et autres
Publié: (2024)

Weak condition for the existence of control sets with a nonempty interior of linear control systems on nilpotent groups
par: Da Silva, Adriano, et autres
Publié: (2023)

On the existence of reduced order proportional-integral observer for the state estimation of continuous-time linear time-invariant systems
par: Kiritsis, Konstadinos H.
Publié: (2024)

Scaling Laws for Gradient Descent and Sign Descent for Linear Bigram Models under Zipf's Law
par: Kunstner, Frederik, et autres
Publié: (2025)

Nearly-Tight Bounds for Zonotope Containment and Beyond
par: Eisenbrand, Friedrich, et autres
Publié: (2026)

Two-stage stochastic algorithm for solving large-scale (non)-convex separable optimization problems under affine constraints
par: Dubois-Taine, Benjamin, et autres
Publié: (2026)

The Subspace Flatness Conjecture and Faster Integer Programming
par: Reis, Victor, et autres
Publié: (2023)

Social optimum of finite mean field games: existence and uniqueness of equilibrium solutions in the finite horizon and stationary solutions in the infinite horizon
par: Niu, Zijia, et autres
Publié: (2024)

A geometric simplex method in infinite-dimensional spaces
par: Smith, Robert L, et autres
Publié: (2026)

Towards stochastic realization theory for Generalized Linear Switched Systems with inputs: decomposition into stochastic and deterministic components and existence and uniqueness of innovation form
par: Rouphael, Elie, et autres
Publié: (2024)

A Spectral Framework for Closed-Form Relative Density Estimation
par: Bach, Francis
Publié: (2026)

Bringing Quantum Systems under Control: A Tutorial Invitation to Quantum Computing and Its Relation to Bilinear Control Systems
par: Berberich, Julian, et autres
Publié: (2024)

Epsilon-Greedy Thompson Sampling to Bayesian Optimization
par: Do, Bach, et autres
Publié: (2024)

Constrained Nonnegative Gram Feasibility is $\exists\mathbb{R}$-Complete
par: Majumdar, Angshul
Publié: (2026)

Negative curvature obstructs the existence of good barriers for interior-point methods
par: Criscitiello, Christopher, et autres
Publié: (2026)

Unstable free boundary problems in optimal control theory: existence and regularity
par: Ferreri, Lorenzo, et autres
Publié: (2026)

Optimizing Posterior Samples for Bayesian Optimization via Rootfinding
par: Adebiyi, Taiwo A., et autres
Publié: (2024)

Gaussian Process Thompson Sampling via Rootfinding
par: Adebiyi, Taiwo A., et autres
Publié: (2024)

Semiconcavity for the minimum time problem in presence of time delay effects
par: Continelli, Elisa, et autres
Publié: (2023)

Asymptotic flocking for the Cucker-Smale model with time variable time delays
par: Continelli, Elisa
Publié: (2022)

On the design of new classes of fixed-time stable systems with predefined upper bound for the settling time
par: Aldana-López, R., et autres
Publié: (2019)

Integrated Investment and Policy Planning for Power Systems via Differentiable Scenario Generation
par: Mieth, Robert
Publié: (2026)