English
Related papers

Related papers: Parameterized Intractability of Motif Search Probl…

200 papers

In this paper, we study the static cell probe complexity of non-adaptive data structures that maintain a subset of $n$ points from a universe consisting of $m=n^{1+\Omega(1)}$ points. A data structure is defined to be non-adaptive when the…

Data Structures and Algorithms · Computer Science 2024-04-19 Giuseppe Persiano , Kevin Yeo

This study develops an algorithm to solve a variation of the Shortest Common Superstring (SCS) problem. There are two modifications to the base SCS problem. First, one string in the set S is allowed to have up to K mistakes, defined as not…

Data Structures and Algorithms · Computer Science 2024-11-05 Arthur Gilfanov

In the parameterized $k$-clique problem, or $k$-Clique for short, we are given a graph $G$ and a parameter $k\ge 1$. The goal is to decide whether there exist $k$ vertices in $G$ that induce a complete subgraph (i.e., a $k$-clique). This…

Computational Complexity · Computer Science 2024-08-12 Yijia Chen , Yi Feng , Bundit Laekhanukit , Yanlin Liu

Deciding feasibility of large systems of linear equations and inequalities is one of the most fundamental algorithmic tasks. However, due to data inaccuracies or modeling errors, in practical applications one often faces linear systems that…

Data Structures and Algorithms · Computer Science 2022-09-07 Kristóf Bérczi , Alexander Göke , Lydia Mirabel Mendoza-Cadena , Matthias Mnich

For two strings u, v over some alphabet A, we investigate the problem of embedding u into w as a subsequence under the presence of generalised gap constraints. A generalised gap constraint is a triple (i, j, C_{i, j}), where 1 <= i < j <=…

Data Structures and Algorithms · Computer Science 2024-04-17 Florin Manea , Jonas Richardsen , Markus L. Schmid

Neural networks with ReLU activations are a widely used model in machine learning. It is thus important to have a profound understanding of the properties of the functions computed by such networks. Recently, there has been increasing…

Computational Complexity · Computer Science 2026-05-19 Vincent Froese , Moritz Grillo , Christoph Hertrich , Moritz Stargalla

Block Sorting is a well studied problem, motivated by its applications in Optical Character Recognition (OCR), and Computational Biology. Block Sorting has been shown to be NP-Hard, and two separate polynomial time 2-approximation…

Computational Complexity · Computer Science 2011-10-06 N. S. Narayanaswamy , Swapnoneel Roy

In this paper, we study a series of algorithmic problems related to the subsequences occurring in the strings of a given language, under the assumption that this language is succinctly represented by a grammar generating it, or an automaton…

Formal Languages and Automata Theory · Computer Science 2024-10-11 Szilárd Zsolt Fazekas , Tore Koß , Florin Manea , Robert Mercaş , Timo Specht

Parameterized Inapproximability Hypothesis (PIH) is a central question in the field of parameterized complexity. PIH asserts that given as input a 2-CSP on $k$ variables and alphabet size $n$, it is W[1]-hard parameterized by $k$ to…

Computational Complexity · Computer Science 2024-07-15 Karthik C. S. , Euiwoong Lee , Pasin Manurangsi

We consider the task of properly PAC learning decision trees with queries. Recent work of Koch, Strassle, and Tan showed that the strictest version of this task, where the hypothesis tree $T$ is required to be optimally small, is NP-hard.…

Computational Complexity · Computer Science 2024-07-02 Caleb Koch , Carmen Strassle , Li-Yang Tan

In this paper, we study the parameterized complexity and inapproximability of the {\sc Induced Matching} problem in hamiltonian bipartite graphs. We show that, given a hamiltonian cycle in a hamiltonian bipartite graph, the problem is…

Computational Complexity · Computer Science 2014-12-08 Yinglei Song

Several biological problems require the identification of regions in a sequence where some feature occurs within a target density range: examples including the location of GC-rich regions, identification of CpG islands, and sequence…

Data Structures and Algorithms · Computer Science 2013-08-15 Benjamin A. Burton , Mathias Hiron

The problem of matching a query string to a directed graph, whose vertices are labeled by strings, has application in different fields, from data mining to computational biology. Several variants of the problem have been considered,…

Data Structures and Algorithms · Computer Science 2020-01-08 Riccardo Dondi , Giancarlo Mauri , Italo Zoppis

We analyse the complexity of learning first-order queries in a model-theoretic framework for supervised learning introduced by (Grohe and Tur\'an, TOCS 2004). Previous research on the complexity of learning in this framework focussed on the…

Logic in Computer Science · Computer Science 2021-06-29 Steffen van Bergerem , Martin Grohe , Martin Ritzert

$\kC$ clustering is a fundamental classification problem, where the task is to categorize the given collection of entities into $k$ clusters and come up with a representative for each cluster, so that the maximum distance between an entity…

Data Structures and Algorithms · Computer Science 2025-03-04 Farehe Soheil , Kirill Simonov , Tobias Friedrich

We consider string matching with variable length gaps. Given a string $T$ and a pattern $P$ consisting of strings separated by variable length gaps (arbitrary strings of length in a specified range), the problem is to find all ending…

Data Structures and Algorithms · Computer Science 2011-10-14 Philip Bille , Inge Li Goertz , Hjalte Wedel Vildhøj , David Kofoed Wind

A border of a string is a non-empty proper prefix of the string that is also a suffix. A string is unbordered if it has no border. The longest unbordered factor is a fundamental notion in stringology, closely related to string periodicity.…

Data Structures and Algorithms · Computer Science 2025-07-23 Shoma Sekizaki , Takuya Mieno

In combinatorics on words, a word $w$ over an alphabet $\Sigma$ is said to avoid a pattern $p$ over an alphabet $\Delta$ if there is no factor $f$ of $w$ such that $f= (p)$ where $h: \Delta^*\to\Sigma^*$ is a non-erasing morphism. A pattern…

Discrete Mathematics · Computer Science 2013-01-10 Pascal Ochem , Alexandre Pinlou

For a partial word $w$ the longest common compatible prefix of two positions $i,j$, denoted $lccp(i,j)$, is the largest $k$ such that $w[i,i+k-1]\uparrow w[j,j+k-1]$, where $\uparrow$ is the compatibility relation of partial words (it is…

In this paper we define a new problem, motivated by computational biology, $LCSk$ aiming at finding the maximal number of $k$ length $substrings$, matching in both input strings while preserving their order of appearance. The traditional…

Data Structures and Algorithms · Computer Science 2014-02-11 Gary Benson , Avivit Levy , Riva Shalom