中文
相关论文

相关论文: Impact of domain reduction techniques in polynomia…

200 篇论文

This paper presents a pseudo-spectral method for Dynamic Optimization Problems (DOPs) that allows for tight polynomial bounds to be achieved via flexible sub-intervals. The proposed method not only rigorously enforces inequality…

最优化与控制 · 数学 2026-04-08 Eduardo M. G. Vila , Eric C. Kerrigan , Paul Bruce

In this paper, we focus on nonlinear infinite-norm minimization problems that have many applications, especially in computer science and operations research. We set a reliable Lagrangian dual aproach for solving this kind of problems in…

计算复杂性 · 计算机科学 2011-06-07 Wajeb Gharibi , Yong Xia

We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An important aspect is detecting when enumeration was complete and…

编程语言 · 计算机科学 2017-01-04 Sebastian Krings , Michael Leuschel

This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model supports declarative programming with lazy and possibly…

We present a hierarchy of tractable relaxations to obtain lower bounds on the minimum value of a polynomial over a constraint set defined by polynomial equations. In contrast to previous convex relaxation techniques for this problem, our…

最优化与控制 · 数学 2025-07-23 Elvira Moreno , Venkat Chandrasekaran

Network slicing across multiple administrative domains raises two coupled challenges: enforcing slice-specific trust constraints while enabling fast online admission and placement decisions. This paper considers a multi-domain…

网络与互联网体系结构 · 计算机科学 2026-04-02 Julien Ali El Amine , Nour El Houda Nouar , Olivier Brun

This paper describes new results linking constrained optimization theory and nonlinear contraction analysis. Generalizations of Lagrange parameters are derived based on projecting system dynamics on the tangent space of possibly…

数学物理 · 物理学 2012-06-11 Jonathan Soto , Jean-Jacques E. Slotine

Poor generalization performance caused by distribution shifts in unseen domains often hinders the trustworthy deployment of deep neural networks. Many domain generalization techniques address this problem by adding a domain invariant…

Solving mixed-integer optimization problems with embedded neural networks with ReLU activation functions is challenging. Big-M coefficients that arise in relaxing binary decisions related to these functions grow exponentially with the…

最优化与控制 · 数学 2025-02-06 Christoph Plate , Mirko Hahn , Alexander Klimek , Caroline Ganzer , Kai Sundmacher , Sebastian Sager

In this paper, we study the optimality gap between two-layer ReLU networks regularized with weight decay and their convex relaxations. We show that when the training data is random, the relative optimality gap between the original problem…

机器学习 · 计算机科学 2024-07-15 Sungyoon Kim , Mert Pilanci

Fine-tuning is known to improve NLP models by adapting an initial model trained on more plentiful but less domain-salient examples to data in a target domain. Such domain adaptation is typically done using one stage of fine-tuning. We…

计算与语言 · 计算机科学 2021-09-08 Haoran Xu , Seth Ebner , Mahsa Yarmohammadi , Aaron Steven White , Benjamin Van Durme , Kenton Murray

The continuous nonlinear resource allocation problem (CONRAP) has broad applications in economics, engineering, production and inventory management, and often serves as a subproblem in complex programming. Without relying on monotonicity…

最优化与控制 · 数学 2025-01-10 Kaixiang Hu , Caixia Kou , Jianhua Yuan

Given enough data, Deep Neural Networks (DNNs) are capable of learning complex input-output relations with high accuracy. In several domains, however, data is scarce or expensive to retrieve, while a substantial amount of expert knowledge…

人工智能 · 计算机科学 2020-02-26 Mattia Silvestri , Michele Lombardi , Michela Milano

In this work we present deep learning implementations of two popular theoretical constrained optimization algorithms in infinite dimensional Hilbert spaces, namely, the penalty and the augmented Lagrangian methods. We test these algorithms…

最优化与控制 · 数学 2024-01-09 Pinak Mandal

We aim to derive effective lower bounds for the Discrete Cost Multicommodity Network Design Problem (DCMNDP). Given an undirected graph, the problem requires installing at most one facility on each edge such that a set of point-to-point…

最优化与控制 · 数学 2017-09-11 Nesrine Bakkar Ennaifer , Safa Bhar Layeb , Farah Mansour Zeghal

Deep Neural Networks and Reinforcement Learning methods have empirically shown great promise in tackling challenging combinatorial problems. In those methods a deep neural network is used as a solution generator which is then trained by…

机器学习 · 计算机科学 2023-11-08 Constantine Caramanis , Dimitris Fotakis , Alkis Kalavasis , Vasilis Kontonis , Christos Tzamos

One of the most fundamental ingredients in mixed-integer nonlinear programming solvers is the well-known McCormick relaxation for a product of two variables x and y over a box-constrained domain. The starting point of this paper is the fact…

最优化与控制 · 数学 2020-01-13 Benjamin Müller , Felipe Serrano , Ambros Gleixner

This paper introduces an abstract framework for randomized subspace correction methods for convex optimization, which unifies and generalizes a broad class of existing algorithms, including domain decomposition, multigrid, and block…

最优化与控制 · 数学 2026-04-28 Boou Jiang , Jongho Park , Jinchao Xu

In this paper, we propose a machine learning (ML) method to learn how to solve a generic constrained continuous optimization problem. To the best of our knowledge, the generic methods that learn to optimize, focus on unconstrained…

机器学习 · 计算机科学 2021-01-05 Seyedrazieh Bayati , Faramarz Jabbarvaziri

Background/Context: Large Language Models (LLMs) demonstrate strong performance on low-dimensional software engineering optimization tasks ($\le$11 features) but consistently underperform on high-dimensional problems where Bayesian methods…

软件工程 · 计算机科学 2026-02-04 Srinath Srinivasan , Tim Menzies