English
Related papers

Related papers: Stuttering equivalence is too slow!

200 papers

We study space and time efficient quantum algorithms for two graph problems -- deciding whether an $n$-vertex graph is a forest, and whether it is bipartite. Via a reduction to the s-t connectivity problem, we describe quantum algorithms…

Quantum Physics · Physics 2016-10-04 Chris Cade , Ashley Montanaro , Aleksandrs Belovs

In this paper we revisit the classical regular expression matching problem, namely, given a regular expression $R$ and a string $Q$, decide if $Q$ matches one of the strings specified by $R$. Let $m$ and $n$ be the length of $R$ and $Q$,…

Data Structures and Algorithms · Computer Science 2007-05-23 Philip Bille

The famous Padberg-Rao separation algorithm for b-matching polyhedra can be implemented to run in O(n^2m log(n^2/m)) time in the uncapacitated case, and in O(nm^2 log(n^2/m)) time in the capacitated case (where n is the number of vertices…

Optimization and Control · Mathematics 2011-12-08 Adam N. Letchford , Dirk Oliver Theis

In the field of topological data analysis, persistence modules are used to express geometrical features of data sets. The matching distance $d_\mathcal{M}$ measures the difference between $2$-parameter persistence modules by taking the…

Algebraic Topology · Mathematics 2023-12-08 Håvard Bakke Bjerkevik , Michael Kerber

Given a text and a pattern over an alphabet, the pattern matching problem searches for all occurrences of the pattern in the text. An equivalence relation $\approx$ is called a substring consistent equivalence relation (SCER), if for two…

Data Structures and Algorithms · Computer Science 2022-07-28 Davaajav Jargalsaikhan , Diptarama Hendrian , Ryo Yoshinaka , Ayumi Shinohara

We present a sorting algorithm for the case of recurrent random comparison errors. The algorithm essentially achieves simultaneously good properties of previous algorithms for sorting $n$ distinct elements in this model. In particular, it…

Data Structures and Algorithms · Computer Science 2017-09-22 Barbara Geissmann , Stefano Leucci , Chih-Hung Liu , Paolo Penna

We consider a classical scheduling problem on $m$ identical machines. For an arbitrary constant $q>1$, the aim is to assign jobs to machines such that $\sum_{i=1}^m C_i^q$ is minimized, where $C_i$ is the total processing time of jobs…

Computational Complexity · Computer Science 2021-07-14 Lin Chen , Liangde Tao , José Verschae

This paper ties the line of work on algorithms that find an O(sqrt(log(n)))-approximation to the sparsest cut together with the line of work on algorithms that run in sub-quadratic time by using only single-commodity flows. We present an…

Data Structures and Algorithms · Computer Science 2009-08-11 Jonah Sherman

In this paper, we consider the problems for covering multiple intervals on a line. Given a set $B$ of $m$ line segments (called "barriers") on a horizontal line $L$ and another set $S$ of $n$ horizontal line segments of the same length in…

Computational Geometry · Computer Science 2018-08-09 Shimin Li , Haitao Wang

In the k-mappability problem, we are given a string x of length n and integers m and k, and we are asked to count, for each length-m factor y of x, the number of other factors of length m of x that are at Hamming distance at most k from y.…

Data Structures and Algorithms · Computer Science 2017-05-12 Mai Alzamel , Panagiotis Charalampopoulos , Costas S. Iliopoulos , Solon P. Pissis , Jakub Radoszewski , Wing-Kin Sung

A number of algorithms for computing the simulation preorder (and equivalence) on Kripke structures are available. Let Sigma denote the state space, -> the transition relation and Psim the partition of Sigma induced by simulation…

Logic in Computer Science · Computer Science 2013-07-30 Francesco Ranzato

Bu{\ss} et al [KDD 2020] recently proved that the problem of computing the betweenness of all nodes of a temporal graph is computationally hard in the case of foremost and fastest paths, while it is solvable in time O(n 3 T 2 ) in the case…

Data Structures and Algorithms · Computer Science 2025-01-23 Filippo Brunelli , Pierluigi Crescenzi , Laurent Viennot

The area of sublinear algorithms have recently received a lot of attention. In this setting, one has to choose specific access model for the input, as the algorithm does not have time to pre-process or even to see the whole input. A…

Data Structures and Algorithms · Computer Science 2020-09-24 Jakub Tětek

We investigate the scheduling of $n$ jobs divided into $c$ classes on $m$ identical parallel machines. For every class there is a setup time which is required whenever a machine switches from the processing of one class to another class.…

Data Structures and Algorithms · Computer Science 2019-05-02 Max A. Deppert , Klaus Jansen

We study variable time search, a form of quantum search where queries to different items take different time. Our first result is a new quantum algorithm that performs variable time search with complexity $O(\sqrt{T}\log n)$ where…

Quantum Physics · Physics 2023-08-04 Andris Ambainis , Martins Kokainis , Jevgēnijs Vihrovs

We study fully dynamic algorithms for maximum matching. This is a well-studied problem, known to admit several update-time/approximation trade-offs. For instance, it is known how to maintain a 1/2-approximate matching in $\log^{O(1)} n$…

Data Structures and Algorithms · Computer Science 2022-11-15 Soheil Behnezhad

We consider computing a longest palindrome in the streaming model, where the symbols arrive one-by-one and we do not have random access to the input. While computing the answer exactly using sublinear space is not possible in such a…

Data Structures and Algorithms · Computer Science 2016-10-12 Paweł Gawrychowski , Oleg Merkurev , Arseny M. Shur , Przemysław Uznański

We study the problem of estimating the size of a maximum matching in sublinear time. The problem has been studied extensively in the literature and various algorithms and lower bounds are known for it. Our result is a $0.5109$-approximation…

Data Structures and Algorithms · Computer Science 2025-06-03 Sepideh Mahabadi , Mohammad Roghani , Jakub Tarnawski

The minimum degree algorithm is one of the most widely-used heuristics for reducing the cost of solving large sparse systems of linear equations. It has been studied for nearly half a century and has a rich history of bridging techniques…

Data Structures and Algorithms · Computer Science 2023-04-11 Robert Cummings , Matthew Fahrbach , Animesh Fatehpuria

We describe the first strongly subquadratic time algorithm with subexponential approximation ratio for approximately computing the Fr\'echet distance between two polygonal chains. Specifically, let $P$ and $Q$ be two polygonal chains with…

Computational Geometry · Computer Science 2021-03-30 Connor Colombe , Kyle Fox