activity
20182026
most citedAxiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours

8 citations · 14 across the 11 of their papers we have counts for

collaborators

17 papers

cs.DS2026

Robustifying Sparse Matrix Multiplication

Karl Bringmann, Nick Fischer, Vasileios Nakos

In the seminal sparse matrix multiplication problem the goal is to compute the product of two matrices when the matrices are sparse, i.e., when the number of nonzeros…

cs.DS2024

Beating Bellman's Algorithm for Subset Sum

Karl Bringmann, Nick Fischer, Vasileios Nakos

Bellman's algorithm for Subset Sum is one of the earliest and simplest examples of dynamic programming, dating back to 1957. For a given set of integers and a target , i…

cs.DS2023

Faster Sublinear-Time Edit Distance

Karl Bringmann, Alejandro Cassis, Nick Fischer +1

We study the fundamental problem of approximating the edit distance of two strings. After an extensive line of research led to the development of a constant-factor approximation al…

cs.CG2023★ 1 cited

Dynamic Dynamic Time Warping

Karl Bringmann, Nick Fischer, Ivor van der Hoog +3

The Dynamic Time Warping (DTW) distance is a popular similarity measure for polygonal curves (i.e., sequences of points). It finds many theoretical and practical applications, espe…

cs.DS2023

The Time Complexity of Fully Sparse Matrix Multiplication

Amir Abboud, Karl Bringmann, Nick Fischer +1

What is the time complexity of matrix multiplication of sparse integer matrices with nonzeros in the input and nonzeros in the output? This paper provides improv…

cs.CC2023

Can You Solve Closest String Faster than Exhaustive Search?

Amir Abboud, Nick Fischer, Elazar Goldenberg +2

We study the fundamental problem of finding the best string to represent a given set, in the form of the Closest String problem: Given a set of strings, find…

cs.DS2023

Negative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster!

Karl Bringmann, Alejandro Cassis, Nick Fischer

In this work we revisit the fundamental Single-Source Shortest Paths (SSSP) problem with possibly negative edge weights. A recent breakthrough result by Bernstein, Nanongkai and Wu…

cs.DS2022★ 1 cited

Stronger 3-SUM Lower Bounds for Approximate Distance Oracles via Additive Combinatorics

Amir Abboud, Karl Bringmann, Nick Fischer

The "short cycle removal" technique was recently introduced by Abboud, Bringmann, Khoury and Zamir (STOC '22) to prove fine-grained hardness of approximation. Its main technical re…

cs.DS2022★ 3 cited

Improved Sublinear-Time Edit Distance for Preprocessed Strings

Karl Bringmann, Alejandro Cassis, Nick Fischer +1

We study the problem of approximating the edit distance of two strings in sublinear time, in a setting where one or both string(s) are preprocessed, as initiated by Goldenberg, Rub…

cs.DS2022

A Structural Investigation of the Approximability of Polynomial-Time Problems

Karl Bringmann, Alejandro Cassis, Nick Fischer +1

We initiate the systematic study of a recently introduced polynomial-time analogue of MaxSNP, which includes a large number of well-studied problems (including Nearest and Furthest…

cs.DS2022★ 1 cited

Almost-Optimal Sublinear-Time Edit Distance in the Low Distance Regime

Karl Bringmann, Alejandro Cassis, Nick Fischer +1

We revisit the task of computing the edit distance in sublinear time. In the -gap edit distance problem the task is to distinguish whether the edit distance of two strings i…

cs.DS2021

Deterministic and Las Vegas Algorithms for Sparse Nonnegative Convolution

Karl Bringmann, Nick Fischer, Vasileios Nakos

Computing the convolution of two length- integer vectors is a core problem in several disciplines. It frequently comes up in algorithms for Knapsack, -SUM, A…

cs.DS2021

Fine-Grained Completeness for Optimization in P

Karl Bringmann, Alejandro Cassis, Nick Fischer +1

We initiate the study of fine-grained completeness theorems for exact and approximate optimization in the polynomial-time regime. Inspired by the first completeness results for dec…

cs.DS2021

Sparse Nonnegative Convolution Is Equivalent to Dense Nonnegative Convolution

Karl Bringmann, Nick Fischer, Vasileios Nakos

Computing the convolution of two length- vectors is an ubiquitous computational primitive. Applications range from string problems to Knapsack-type problems, an…

cs.DS2020

Faster Minimization of Tardy Processing Time on a Single Machine

Karl Bringmann, Nick Fischer, Danny Hermelin +2

This paper is concerned with the problem, the problem of minimizing the total processing time of tardy jobs on a single machine. This is not only a fundamental sch…

cs.CC2020

The Computational Complexity of Plethysm Coefficients

Nick Fischer, Christian Ikenmeyer

In two papers, Bürgisser and Ikenmeyer (STOC 2011, STOC 2013) used an adaption of the geometric complexity theory (GCT) approach by Mulmuley and Sohoni (Siam J Comput 2001, 2008) t…

cs.LO2018★ 8 cited

Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours

Nick Fischer, Rob van Glabbeek

In concurrency theory, weak bisimilarity is often used to relate processes exhibiting the same observable behaviour. The probabilistic environment gives rise to several generalisat…