English
Related papers

Related papers: On the work of dynamic constant-time parallel algo…

200 papers

We describe a framework for maintaining forest algebra representations that are of logarithmic height for unranked trees. Such representations can be computed in O(n) time and updated in O(log(n)) time. The framework is of potential…

Logic in Computer Science · Computer Science 2025-10-08 Sarah Kleest-Meißner , Jonas Marasus , Matthias Niewerth

The computational complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a regular language. In case regular languages are…

Formal Languages and Automata Theory · Computer Science 2011-02-15 Markus Lohrey , Christian Mathissen

We motivate and prove a strong pumping lemma for regular tree languages. The new lemma can be seen as the natural correspondent of Ogden's lemma for context-free string languages.

Computational Complexity · Computer Science 2008-10-24 Marco Kuhlmann

A longest common extension (LCE) query on a string computes the length of the longest common suffix or prefix at two given positions. A dynamic LCE algorithm maintains a data structure that allows efficient LCE queries on a string that can…

Data Structures and Algorithms · Computer Science 2026-04-15 Daniel Albert

This paper introduces derivation trees for general grammars. Within these trees, it defines context-dependent pairs of nodes, corresponding to rewriting two neighboring symbols using a non context-free rule. It proves that the language…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Martin Havel , Zbyněk Křivka , Alexander Meduna

It is shown that a context-free grammar of size $m$ that produces a single string $w$ (such a grammar is also called a string straight-line program) can be transformed in linear time into a context-free grammar for $w$ of size…

Data Structures and Algorithms · Computer Science 2020-07-02 Moses Ganardi , Artur Jeż , Markus Lohrey

The schema-guided paradigm overcomes scalability issues inherent in building task-oriented dialogue (TOD) agents with static ontologies. Instead of operating on dialogue context alone, agents have access to hierarchical schemas containing…

Computation and Language · Computer Science 2023-03-20 A. Coca , B. H. Tseng , W. Lin , B. Byrne

Multiple (simple) context-free tree grammars are investigated, where "simple" means "linear and nondeleting". Every multiple context-free tree grammar that is finitely ambiguous can be lexicalized; i.e., it can be transformed into an…

Formal Languages and Automata Theory · Computer Science 2017-07-13 Joost Engelfriet , Andreas Maletti , Sebastian Maneth

Spanning trees of low average stretch on the non-tree edges, as introduced by Alon et al. [SICOMP 1995], are a natural graph-theoretic object. In recent years, they have found significant applications in solvers for symmetric diagonally…

Data Structures and Algorithms · Computer Science 2019-08-01 Sebastian Forster , Gramoz Goranci

This paper presents the first implementation of a search tree data structure in an asynchronous shared-memory system that provides a wait-free algorithm for executing range queries on the tree, in addition to non-blocking algorithms for…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-15 Panagiota Fatourou , Eric Ruppert

We introduce a new dynamic vocabulary for language models. It can involve arbitrary text spans during generation. These text spans act as basic generation bricks, akin to tokens in the traditional static vocabularies. We show that, the…

Computation and Language · Computer Science 2024-10-14 Yanting Liu , Tao Ji , Changzhi Sun , Yuanbin Wu , Xiaoling Wang

``Algorithms with predictions'', or ``learning-augmented algorithms'', has proved to be an extremely useful paradigm for combining machine learning with traditional algorithms. One of the textbook settings for this is searching a sorted…

Data Structures and Algorithms · Computer Science 2026-05-28 Michael Dinitz , Bob Dong

We suggest a new non-recursive algorithm for constructing a binary search tree given an array of numbers. The algorithm has $O(N)$ time and $O(1)$ memory complexity if the given array of $N$ numbers is sorted. The resulting tree is of…

Data Structures and Algorithms · Computer Science 2022-07-20 Pavel S. Ruzankin

We give an algorithm that given a graph $G$ with $n$ vertices and $m$ edges and an integer $k$, in time $O_k(n^{1+o(1)}) + O(m)$ either outputs a rank decomposition of $G$ of width at most $k$ or determines that the rankwidth of $G$ is…

Data Structures and Algorithms · Computer Science 2024-02-20 Tuukka Korhonen , Marek Sokołowski

We significantly improve known time bounds for solving the minimum cut problem on undirected graphs. We use a ``semi-duality'' between minimum cuts and maximum spanning tree packings combined with our previously developed random sampling…

Data Structures and Algorithms · Computer Science 2007-05-23 David R. Karger

We give practical, efficient algorithms that automatically determine the asymptotic distributed round complexity of a given locally checkable graph problem in the $[\Theta(\log n), \Theta(n)]$ region, in two settings. We present one…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-05 Alkida Balliu , Sebastian Brandt , Yi-Jun Chang , Dennis Olivetti , Jan Studený , Jukka Suomela

We investigate dynamic algorithms for the interval scheduling problem. Our algorithm runs in amortised time $O(\log n)$ for query operation and $O(d\log^2 n)$ for insertion and removal operations, where $n$ and $d$ are the maximal numbers…

Data Structures and Algorithms · Computer Science 2014-12-30 Alex Gavryushkin , Bakhadyr Khoussainov , Mikhail Kokho , Jiamou Liu

Processing graphs with temporal information (the temporal graphs) has become increasingly important in the real world. In this paper, we study efficient solutions to temporal graph applications using new algorithms for Incremental Minimum…

Data Structures and Algorithms · Computer Science 2025-05-13 Xiangyun Ding , Yan Gu , Yihan Sun

Most existing large language models (LLMs) are expensive to adapt after deployment, especially when a task requires newly produced information or niche domain knowledge. Recent work has shown that, by manipulating and optimizing their…

Computation and Language · Computer Science 2026-05-15 Zeyu Huang , Adhiguna Kuncoro , Qixuan Feng , Jiajun Shen , Lucio Dery , Arthur Szlam , Marc'Aurelio Ranzato

Several methods are known for parsing languages generated by Tree Adjoining Grammars (TAGs) in O(n^6) worst case running time. In this paper we investigate which restrictions on TAGs and TAG derivations are needed in order to lower this…

Computation and Language · Computer Science 2007-05-23 Giorgio Satta , William Schuler