中文
相关论文

相关论文: New Core-Guided and Hitting Set Algorithms for Mul…

200 篇论文

Multiple objects tracking (MOT) is a difficult task, as it usually requires special hardware and higher computation complexity. In this work, we present a new framework of MOT by using of equilibrium optimizer (EO) algorithm and reducing…

计算机视觉与模式识别 · 计算机科学 2022-05-25 Djemai Charef-Khodja , Toumi Abida

Boolean satisfiability is a propositional logic problem of interest in multiple fields, e.g., physics, mathematics, and computer science. Beyond a field of research, instances of the SAT problem, as it is known, require efficient solution…

新兴技术 · 计算机科学 2020-11-13 S. R. B. Bearden , Y. R. Pei , M. Di Ventra

Benchmark problems play a central role in assessing the performance of numerical optimization algorithms. However, many existing constrained multiobjective optimization benchmark problems rely on overly restricted constructions or lack…

最优化与控制 · 数学 2026-04-13 Anne Auger , Dimo Brockhoff , Luka Opravš , Tea Tušar

This work addresses a Multi-Objective Shortest Path Problem (MO-SPP) on a graph where the goal is to find a set of Pareto-optimal solutions from a start node to a destination in the graph. A family of approaches based on MOA* have been…

人工智能 · 计算机科学 2022-05-31 Zhongqiang Ren , Richard Zhan , Sivakumar Rathinam , Maxim Likhachev , Howie Choset

In the field of quantum computing, combinatorial optimization problems are typically addressed using QUBO (Quadratic Unconstrained Binary Optimization) solvers. However, these solvers are often insufficient for tackling higher-order…

量子物理 · 物理学 2024-07-24 Yuichiro Minato

Software engineers must make decisions that trade off competing goals (faster vs. cheaper, secure vs. usable, accurate vs. interpretable, etc.). Despite MSR's proven techniques for exploring such goals, researchers still struggle with these…

软件工程 · 计算机科学 2026-02-10 Tim Menzies , Tao Chen , Yulong Ye , Kishan Kumar Ganguly , Amirali Rayegan , Srinath Srinivasan , Andre Lustosa

An important benefit of multi-objective search is that it maintains a diverse population of candidates, which helps in deceptive problems in particular. Not all diversity is useful, however: candidates that optimize only one objective while…

神经与进化计算 · 计算机科学 2019-08-06 Hormoz Shahrzad , Babak Hodjat , Camille Dollé , Andrei Denissov , Simon Lau , Donn Goodhew , Justin Dyer , Risto Miikkulainen

In this paper we propose the approach for constructing partitionings of hard variants of the Boolean satisfiability problem (SAT). Such partitionings can be used for solving corresponding SAT instances in parallel. For the same SAT instance…

人工智能 · 计算机科学 2015-10-23 Alexander Semenov , Oleg Zaikin

A supervised feature selection method selects an appropriate but concise set of features to differentiate classes, which is highly expensive for large-scale datasets. Therefore, feature selection should aim at both minimizing the number of…

机器学习 · 计算机科学 2024-02-21 Sevil Zanjani Miyandoab , Shahryar Rahnamayan , Azam Asilian Bidgoli

The problem of selecting an algorithm that appears most suitable for a specific instance of an algorithmic problem class, such as the Boolean satisfiability problem, is called instance-specific algorithm selection. Over the past decade, the…

机器学习 · 计算机科学 2021-07-21 Alexander Tornede , Lukas Gehring , Tanja Tornede , Marcel Wever , Eyke Hüllermeier

Multiobjective optimization plays an increasingly important role in modern applications, where several criteria are often of equal importance. The task in multiobjective optimization and multiobjective optimal control is therefore to…

A general framework of unsupervised learning for combinatorial optimization (CO) is to train a neural network (NN) whose output gives a problem solution by directly optimizing the CO objective. Albeit with some advantages over traditional…

机器学习 · 计算机科学 2023-01-24 Haoyu Wang , Pan Li

This paper introduces a new approach to solving a continuous-time version of the multi-agent path finding problem. The algorithm translates the problem into an extension of the classical Boolean satisfiability problem, satisfiability modulo…

多智能体系统 · 计算机科学 2023-12-18 Tomáš Kolárik , Stefan Ratschan , Pavel Surynek

Computational design problems arise in a number of settings, from synthetic biology to computer architectures. In this paper, we aim to solve data-driven model-based optimization (MBO) problems, where the goal is to find a design input that…

机器学习 · 计算机科学 2021-07-15 Brandon Trabucco , Aviral Kumar , Xinyang Geng , Sergey Levine

Dynamical systems can offer a novel non-Boolean approach to computing. Specifically, the natural minimization of energy in the system is a valuable property for minimizing the objective functions of combinatorial optimization problems, many…

动力系统 · 数学 2022-09-19 Mohammad Khairul Bashar , Zongli Lin , Nikhil Shukla

A novel multiscale consensus-based optimization (CBO) algorithm for solving bi- and tri-level optimization problems is introduced. Existing CBO techniques are generalized by the proposed method through the employment of multiple interacting…

最优化与控制 · 数学 2025-06-23 Michael Herty , Yuyang Huang , Dante Kalise , Hicham Kouhkouh

The majority of multi-agent system (MAS) implementations aim to optimise agents' policies with respect to a single objective, despite the fact that many real-world problem domains are inherently multi-objective in nature. Multi-objective…

多智能体系统 · 计算机科学 2020-11-17 Roxana Rădulescu , Patrick Mannion , Diederik M. Roijers , Ann Nowé

Recent advances in the visualization of continuous multimodal multi-objective optimization (MMMOO) landscapes brought a new perspective to their search dynamics. Locally efficient (LE) sets, often considered as traps for local search, are…

最优化与控制 · 数学 2022-04-25 Lennart Schäpermeier , Christian Grimme , Pascal Kerschke

Multi-objectivization is a term used to describe strategies developed for optimizing single-objective problems by multi-objective algorithms. This paper focuses on multi-objectivizing the sum-of-the-parts combinatorial optimization…

神经与进化计算 · 计算机科学 2021-02-04 Jialong Shi , Jianyong Sun , Qingfu Zhang