English
Related papers

Related papers: Multi-level Loop-less Algorithm for Multi-set Perm…

200 papers

In this paper, a method to generate permutations of a string under a set of constraints decided by the user is presented. The required permutations are generated without generating all the permutations.

Discrete Mathematics · Computer Science 2013-11-18 Dhruvil Badani

The tree inclusion problem is, given two node-labeled trees $P$ and $T$ (the ``pattern tree'' and the ``target tree''), to locate every minimal subtree in $T$ (if any) that can be obtained by applying a sequence of node insertion operations…

Data Structures and Algorithms · Computer Science 2021-06-16 Tatsuya Akutsu , Jesper Jansson , Ruiming Li , Atsuhiro Takasu , Takeyuki Tamura

We show a new simple algorithm that checks whether a given higher-order grammar generates a nonempty language of trees. The algorithm amounts to a procedure that transforms a grammar of order n to a grammar of order n-1, preserving…

Formal Languages and Automata Theory · Computer Science 2020-09-18 Paweł Parys

We propose an $O(N\cdot M)$ sorting algorithm by Machine Learning method, which shows a huge potential sorting big data. This sorting algorithm can be applied to parallel sorting and is suitable for GPU or TPU acceleration. Furthermore, we…

Machine Learning · Computer Science 2018-08-16 Hanqing Zhao , Yuehan Luo

We present $O(\log\log n)$ round scalable Massively Parallel Computation algorithms for maximal independent set and maximal matching, in trees and more generally graphs of bounded arboricity, as well as for constant coloring trees.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-11 Mohsen Ghaffari , Christoph Grunau , Ce Jin

Recently Kubica et al. (Inf. Process. Let., 2013) and Kim et al. (submitted to Theor. Comp. Sci.) introduced order-preserving pattern matching. In this problem we are looking for consecutive substrings of the text that have the same "shape"…

Scheduling is an important task allowing parallel systems to perform efficiently and reliably. For modern computation systems, divisible load is a special type of data which can be divided into arbitrary sizes and independently processed in…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-07 Fei Wu , Yang Cao , Thomas Robertazzi

The supertree construction problem is about combining several phylogenetic trees with possibly conflicting information into a single tree that has all the leaves of the source trees as its leaves and the relationships between the leaves are…

Computational Engineering, Finance, and Science · Computer Science 2020-02-19 Laura Koponen , Emilia Oikarinen , Tomi Janhunen , Laura Säilä

Branching bisimilarity is a behavioural equivalence relation on labelled transition systems that takes internal actions into account. It has the traditional advantage that algorithms for branching bisimilarity are more efficient than all…

Logic in Computer Science · Computer Science 2025-08-08 David N. Jansen , Jan Friso Groote , Jeroen J. A. Keiren , Anton Wijs

The order-preserving model (op-model, in short) was introduced quite recently but has already attracted significant attention because of its applications in data analysis. We introduce several types of periods in this setting (op-periods).…

Data Structures and Algorithms · Computer Science 2018-01-08 Garance Gourdel , Tomasz Kociumaka , Jakub Radoszewski , Wojciech Rytter , Arseny Shur , Tomasz Waleń

Given a sparse matrix $A$, the selected inversion algorithm is an efficient method for computing certain selected elements of $A^{-1}$. These selected elements correspond to all or some nonzero elements of the LU factors of $A$. In many…

Mathematical Software · Computer Science 2016-04-12 Mathias Jacquelin , Lin Lin , Weile Jia , Yonghua Zhao , Chao Yang

Lexical simplification (LS) methods based on pretrained language models have made remarkable progress, generating potential substitutes for a complex word through analysis of its contextual surroundings. However, these methods require…

Computation and Language · Computer Science 2023-07-31 Kang Liu , Jipeng Qiang , Yun Li , Yunhao Yuan , Yi Zhu , Kaixun Hua

We study how to evaluate MSO queries with free variables on trees, within the framework of enumeration algorithms. Previous work has shown how to enumerate answers with linear-time preprocessing and delay linear in the size of each output,…

Databases · Computer Science 2018-06-01 Antoine Amarilli , Pierre Bourhis , Stefan Mengel

Industrial robots can solve very complex tasks in controlled environments, but modern applications require robots able to operate in unpredictable surroundings as well. An increasingly popular reactive policy architecture in robotics is…

Robotics · Computer Science 2021-03-17 Jonathan Styrud , Matteo Iovino , Mikael Norrlöf , Mårten Björkman , Christian Smith

We present an algorithm for marginalising changepoints in time-series models that assume a fixed number of unknown changepoints. Our algorithm is differentiable with respect to its inputs, which are the values of latent random variables…

Machine Learning · Computer Science 2019-11-25 Hyoungjin Lim , Gwonsoo Che , Wonyeol Lee , Hongseok Yang

Set intersection is a fundamental operation in information retrieval and database systems. This paper introduces linear space data structures to represent sets such that their intersection can be computed in a worst-case efficient way. In…

Databases · Computer Science 2011-03-15 Bolin Ding , Arnd Christian König

In this paper, we revisit the application of generating trees to the pattern avoidance problem for permutations. In particular, we study this problem for certain general sets of patterns and propose a new procedure leveraging the FinLabel…

Combinatorics · Mathematics 2021-10-18 Toufik Mansour , Reza Rastegar , Mark Shattuck

We present algorithms for generating small random samples without replacement. We consider two cases. We present an algorithm for sampling a pair of distinct integers, and an algorithm for sampling a triple of distinct integers. The…

Data Structures and Algorithms · Computer Science 2025-01-10 Vincent A. Cicirello

Evolutionary histories for species that cross with one another or exchange genetic material can be represented by leaf-labelled, directed graphs called phylogenetic networks. A major challenge in the burgeoning area of phylogenetic networks…

Data Structures and Algorithms · Computer Science 2021-09-24 Leo van Iersel , Sjors Kole , Vincent Moulton , Leonie Nipius

A key requirement in sequence to sequence processing is the modeling of long range dependencies. To this end, a vast majority of the state-of-the-art models use attention mechanism which is of O($n^2$) complexity that leads to slow…

Machine Learning · Computer Science 2019-10-29 Kārlis Freivalds , Emīls Ozoliņš , Agris Šostaks
‹ Prev 1 4 5 6 7 8 10 Next ›