English
Related papers

Related papers: On Lower Bound Methods for Tree-like Cutting Plane…

200 papers

The third author noticed in his 1992 PhD Thesis [Sim92] that every regular tree language of infinite trees is in a class $\Game (D\_n({\bf\Sigma}^0\_2))$ for some natural number $n\geq 1$, where $\Game$ is the game quantifier. We first give…

Formal Languages and Automata Theory · Computer Science 2015-03-12 Olivier Finkel , Dominique Lecomte , Pierre Simonnet

In the \emph{budgeted rooted node-weighted Steiner tree} problem, we are given a graph $G$ with $n$ nodes, a predefined node $r$, two weights associated to each node modelling costs and prizes. The aim is to find a tree in $G$ rooted at $r$…

Data Structures and Algorithms · Computer Science 2022-11-15 Gianlorenzo D'Angelo , Esmaeil Delfaraz

We study parity decision trees for Boolean functions. The motivation of our study is the log-rank conjecture for XOR functions and its connection to Fourier analysis and parity decision tree complexity. Let f be a Boolean function with…

Computational Complexity · Computer Science 2020-08-04 Nikhil S. Mande , Swagato Sanyal

We give a new construction of algebraic codes which are efficiently list decodable from a fraction $1-R-\eps$ of adversarial errors where $R$ is the rate of the code, for any desired positive constant $\eps$. The worst-case list size output…

Information Theory · Computer Science 2015-03-20 Venkatesan Guruswami , Chaoping Xing

We consider the fundamental problems of approximately counting the numbers of edges and triangles in a graph in sublinear time. Previous algorithms for these tasks are significantly more efficient under a promise that the arboricity of the…

Data Structures and Algorithms · Computer Science 2025-09-25 Talya Eden , Ronitt Rubinfeld , Arsen Vasilyan

Within a mathematically rigorous model, we analyse the curse of dimensionality for deterministic exact similarity search in the context of popular indexing schemes: metric trees. The datasets $X$ are sampled randomly from a domain $\Omega$,…

Data Structures and Algorithms · Computer Science 2013-03-27 Vladimir Pestov

It is shown that every tree of size $n$ over a fixed set of $\sigma$ different ranked symbols can be decomposed (in linear time as well as in logspace) into $O\big(\frac{n}{\log_\sigma n}\big) = O\big(\frac{n \log \sigma}{\log n}\big)$ many…

Data Structures and Algorithms · Computer Science 2015-09-22 Moses Ganardi , Danny Hucke , Artur Jez , Markus Lohrey , Eric Noeth

We show that almost all known lower bound methods for communication complexity are also lower bounds for the information complexity. In particular, we define a relaxed version of the partition bound of Jain and Klauck and prove that it…

Computational Complexity · Computer Science 2013-01-21 Iordanis Kerenidis , Sophie Laplante , Virginie Lerays , Jérémie Roland , David Xiao

For any fixed graph $G$, the subgraph isomorphism problem asks whether an $n$-vertex input graph has a subgraph isomorphic to $G$. A well-known algorithm of Alon, Yuster and Zwick (1995) efficiently reduces this to the "colored" version of…

Computational Complexity · Computer Science 2020-11-04 Gregory Rosenthal

Sparse structures are frequently sought when pursuing tractability in optimization problems. They are exploited from both theoretical and computational perspectives to handle complex problems that become manageable when sparsity is present.…

Discrete Mathematics · Computer Science 2019-03-21 Yuri Faenza , Gonzalo Muñoz , Sebastian Pokutta

We concentrate on some recent results of Egawa and Ozeki [J. Graph Theory, 2015 and Combinatorica, 2014], and He et al. [J. Graph Theory, 2002]. We give shorter proofs and polynomial time algorithms as well. We present two new proofs for…

Combinatorics · Mathematics 2017-10-20 Zoltán Király

Background: Sequence comparison is essential in bioinformatics, serving various purposes such as taxonomy, functional inference, and drug discovery. The traditional method of aligning sequences for comparison is time-consuming, especially…

Quantitative Methods · Quantitative Biology 2023-11-23 Saeedeh Akbari Rokn Abadi , Melika Honarmand , Ali Hajialinaghi , Somayyeh Koohi

Given a set $P$ of $n$ points in $\mathbb{R}^2$ and an input line $\gamma$ in $\mathbb{R}^2$, we present an algorithm that runs in optimal $\Theta(n\log n)$ time and $\Theta(n)$ space to solve a restricted version of the $1$-Steiner tree…

Computational Geometry · Computer Science 2023-06-16 Prosenjit Bose , Anthony D'Angelo , Stephane Durocher

We give an algorithm that, given an $n$-vertex graph $G$ and an integer $k$, in time $2^{O(k)} n$ either outputs a tree decomposition of $G$ of width at most $2k + 1$ or determines that the treewidth of $G$ is larger than $k$. This is the…

Data Structures and Algorithms · Computer Science 2023-08-24 Tuukka Korhonen

We prove a \emph{query complexity} lower bound on rank-one principal component analysis (PCA). We consider an oracle model where, given a symmetric matrix $M \in \mathbb{R}^{d \times d}$, an algorithm is allowed to make $T$ \emph{exact}…

Machine Learning · Computer Science 2017-04-18 Max Simchowitz , Ahmed El Alaoui , Benjamin Recht

This work addresses the problem of computing measures of recognisable sets of infinite trees. An algorithm is provided to compute the probability measure of a tree language recognisable by a weak alternating automaton, or equivalently…

Formal Languages and Automata Theory · Computer Science 2025-12-22 Damian Niwiński , Marcin Przybyłko , Michał Skrzypczak

A large number of NP-hard graph problems can be solved in $f(w)n^{O(1)}$ time and space when the input graph is provided together with a tree decomposition of width $w$, in many cases with a modest exponential dependence $f(w)$ on $w$.…

Data Structures and Algorithms · Computer Science 2026-03-26 Stefan Kratsch

A simple linear-time algorithm for constructing a linear context-free tree grammar of size O(rg + r g log (n/r g))for a given input tree T of size n is presented, where g is the size of a minimal linear context-free tree grammar for T, and…

Data Structures and Algorithms · Computer Science 2018-10-09 Artur Jeż , Markus Lohrey

Given a graph $G$ and a vertex set $X$, the annotated treewidth tw$(G,X)$ of $X$ in $G$ is the maximum treewidth of an $X$-rooted minor of $G$, i.e., a minor $H$ where the model of each vertex of $H$ contains some vertex of $X$. That way,…

Logic in Computer Science · Computer Science 2024-06-27 Ignasi Sau , Giannos Stamoulis , Dimitrios M. Thilikos

Lin and Lin have recently shown how starting with a classical query algorithm (decision tree) for a function, we may find upper bounds on its quantum query complexity. More precisely, they have shown that given a decision tree for a…

Quantum Physics · Physics 2020-03-04 Salman Beigi , Leila Taghavi
‹ Prev 1 8 9 10 Next ›