中文
相关论文

相关论文: Optimization and Physics: On the satisfiability of…

200 篇论文

In recent years, semidefinite relaxations of common optimization problems in robotics have attracted growing attention due to their ability to provide globally optimal solutions. In many cases, it was shown that specific handcrafted…

机器人学 · 计算机科学 2024-10-03 Frederike Dümbgen , Connor Holmes , Ben Agro , Timothy D. Barfoot

Bayesian optimization is a coherent, ubiquitous approach to decision-making under uncertainty, with applications including multi-arm bandits, active learning, and black-box optimization. Bayesian optimization selects decisions (i.e.…

机器学习 · 计算机科学 2023-12-13 Samuel Stanton , Wesley Maddox , Andrew Gordon Wilson

How to understand the set of correlations admissible in nature is one outstanding open problem in the core of the foundations of quantum theory. Here we take a complementary viewpoint to the device-independent approach, and explore the…

量子物理 · 物理学 2023-08-16 John H. Selby , Ana Belén Sainz , Victor Magron , Łukasz Czekaj , Michał Horodecki

An active topic in the study of random constraint satisfaction problems (CSPs) is the geometry of the space of satisfying or almost satisfying assignments as the function of the density, for which a precise landscape of predictions has been…

数据结构与算法 · 计算机科学 2021-06-25 Jun-Ting Hsieh , Sidhanth Mohanty , Jeff Xu

To facilitate the design and optimization of nanomaterials for a given application it is necessary to understand the relationship between structure and physical properties. For large nanomaterials, there is imprecise structural information…

介观与纳米尺度物理 · 物理学 2015-02-10 Vladan Mlinar

Bayesian optimization is a methodology to optimize black-box functions. Traditionally, it focuses on the setting where you can arbitrarily query the search space. However, many real-life problems do not offer this flexibility; in…

This paper is devoted to the complexity of the Boolean satisfiability problem. We consider a version of this problem, where the Boolean formula is specified in the conjunctive normal form. We prove an unexpected result that the…

计算复杂性 · 计算机科学 2018-07-23 Grigoriy V. Bokov

Many optimization problems incorporate uncertainty affecting their parameters and thus their objective functions and constraints. As an example, in chance-constrained optimization the constraints need to be satisfied with a certain…

系统与控制 · 电气工程与系统科学 2020-01-09 Miguel Picallo , Florian Dörfler

This paper develops a novel approach to necessary optimality conditions for constrained variational problems defined in generally incomplete subspaces of absolutely continuous functions. Our approach involves reducing a variational problem…

最优化与控制 · 数学 2021-11-01 Ashkan Mohammadi , Boris Mordukhovich

In this thesis I discuss combinatorial optimization problems, from the statistical physics perspective. The starting point are the motivations which brought physicists together with computer scientists and mathematicians to work on this…

无序系统与神经网络 · 物理学 2020-01-13 Andrea Di Gioacchino

We consider chance constrained optimization where it is sought to optimize a function while complying with constraints, both of which are affected by uncertainties. The high computational cost of realistic simulations strongly limits the…

Many constraint satisfaction and optimisation problems can be solved effectively by encoding them as instances of the Boolean Satisfiability problem (SAT). However, even the simplest types of constraints have many encodings in the…

人工智能 · 计算机科学 2023-11-09 Felix Ulrich-Oltean , Peter Nightingale , James Alfred Walker

Compared with constraint satisfaction problems, counting problems have received less attention. In this paper, we survey research works on the problems of counting the number of solutions to constraints. The constraints may take various…

人工智能 · 计算机科学 2020-12-29 Jian Zhang , Cunjing Ge , Feifei Ma

We investigate the connections between compression learning and scenario based optimization. We first show how to strengthen, or relax the consistency assumption at the basis of compression learning and study the learning and generalization…

系统与控制 · 计算机科学 2014-03-07 Kostas Margellos , Maria Prandini , John Lygeros

The Boolean satisfiability problem (SAT) is a well-known example of monotonic reasoning, of intense practical interest due to fast solvers, complemented by rigorous fine-grained complexity results. However, for non-monotonic reasoning,…

计算复杂性 · 计算机科学 2025-05-16 Victor Lagerkvist , Mohamed Maizia , Johannes Schmidt

In this paper, we develop a unified framework for studying constrained robust optimal control problems with adjustable uncertainty sets. In contrast to standard constrained robust optimal control problems with known uncertainty sets, we…

最优化与控制 · 数学 2016-06-09 Xiaojing Zhang , Maryam Kamgarpour , Angelos Georghiou , Paul Goulart , John Lygeros

Accelerated discovery in materials science demands autonomous systems capable of dynamically formulating and solving design problems. In this work, we introduce a novel framework that leverages Bayesian optimization over a problem…

系统与控制 · 电气工程与系统科学 2025-02-11 Danial Khatamsaz , Joseph Wagner , Brent Vela , Raymundo Arroyave , Douglas L. Allaire

An overview of some methods of statistical physics applied to the analysis of algorithms for optimization problems (satisfiability of Boolean constraints, vertex cover of graphs, decoding, ...) with distributions of random inputs is…

计算复杂性 · 计算机科学 2007-05-23 Simona Cocco , Remi Monasson , Andrea Montanari , Guilhem Semerjian

In many decision-making processes, one may prefer multiple solutions to a single solution, which allows us to choose an appropriate solution from the set of promising solutions that are found by algorithms. Given this, finding a set of…

数据结构与算法 · 计算机科学 2024-12-06 Tatsuya Gima , Yuni Iwamasa , Yasuaki Kobayashi , Kazuhiro Kurita , Yota Otachi , Rin Saito

In typical applications of Bayesian optimization, minimal assumptions are made about the objective function being optimized. This is true even when researchers have prior information about the shape of the function with respect to one or…

机器学习 · 统计学 2016-12-30 Michael Jauch , Víctor Peña