Bounded-Degree Plane Geometric Spanners in Practice
The construction of bounded-degree plane geometric spanners has been a focus of interest since 2002 when Bose, Gudmundsson, and Smid proposed the first algorithm to construct such spanners. To date, 11 algorithms have been designed with various tradeoffs ...
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring
- Loïc Crombez,
- Guilherme D. Da Fonseca,
- Florian Fontan,
- Yan Gerard,
- Aldo Gonzalez-Lorenzo,
- Pascal Lafourcade,
- Luc Libralesso,
- Benjamin Momège,
- Jack Spalding-Jamieson,
- Brandon Zhang,
- Da Wei Zheng
CG:SHOP is an annual geometric optimization challenge and the 2022 edition proposed the problem of coloring a certain geometric graph defined by line segments. Surprisingly, the top three teams used the same technique, called conflict optimization. This ...
A Practical Algorithm for Volume Estimation based on Billiard Trajectories and Simulated Annealing
We tackle the problem of efficiently approximating the volume of convex polytopes, when these are given in three different representations: H-polytopes, which have been studied extensively, V-polytopes, and zonotopes (Z-polytopes). We design a novel ...
Fingerprinting-based Minimal Perfect Hashing Revisited
In this paper we study a fingerprint-based minimal perfect hash function (FMPH for short). While FMPH is not as space-efficient as some other minimal perfect hash functions (for example RecSplit, CHD, or PTHash), it has a number of practical advantages ...
SAT-boosted Tabu Search for Coloring Massive Graphs
Graph coloring is the problem of coloring the vertices of a graph with as few colors as possible, avoiding monochromatic edges. It is one of the most fundamental NP-hard computational problems. For decades researchers have developed exact and heuristic ...
A Constructive Heuristic for the Uniform Capacitated Vertex k-center Problem
- José Alejandro Cornejo-Acosta,
- Jesús García-Díaz,
- Julio César Pérez-Sansalvador,
- Roger Z. Ríos-Mercado,
- Saúl Eduardo Pomares-Hernández
The uniform capacitated vertex k-center problem is an 𝒩𝒫-hard combinatorial optimization problem that models real situations where k centers can only attend a maximum number of customers, and the travel time or distance from the customers to their ...
Algorithms for Efficiently Computing Structural Anonymity in Complex Networks
This article proposes methods for efficiently computing the anonymity of entities in networks. We do so by partitioning nodes into equivalence classes where a node is k-anonymous if it is equivalent to k-1 other nodes. This assessment of anonymity is ...
A Data-dependent Approach for High-dimensional (Robust) Wasserstein Alignment
Many real-world problems can be formulated as the alignment between two geometric patterns. Previously, a great amount of research focus on the alignment of two-dimensional (2D) or 3D patterns in the field of computer vision. Recently, the alignment ...
Minimum Partition into Plane Subgraphs: The CG:SHOP Challenge 2022
We give an overview of the 2022 Computational Geometry Challenge targeting the problem Minimum Partition into Plane Subsets, which consists of partitioning a given set of line segments into a minimum number of non-crossing subsets.
Finding the k Shortest Simple Paths: Time and Space Trade-offs
The k shortest simple path problem (kSSP) asks to compute a set of top-k shortest simple paths from a source to a sink in a digraph. Yen (1971) proposed an algorithm with the best-known polynomial time complexity for this problem. Since then, the problem ...
An Experimental Evaluation of Semidefinite Programming and Spectral Algorithms for Max Cut
We experimentally evaluate the performance of several Max Cut approximation algorithms. In particular, we compare the results of the Goemans and Williamson algorithm using semidefinite programming with Trevisan’s algorithm using spectral partitioning. The ...
Random Projections for Linear Programming: An Improved Retrieval Phase
One way to solve very large linear programs in standard form is to apply a random projection to the constraints, then solve the projected linear program [63]. This will yield a guaranteed bound on the optimal value, as well as a solution to the projected ...