English
Related papers

Related papers: Computing the interleaving distance is NP-hard

200 papers

We address the problem of testing weak optimality of a given solution of a given interval linear program. The problem was recently wrongly stated to be polynomially solvable. We disprove it. We show that the problem is NP-hard in general.…

Optimization and Control · Mathematics 2025-10-08 Miroslav Rada , Milan Hladík , Elif Garajová

In this article, we study the complexity of the upgrading version of the maximal covering location problem with edge length modifications on networks. This problem is NP-hard on general networks. However, in some particular cases, we prove…

Data Structures and Algorithms · Computer Science 2024-09-19 Marta Baldomero-Naranjo , Jörg Kalcsics , Antonio M. Rodríguez-Chía

We prove the computational intractability of rotating and placing $n$ square tiles into a $1 \times n$ array such that adjacent tiles are compatible--either equal edge colors, as in edge-matching puzzles, or matching tab/pocket shapes, as…

Computational Complexity · Computer Science 2017-01-03 Jeffrey Bosboom , Erik D. Demaine , Martin L. Demaine , Adam Hesterberg , Pasin Manurangsi , Anak Yodpinyanee

The assembly index of assembly theory quantifies the minimal number of composition steps required to construct an object from elementary components. The study proves that the decision version of the assembly index problem is NP-complete,…

Computational Complexity · Computer Science 2026-04-21 Piotr Masierak

Applications in machine learning and data mining require computing pairwise Lp distances in a data matrix A. For massive high-dimensional data, computing all pairwise distances of A can be infeasible. In fact, even storing A or all pairwise…

Machine Learning · Computer Science 2008-12-18 Ping Li

Embedding models trained separately on similar data often produce representations that encode stable information but are not directly interchangeable. This lack of interoperability raises challenges in several practical applications, such…

Machine Learning · Computer Science 2025-10-16 Lucas Maystre , Alvaro Ortega Gonzalez , Charles Park , Rares Dolga , Tudor Berariu , Yu Zhao , Kamil Ciosek

In this article, we introduce a new parameterized family of topological descriptors, taking the form of candidate decompositions, for multi-parameter persistence modules, and we identify a subfamily of these descriptors, that we call…

Algebraic Topology · Mathematics 2025-10-30 David Loiseaux , Mathieu Carrière , Andrew J. Blumberg

In this paper the problem of maximizing the distance to a given fixed point over an intersection of balls is considered. It is known that this problem is NP complete in the general case, since any subset sum problem can be solved upon…

Optimization and Control · Mathematics 2023-07-26 Marius Costandin

The maximum graph bisection problem is a well known graph partition problem. The problem has been proven to be NP-hard. In the maximum graph bisection problem it is required that the set of vertices is divided into two partition with equal…

Discrete Mathematics · Computer Science 2015-12-03 Zoran Maksimovic

Data consisting of a graph with a function mapping into $\mathbb{R}^d$ arise in many data applications, encompassing structures such as Reeb graphs, geometric graphs, and knot embeddings. As such, the ability to compare and cluster such…

Computational Geometry · Computer Science 2025-07-17 Erin W. Chambers , Elizabeth Munch , Sarah Percival , Bei Wang

We study the characterization of several distance problems for linear differential-algebraic systems with dissipative Hamiltonian structure. Since all models are only approximations of reality and data are always inaccurate, it is an…

Numerical Analysis · Mathematics 2020-01-27 Christian Mehl , Volker Mehrmann , Michal Wojtylak

We investigate the problem of deciding whether a given preference profile is close to having a certain nice structure, as for instance single-peaked, single-caved, single-crossing, value-restricted, best-restricted, worst-restricted,…

Computer Science and Game Theory · Computer Science 2015-09-16 Robert Bredereck , Jiehua Chen , Gerhard J. Woeginger

We study the shortcut Fr\'{e}chet distance, a natural variant of the Fr\'{e}chet distance, that allows us to take shortcuts from and to any point along one of the curves. The classic Fr\'echet distance is a bottle-neck distance measure and…

Computational Geometry · Computer Science 2013-12-05 Maike Buchin , Anne Driemel , Bettina Speckmann

The NP-hard Distinct Vectors problem asks to delete as many columns as possible from a matrix such that all rows in the resulting matrix are still pairwise distinct. Our main result is that, for binary matrices, there is a complexity…

Discrete Mathematics · Computer Science 2017-01-24 Vincent Froese , René van Bevern , Rolf Niedermeier , Manuel Sorge

We study the classic sliding cube model for programmable matter under parallel reconfiguration in three dimensions, providing novel algorithmic and surprising complexity results in addition to generalizing the best known bounds from two to…

Computational Geometry · Computer Science 2026-03-10 Hugo A. Akitaya , Joseph Dorfer , Peter Kramer , Christian Rieck , Gabriel Shahrouzi , Frederick Stock

For any prime p, we construct, and simultaneously count, all of the complex Specht modules in a given p-block of the symmetric group which remain irreducible when reduced modulo p. We call the Specht modules with this property p-irreducible…

Combinatorics · Mathematics 2007-05-23 James P. Cossey , Matthew Ondrus , C. Ryan Vinroot

We study the complexity of reasoning in abstracts argumentation frameworks close to graph classes that allow for efficient reasoning methods, i.e.\ to one of the classes of acyclic, noeven, biparite and symmetric AFs. In this work we show…

Artificial Intelligence · Computer Science 2015-03-19 Wolfgang Dvořák

In a standard NP-complete optimization problem we introduce an interpolating algorithm between the quick decrease along the gradient (greedy dynamics) and a slow decrease close to the level curves (reluctant dynamics). We find that for a…

Mathematical Physics · Physics 2007-05-23 P. Contucci , C. Giardina' , C. Giberti , F. Unguendoli , C. Vernia

Barcodes form a complete set of invariants for interval decomposable persistence modules and are an important summary in topological data analysis. The set of barcodes is equipped with a canonical one-parameter family of metrics, the…

Algebraic Topology · Mathematics 2025-11-20 Wanchen Zhao , Peter Bubenik

In machine learning and big data, the optimization objectives based on set-cover, entropy, diversity, influence, feature selection, etc. are commonly modeled as submodular functions. Submodular (function) maximization is generally NP-hard,…

Data Structures and Algorithms · Computer Science 2022-12-13 Haotian Zhang , Rao Li , Zewei Wu , Guodong Sun