English
Related papers

Related papers: On Solving Cycle Problems with Branch-and-Cut: Ext…

200 papers

In recent years, the expander decomposition method was used to develop many graph algorithms, resulting in major improvements to longstanding complexity barriers. This powerful hammer has led the community to (1) believe that most problems…

Data Structures and Algorithms · Computer Science 2022-11-28 Amir Abboud , Nathan Wallheimer

A new efficient algorithm is presented for finding all simple cycles that satisfy a length constraint in a directed graph. When the number of vertices is non-trivial, most cycle-finding problems are of practical interest for sparse graphs…

Data Structures and Algorithms · Computer Science 2021-05-27 Anshul Gupta , Toyotaro Suzumura

All-Pairs Minimum Cut (APMC) is a fundamental graph problem that asks to find a minimum $s,t$-cut for every pair of vertices $s,t$. A recent line of work on fast algorithms for APMC has culminated with a reduction of APMC to…

Data Structures and Algorithms · Computer Science 2026-04-07 Yotam Kenneth-Mordoch , Robert Krauthgamer

When a large collection of objects (e.g., robots, sensors, etc.) has to be deployed in a given environment, it is often required to plan a coordinated motion of the objects from their initial position to a final configuration enjoying some…

Data Structures and Algorithms · Computer Science 2014-07-03 Davide Bilò Luciano Gualà , Stefano Leucci , Guido Proietti

This work introduces two techniques for the design and analysis of branching algorithms, illustrated through the case study of the Vertex Cover problem. First, we present a method for automatically generating branching rules through a…

Data Structures and Algorithms · Computer Science 2025-10-13 Katie Clinch , Serge Gaspers , Tao Zixu He , Simon Mackenzie , Tiankuang Zhang

We experimentally evaluate the practical state-of-the-art in graph bipartization (Odd Cycle Transversal), motivated by recent advances in near-term quantum computing hardware and the related embedding problems. We assemble a preprocessing…

Discrete Mathematics · Computer Science 2021-03-22 Timothy D. Goodrich , Eric Horton , Blair D. Sullivan

We explore the clearing problem in the barter exchange market. The problem, described in the terminology of graph theory, is to find a set of vertex-disjoint, length-restricted cycles that maximize the total weight in a weighted digraph.…

Computer Science and Game Theory · Computer Science 2016-05-31 Suiqian Luo , Pingzhong Tang , Chenggang Wu , Jianyang Zeng

End-to-end training of neural network solvers for graph combinatorial optimization problems such as the Travelling Salesperson Problem (TSP) have seen a surge of interest recently, but remain intractable and inefficient beyond graphs with…

Machine Learning · Computer Science 2022-05-26 Chaitanya K. Joshi , Quentin Cappart , Louis-Martin Rousseau , Thomas Laurent

The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions, of different sizes, for jumps of different displacements.…

Logic in Computer Science · Computer Science 2012-09-27 Jaap Boender , Claudio Sacerdoti Coen

The Team Orienteering Problem (TOP) is an attractive variant of the Vehicle Routing Problem (VRP). The aim is to select customers and at the same time organize the visits for a vehicle fleet so as to maximize the collected profits and…

Robotics · Computer Science 2016-04-12 Racha El-Hajj , Duc-Cuong Dang , Aziz Moukrim

Given a directed graph $G=(V,A)$, the Directed Maximum Leaf Spanning Tree problem asks to compute a directed spanning tree (i.e., an out-branching) with as many leaves as possible. By designing a Branch-and-Reduced algorithm combined with…

Data Structures and Algorithms · Computer Science 2009-11-11 Daniel Raible , Henning Fernau

The algorithmic differentiation (AD) of mathematical functions can be interpreted as a sequence of vertex eliminations in an underlying directed acyclic graph. The problem of determining a minimum-cost elimination ordering, which we call…

Data Structures and Algorithms · Computer Science 2026-05-26 Alex Crane , Pål Grønås Drange , Eli Friedman , Paul D. Hovland , Jan Hückelheim , Andrew Lyons , Yosuke Mizutani , Macéo Ottavy , Blair D. Sullivan

Routing problems are optimization problems that consider a set of goals in a graph to be visited by a vehicle (or a fleet of them) in an optimal way, while numerous constraints have to be satisfied. We present a solution based on…

Robotics · Computer Science 2017-08-01 Miroslav Kulich , Roman Sushkov , Libor Přeučil

Given a graph, the sparsest cut problem asks for a subset of vertices whose edge expansion (the normalized cut given by the subset) is minimized. In this paper, we study a generalization of this problem seeking for $ k $ disjoint subsets of…

Data Structures and Algorithms · Computer Science 2017-02-21 Ramin Javadi , Saleh Ashkboos

This research proposes a novel indicator-based hybrid evolutionary approach that combines approximate and exact algorithms. We apply it to a new bi-criteria formulation of the travelling thief problem, which is known to the Evolutionary…

Artificial Intelligence · Computer Science 2018-02-08 Junhua Wu , Sergey Polyakovskiy , Markus Wagner , Frank Neumann

We describe a new sampling-based method to determine cuts in an undirected graph. For a graph (V, E), its cycle space is the family of all subsets of E that have even degree at each vertex. We prove that with high probability, sampling the…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-07-22 David Pritchard , Ramakrishna Thurimella

We consider a routing problem which plays an important role in several applications, primarily in communication network planning and VLSI layout design. The original underlying graph algorithmic task is called Disjoint Paths problem. In…

Data Structures and Algorithms · Computer Science 2018-09-19 Rupei Xu , András Faragó

We study a large family of graph covering problems, whose definitions rely on distances, for graphs of bounded cyclomatic number (that is, the minimum number of edges that need to be removed from the graph to destroy all cycles). These…

Discrete Mathematics · Computer Science 2025-09-03 Dibyayan Chakraborty , Florent Foucaud , Anni Hakanen

Analyzing the worst-case performance of deep neural networks against input perturbations amounts to solving a large-scale non-convex optimization problem, for which several past works have proposed convex relaxations as a promising…

Machine Learning · Computer Science 2022-07-11 Shaoru Chen , Eric Wong , J. Zico Kolter , Mahyar Fazlyab

This PhD thesis summarizes research works on the design of exact algorithms that provide a worst-case (time or space) guarantee for NP-hard scheduling problems. Both theoretical and practical aspects are considered with three main results…

Computational Complexity · Computer Science 2017-12-07 Lei Shang