English
Related papers

Related papers: New heuristic to choose a cylindrical algebraic de…

200 papers

Optimally selecting a subset of targets from a larger catalog is a common problem in astronomy and cosmology. A specific example is the selection of targets from an imaging survey for multi-object spectrographic follow-up. We present a new…

Astrophysics · Physics 2009-11-11 E. C. Elson , B. A. Bassett , K. van der Heyden , Z. Z. Vilakazi

We consider an extension of the set covering problem (SCP) introducing (i)~multicover and (ii)~generalized upper bound (GUB)~constraints. For the conventional SCP, the pricing method has been introduced to reduce the size of instances, and…

Data Structures and Algorithms · Computer Science 2018-01-09 Shunji Umetani , Masanao Arakawa , Mutsunori Yagiura

Demonstrating quantum speedup for approximate optimization of classical spin glasses is of current interest. Such a demonstration must be done with respect to the best-known scaling of classical heuristics at a given optimality gap of a…

Disordered Systems and Neural Networks · Physics 2026-02-04 Adil A. Gangat

Clustering algorithms have regained momentum with recent popularity of data mining and knowledge discovery approaches. To obtain good clustering in reasonable amount of time, various meta-heuristic approaches and their hybridization,…

Machine Learning · Computer Science 2019-01-29 Arjun Pakrashi , Bidyut B. Chaudhuri

We use dense variable-ordering to define HRD (Hybrid-Restriction Diagram), a new BDD-like data-structure for the representation and manipulation of state-spaces of linear hybrid automata. We present and discuss various manipulation…

Data Structures and Algorithms · Computer Science 2007-05-23 Farn Wang

We reconsider the variational integration of optimal control problems for mechanical systems based on a direct discretization of the Lagrange-d'Alembert principle. This approach yields discrete dynamical constraints which by construction…

Optimization and Control · Mathematics 2012-04-30 C. M. Campos , O. Junge , S. Ober-Blöbaum

Mixed Integer Programming (MIP) is NP-hard, and yet modern solvers often solve large real-world problems within minutes. This success can partially be attributed to heuristics. Since their behavior is highly instance-dependent, relying on…

Optimization and Control · Mathematics 2023-04-10 Antonia Chmiela , Ambros Gleixner , Pawel Lichocki , Sebastian Pokutta

Standard algorithms for finding the shortest path in a graph require that the cost of a path be additive in edge costs, and typically assume that costs are deterministic. We consider the problem of uncertain edge costs, with potential…

Artificial Intelligence · Computer Science 2013-02-21 Michael P. Wellman , Matthew Ford , Kenneth Larson

This article studies the problem of modifying the action ordering of a plan in order to optimise the plan according to various criteria. One of these criteria is to make a plan less constrained and the other is to minimize its parallel…

Artificial Intelligence · Computer Science 2011-05-30 C. Backstrom

Acting to complete tasks in stochastic partially observable domains is an important problem in artificial intelligence, and is often formulated as a goal-based POMDP. Goal-based POMDPs can be solved using the RTDP-BEL algorithm, that…

Artificial Intelligence · Computer Science 2024-10-10 Guy Shani

Fair algorithm evaluation is conditioned on the existence of high-quality benchmark datasets that are non-redundant and are representative of typical optimization scenarios. In this paper, we evaluate three heuristics for selecting diverse…

Neural and Evolutionary Computing · Computer Science 2022-04-26 Gjorgjina Cenikj , Ryan Dieter Lang , Andries Petrus Engelbrecht , Carola Doerr , Peter Korošec , Tome Eftimov

We study the demand-robust fleet size vehicle routing problem with time windows and compatibility constraints. Unlike traditional robust optimization, which considers uncertainty in the data, demand-robust optimization considers uncertainty…

Systems and Control · Electrical Eng. & Systems 2024-06-13 Jordan Makansi

We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic…

Symbolic Computation · Computer Science 2011-03-25 Eric Berberich , Pavel Emeliyanenko , Alexander Kobel , Michael Sagraloff

Algorithm configuration methods optimize the performance of a parameterized heuristic algorithm on a given distribution of problem instances. Recent work introduced an algorithm configuration procedure ("Structured Procrastination") that…

Artificial Intelligence · Computer Science 2019-11-11 Robert Kleinberg , Kevin Leyton-Brown , Brendan Lucier , Devon Graham

A novel population-based heuristic algorithm called the adaptive and various learning-based algorithm (AVLA) is proposed for solving general optimization problems in this paper. The main idea of AVLA is inspired by the learning behaviors of…

Optimization and Control · Mathematics 2025-04-16 Sheng-Xue He

Real-time motion planning is a vital function of robotic systems. Different from existing roadmap algorithms which first determine the free space and then determine the collision-free path, researchers recently proposed several convex…

Robotics · Computer Science 2019-03-01 Chaoyi Sun , Qing Li , Li Li

Let $K$ be a full-dimensional convex subset of $\mathbb{R}^n$. We describe a new polynomial-time Turing reduction from the weak separation problem for $K$ to the weak optimization problem for $K$ that is based on a geometric heuristic. We…

Data Structures and Algorithms · Computer Science 2007-05-23 Lawrence M. Ioannou , Benjamin C. Travaglione , Donny Cheung

Metaheuristic algorithms are becoming an important part of modern optimization. A wide range of metaheuristic algorithms have emerged over the last two decades, and many metaheuristics such as particle swarm optimization are becoming…

Optimization and Control · Mathematics 2012-12-04 Xin-She Yang

The Capacitated Vehicle Routing Problem (CVRP), a fundamental combinatorial optimization challenge, focuses on optimizing fleet operations under vehicle capacity constraints. While extensively studied in operational research, the NP-hard…

Artificial Intelligence · Computer Science 2026-02-27 Zhuoliang Xie , Fei Liu , Zhenkun Wang , Qingfu Zhang

As data sets continue to grow in size and complexity, effective and efficient techniques are needed to target important features in the variable space. Many of the variable selection techniques that are commonly used alongside clustering…

Computation · Statistics 2013-03-22 Jeffrey L. Andrews , Paul D. McNicholas
‹ Prev 1 8 9 10 Next ›