English
Related papers

Related papers: Long paths make pattern-counting hard, and deep tr…

200 papers

For the vast majority of local graph problems standard dynamic programming techniques give c^tw V^O(1) algorithms, where tw is the treewidth of the input graph. On the other hand, for problems with a global requirement (usually…

Data Structures and Algorithms · Computer Science 2011-03-03 Marek Cygan , Jesper Nederlof , Marcin Pilipczuk , Michał Pilipczuk , Johan van Rooij , Jakub Onufry Wojtaszczyk

Let us call a sequence of numbers heapable if they can be sequentially inserted to form a binary tree with the heap property, where each insertion subsequent to the first occurs at a leaf of the tree, i.e. below a previously placed number.…

Data Structures and Algorithms · Computer Science 2010-07-15 John Byers , Brent Heeringa , Michael Mitzenmacher , Georgios Zervas

Width parameterizations of SAT, such as tree-width and path-width, enable the study of computationally more tractable and practical SAT instances. We give two simple algorithms. One that runs simultaneously in time-space…

Computational Complexity · Computer Science 2011-08-12 Shiteng Chen , Tiancheng Lou , Periklis Papakonstantinou , Bangsheng Tang

We consider several types of internal queries, that is, questions about fragments of a given text $T$ specified in constant space by their locations in $T$. Our main result is an optimal data structure for Internal Pattern Matching (IPM)…

Data Structures and Algorithms · Computer Science 2023-05-03 Tomasz Kociumaka , Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń

Path graphs are intersection graphs of paths in a tree.~In this paper we give a "6\ good characterization" of path graphs, namely, we prove that path graph membership is in $NP\cap CoNP$ without resorting to existing polynomial time…

Discrete Mathematics · Computer Science 2021-09-20 Nicola Apollonio , Lorenzo Balzotti

Discovering the set of closed frequent patterns is one of the fundamental problems in Data Mining. Recent Constraint Programming (CP) approaches for declarative itemset mining have proven their usefulness and flexibility. But the wide use…

Artificial Intelligence · Computer Science 2016-04-19 Mehdi Maamar , Nadjib Lazaar , Samir Loudni , Yahia Lebbah

Choiceless Polynomial Time (CPT) is currently the only candidate logic for capturing PTIME (that is, it is contained in PTIME and has not been separated from it). A prominent example of a decision problem in PTIME that is not known to be…

Logic in Computer Science · Computer Science 2023-02-09 Benedikt Pago

Evaluation of regular path queries (RPQs) is a central problem in graph databases. We investigate the corresponding enumeration problem, that is, given a graph and an RPQ, enumerate all paths in the graph that match the RPQ. We consider…

Databases · Computer Science 2017-10-09 Wim Martens , Tina Trautner

Determinantal Point Processes (DPPs) are probabilistic models that arise in quantum physics and random matrix theory and have recently found numerous applications in computer science. DPPs define distributions over subsets of a given ground…

Data Structures and Algorithms · Computer Science 2017-04-25 L. Elisa Celis , Amit Deshpande , Tarun Kathuria , Damian Straszak , Nisheeth K. Vishnoi

The $k$-vertex disjoint paths problem is one of the most studied problems in algorithmic graph theory. In 1994, Schrijver proved that the problem can be solved in polynomial time for every fixed $k$ when restricted to the class of planar…

Computational Complexity · Computer Science 2013-12-06 Saeed Amiri , Ali Golshani , Stephan Kreutzer , Sebastian Siebertz

We study the problem of generating monomials of a polynomial in the context of enumeration complexity. In this setting, the complexity measure is the delay between two solutions and the total time. We present two new algorithms for…

Computational Complexity · Computer Science 2011-02-01 Yann Strozecki

Given a class of graphs $\mathcal{H}$, the problem $\oplus\mathsf{Sub}(\mathcal{H})$ is defined as follows. The input is a graph $H\in \mathcal{H}$ together with an arbitrary graph $G$. The problem is to compute, modulo $2$, the number of…

Computational Complexity · Computer Science 2023-10-12 Leslie Ann Goldberg , Marc Roth

Error Tree is a novel tree structure that is mainly oriented to solve the approximate pattern matching problems, Hamming and edit distances, as well as the wildcards matching problem. The input is a text of length $n$ over a fixed alphabet…

Data Structures and Algorithms · Computer Science 2020-08-25 Anas Al-Okaily

Predictive Coding (PC) is a biologically-inspired learning framework characterised by local, parallelisable operations, properties that enable energy-efficient implementation on neuromorphic hardware. Despite this, extending PC effectively…

Machine Learning · Computer Science 2026-02-23 Tom Potter , Oliver Rhodes

The Massively Parallel Computation (MPC) model serves as a common abstraction of many modern large-scale data processing frameworks, and has been receiving increasingly more attention over the past few years, especially in the context of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-08 Danupon Nanongkai , Michele Scquizzato

This paper talk about the complexity of computation by Turing Machine. I take attention to the relation of symmetry and order structure of the data, and I think about the limitation of computation time. First, I make general problem named…

Computational Complexity · Computer Science 2010-09-24 Koji Kobayashi

Contrast pattern mining (CPM) is an important and popular subfield of data mining. Traditional sequential patterns cannot describe the contrast information between different classes of data, while contrast patterns involving the concept of…

Databases · Computer Science 2022-09-28 Yao Chen , Wensheng Gan , Yongdong Wu , Philip S. Yu

We revisit the issue of low-distortion embedding of metric spaces into the line, and more generally, into the shortest path metric of trees, from the parameterized complexity perspective.Let $M=M(G)$ be the shortest path metric of an edge…

Data Structures and Algorithms · Computer Science 2008-04-21 Michael Fellows , Fedor Fomin , Daniel Lokshtanov , Elena Losievskaja , Frances A. Rosamond , Saket Saurabh

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs…

Computational Complexity · Computer Science 2020-06-04 Massimo Equi , Roberto Grossi , Veli Mäkinen

We study the complexity of counting (weighted) planar graph homomorphism problem $\tt{Pl\text{-}GH}(M)$ parametrized by an arbitrary symmetric non-negative real valued matrix $M$. For matrices with pairwise distinct diagonal values, we…

Computational Complexity · Computer Science 2026-02-02 Jin-Yi Cai , Ashwin Maran , Ben Young