English
Related papers

Related papers: The Contiguous Art Gallery Problem is Solvable in …

200 papers

In recent years, there has been a growing interest in using learning-based approaches for solving combinatorial problems, either in an end-to-end manner or in conjunction with traditional optimization algorithms. In both scenarios, the…

Machine Learning · Computer Science 2024-03-14 Léo Boisvert , Hélène Verhaeghe , Quentin Cappart

A fundamental problem in shape matching and geometric similarity is computing the maximum area overlap between two polygons under translation. For general simple polygons, the best-known algorithm runs in $O((nm)^2 \log(nm))$ time [Mount,…

Computational Geometry · Computer Science 2025-11-07 Mikkel Abrahamsen , Sujoy Bhore , Maike Buchin , Jacobus Conradi , Ce Jin , André Nusser , Carolin Rehs

Energy games belong to a class of turn-based two-player infinite-duration games}played on a weighted directed graph. It is one of the rare and intriguing combinatorial problems that lie in ${\sf NP} \cap {\sf co\mbox{-}NP}$, but are not…

Data Structures and Algorithms · Computer Science 2018-03-02 Krishnendu Chatterjee , Monika Henzinger , Sebastian Krinninger , Danupon Nanongkai

In any simple polygonal art gallery with n walls, we show that it is possible to place floor(n/2)-1 guards whose range of vision is 180 degrees in such a way that every interior point of the gallery can be seen by one of them, and such that…

Combinatorics · Mathematics 2020-07-09 Daniel Florentino , Ethan Moy , Robert Muth

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

Computational Geometry · Computer Science 2024-03-08 Benjamin A. Burton , Alexander He

Given a collection of planar graphs $G_1,\dots,G_k$ on the same set $V$ of $n$ vertices, the simultaneous geometric embedding (with mapping) problem, or simply $k$-SGE, is to find a set $P$ of $n$ points in the plane and a bijection $\phi:…

Computational Geometry · Computer Science 2015-05-08 Jean Cardinal , Vincent Kusters

The Calisson puzzle is a tiling puzzle in which one must tile a triangular grid inside a hexagon with lozenges, under the constraint that certain prescribed edges remain tile boundaries and that adjacent lozenges along these edges have…

Computational Geometry · Computer Science 2026-03-04 Jean-Marie Favreau , Yan Gerard , Pascal Lafourcade , Léo Robert

The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a…

Computational Complexity · Computer Science 2009-04-07 J. M. Landsberg , Jason Morton , Serguei Norine

In many high-dimensional problems,polynomial-time algorithms fall short of achieving the statistical limits attainable without computational constraints. A powerful approach to probe the limits of polynomial-time algorithms is to study the…

Statistics Theory · Mathematics 2025-07-11 Bertrand Even , Christophe Giraud , Nicolas Verzelen

By providing a new framework, we extend previous results on locally checkable problems in bounded treewidth graphs. As a consequence, we show how to solve, in polynomial time for bounded treewidth graphs, double Roman domination and Grundy…

Discrete Mathematics · Computer Science 2023-04-04 Flavia Bonomo-Braberman , Carolina Lucía Gonzalez

We consider apictorial edge-matching puzzles, in which the goal is to arrange a collection of puzzle pieces with colored edges so that the colors match along the edges of adjacent pieces. We devise an algebraic representation for this…

Computer Vision and Pattern Recognition · Computer Science 2015-07-30 Shahar Z. Kovalsky , Daniel Glasner , Ronen Basri

We systematically study the computational complexity of a broad class of computational problems in phylogenetic reconstruction. The class contains for example the rooted triple consistency problem, forbidden subtree problems, the quartet…

Computational Complexity · Computer Science 2017-08-15 Manuel Bodirsky , Peter Jonsson , Trung Van Pham

The famous Chinese Postman Problem (CPP) is polynomial time solvable on both undirected and directed graphs. Gutin et al. [Discrete Applied Math 217 (2016)] generalized these results by proving that CPP on $c$-edge-colored graphs is…

Data Structures and Algorithms · Computer Science 2017-07-21 Bin Sheng , Ruijuan Li , Gregory Gutin

We study the following variant of the 15 puzzle. Given a graph and two token placements on the vertices, we want to find a walk of the minimum length (if any exists) such that the sequence of token swappings along the walk obtains one of…

Data Structures and Algorithms · Computer Science 2025-07-30 Hironori Kiya , Yuto Okada , Hirotaka Ono , Yota Otachi

In this paper, assuming the low-degree conjecture, we provide evidence of computational hardness for two problems: (1) the (partial) matching recovery problem in the sparse correlated Erd\H{o}s-R\'enyi graphs $\mathcal G(n,q;\rho)$ when the…

Machine Learning · Statistics 2025-12-30 Zhangsong Li

We give an overview of the 2023 Computational Geometry Challenge targeting the problem Minimum Coverage by Convex Polygons, which consists of covering a given polygonal region (possibly with holes) by a minimum number of convex subsets, a…

Computational Geometry · Computer Science 2023-03-14 Sándor P. Fekete , Phillip Keldenich , Dominik Krupke , Stefan Schirra

This paper deals with the complexity of some natural graph problems when parametrized by {measures that are restrictions of} clique-width, such as modular-width and neighborhood diversity. The main contribution of this paper is to introduce…

Computational Complexity · Computer Science 2020-02-03 Gennaro Cordasco , Luisa Gargano , Adele Anna Rescigno

We study geometric variations of the discriminating code problem. In the \emph{discrete version} of the problem, a finite set of points $P$ and a finite set of objects $S$ are given in $\mathbb{R}^d$. The objective is to choose a subset…

Computational Geometry · Computer Science 2023-06-30 Sanjana Dey , Florent Foucaud , Subhas C Nandy , Arunabha Sen

In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of…

Data Structures and Algorithms · Computer Science 2016-10-10 Athanasios Konstantinidis , Charis Papadopoulos

We consider the embeddability problem of a graph G into a two-dimensional simplicial complex C: Given G and C, decide whether G admits a topological embedding into C. The problem is NP-hard, even in the restricted case where C is…

Computational Geometry · Computer Science 2025-11-13 Éric Colin de Verdière , Thomas Magnard