Imagen de Portada

On the Degree Automatability of Sum-of-Squares Proofs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bortolotti, Alex, Mastrolilli, Monaldo, Vargas, Luis Felipe
Formato:	Preprint
Publicado:	2025
Materias:	Computational Complexity Optimization and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
por: Bortolotti, Alex, et al.
Publicado: (2025)

Computational complexity of sum-of-squares bounds for copositive programs
por: Palomba, Marilena, et al.
Publicado: (2025)

Ideal Membership Problem for Boolean Minority and Dual Discriminator
por: Bharathi, Arpitha P., et al.
Publicado: (2024)

Sum-of-Squares & Gaussian Processes I: Certification
por: Sandhu, Juspreet Singh, et al.
Publicado: (2024)

Branch-and-Bound Algorithms as Polynomial-time Approximation Schemes
por: Encz, Koppány István, et al.
Publicado: (2025)

The Integrality Gap of the Traveling Salesman Problem is $4/3$ if the LP Solution Has at Most $n+6$ Non-zero Components
por: Villa, Tullio, et al.
Publicado: (2025)

On the Complexity of p-Order Cone Programs
por: Blanco, Víctor, et al.
Publicado: (2025)

Efficient LP warmstarting for linear modifications of the constraint matrix
por: Derval, Guillaume, et al.
Publicado: (2025)

Parameterized complexity of scheduling unit-time jobs with generalized precedence constraints
por: Büsing, Christina, et al.
Publicado: (2025)

Benchmarking of Quantum and Classical Computing in Large-Scale Dynamic Portfolio Optimization Under Market Frictions
por: Chen, Ying, et al.
Publicado: (2025)

Counterfactual Explanations for Integer Optimization Problems
por: Engelhardt, Felix, et al.
Publicado: (2025)

A parameterized linear formulation of the integer hull
por: Eisenbrand, Friedrich, et al.
Publicado: (2025)

Iterative Optimization of Multidimensional Functions on Turing Machines under Performance Guarantees
por: Boche, Holger, et al.
Publicado: (2025)

On a class of interdiction problems with partition matroids: complexity and polynomial-time algorithms
por: Ketkov, Sergey S., et al.
Publicado: (2024)

Hardness of some optimization problems over correlation polyhedra
por: Caprara, Alberto, et al.
Publicado: (2026)

On the Induced Norms of Matrices and Grothendieck problems
por: Truong, Lan V., et al.
Publicado: (2026)

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

Avoiding Deadlocks via Weak Deadlock Sets
por: Oriolo, Gianpaolo, et al.
Publicado: (2024)

A System-Dynamic Based Simulation and Bayesian Optimization for Inventory Management
por: Maitra, Sarit
Publicado: (2024)

Learning complexity of gradient descent and conjugate gradient algorithms
por: Jiao, Xianqi, et al.
Publicado: (2024)

Geometric and computational hardness of bilevel programming
por: Bolte, Jérôme, et al.
Publicado: (2024)

Policy Gradient Algorithms in Average-Reward Multichain MDPs
por: Lee, Jongmin, et al.
Publicado: (2026)

The Complexity of Computing KKT Solutions of Quadratic Programs
por: Fearnley, John, et al.
Publicado: (2023)

Reduction from the partition problem: Dynamic lot sizing problem with polynomial complexity
por: Sim, Chee-Khian
Publicado: (2024)

Tight Time Complexities in Parallel Stochastic Optimization with Arbitrary Computation Dynamics
por: Tyurin, Alexander
Publicado: (2024)

On Big-M Reformulations of Bilevel Linear Programs: Hardness of A Posteriori Verification
por: Ketkov, Sergey S., et al.
Publicado: (2026)

A parallel framework for graphical optimal transport
por: Fan, Jiaojiao, et al.
Publicado: (2024)

The Complexity of Recognizing Facets for the Knapsack Polytope
por: Chen, Rui, et al.
Publicado: (2022)

Information Redistribution Under Reductions in NP Search
por: Wei, Jing-Yuan
Publicado: (2026)

On the integrality Gap of Small Asymmetric Traveling Salesman Problems: A Polyhedral and Computational Approach
por: Vercesi, Eleonora, et al.
Publicado: (2025)

Query-Efficient Zeroth-Order Algorithms for Nonconvex Constrained Optimization
por: Jin, Ruiyang, et al.
Publicado: (2025)

Optimal Sensor and Actuator Selection for Factored Markov Decision Processes: Complexity, Approximability and Algorithms
por: Bhargav, Jayanth, et al.
Publicado: (2024)

Real Stability and Log Concavity are coNP-Hard
por: Chin, Tracy
Publicado: (2024)

Lower bounds for the integrality gap of the bi-directed cut formulation of the Steiner Tree Problem
por: Bernardelli, Ambrogio Maria, et al.
Publicado: (2024)

Two Choices are Enough for P-LCPs, USOs, and Colorful Tangents
por: Borzechowski, Michaela, et al.
Publicado: (2024)

Decentralized Projection-free Online Upper-Linearizable Optimization with Applications to DR-Submodular Optimization
por: Lu, Yiyang, et al.
Publicado: (2025)

(Sub)Exponential Quantum Speedup for Optimization
por: Leng, Jiaqi, et al.
Publicado: (2025)

The Complexity of Finding Local Optima in Contrastive Learning
por: Yan, Jingming, et al.
Publicado: (2025)

Solving The Travelling Salesman Problem Using A Single Qubit
por: Goswami, Kapil, et al.
Publicado: (2024)

Linear Equations with Min and Max Operators: Computational Complexity
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)