Source author record

Florin Manea

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Formal Languages and Automata Theory Data Structures and Algorithms Computational Complexity math.CO Databases Discrete Mathematics Logic in Computer Science

Catalog footprint

Research overview

10works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Enumerating m-Length Walks in Directed Graphs with Constant Delay

In this paper, we provide a novel enumeration algorithm for the set of all walks of a given length within a directed graph. Our algorithm has worst-case constant delay between outputting succinct representations of such walks, after a preprocessing step requiring linear time relative to the size of the graph. We apply these results to the problem of enumerating succinct representations of the strings of a given length from a prefix-closed regular language (languages accepted by a finite automaton which has final states only).

preprint2022arXiv

A Generic Information Extraction System for String Constraints

String constraint solving, and the underlying theory of word equations, are highly interesting research topics both for practitioners and theoreticians working in the wide area of satisfiability modulo theories. As string constraint solving algorithms, a.k.a. string solvers, gained a more prominent role in the formal analysis of string-heavy programs, especially in connection to symbolic code execution and security protocol verification, we can witness an ever-growing number of benchmarks collecting string solving instances from real-world applications as well as an ever-growing need for more efficient and reliable solvers, especially for the aforementioned real-world instances. Thus, it seems that the string solving area (and the developers, theoreticians, and end-users active in it) could greatly benefit from a better understanding and processing of the existing string solving benchmarks. In this context, we propose SMTQUERY: an SMT-LIB benchmark analysis tool for string constraints. SMTQUERY is implemented in Python 3, and offers a collection of analysis and information extraction tools for a comprehensive data base of string benchmarks (presented in SMT-LIB format), based on an SQL-centred language called QLANG.

preprint2022arXiv

Matching Patterns with Variables Under Edit Distance

A pattern $α$ is a string of variables and terminal letters. We say that $α$ matches a word $w$ , consisting only of terminal letters, if $w$ can be obtained by replacing the variables of $α$ by terminal words. The matching problem, i.e., deciding whether a given pattern matches a given word, was heavily investigated: it is NP-complete in general, but can be solved efficiently for classes of patterns with restricted structure. If we are interested in what is the minimum Hamming distance between $w$ and any word $u$ obtained by replacing the variables of $α$ by terminal words (so matching under Hamming distance), one can devise efficient algorithms and matching conditional lower bounds for the class of regular patterns (in which no variable occurs twice), as well as for classes of patterns where we allow unbounded repetitions of variables, but restrict the structure of the pattern, i.e., the way the occurrences of different variables can be interleaved. Moreover, under Hamming distance, if a variable occurs more than once and its occurrences can be interleaved arbitrarily with those of other variables, even if each of these occurs just once, the matching problem is intractable. In this paper, we consider the problem of matching patterns with variables under edit distance. We still obtain efficient algorithms and matching conditional lower bounds for the class of regular patterns, but show that the problem becomes, in this case, intractable already for unary patterns, consisting of repeated occurrences of a single variable interleaved with terminals.

preprint2022arXiv

Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

We consider subsequences with gap constraints, i.e., length-k subsequences p that can be embedded into a string w such that the induced gaps (i.e., the factors of w between the positions to which p is mapped to) satisfy given gap constraints $gc = (C_1, C_2, ..., C_{k-1})$ ; we call p a gc-subsequence of w. In the case where the gap constraints gc are defined by lower and upper length bounds $C_i = (L^-_i, L^+_i) \in \mathbb{N}^2$ and/or regular languages $C_i \in REG$ , we prove tight (conditional on the orthogonal vectors (OV) hypothesis) complexity bounds for checking whether a given p is a gc-subsequence of a string w. We also consider the whole set of all gc-subsequences of a string, and investigate the complexity of the universality, equivalence and containment problems for these sets of gc-subsequences.

preprint2020arXiv

Blocksequences of k-local Words

The locality of words is a relatively young structural complexity measure, introduced by Day et al. in 2017 in order to define classes of patterns with variables which can be matched in polynomial time. The main tool used to compute the locality of a word is called marking sequence: an ordering of the distinct letters occurring in the respective order. Once a marking sequence is defined, the letters of the word are marked in steps: in the ith marking step, all occurrences of the ith letter of the marking sequence are marked. As such, after each marking step, the word can be seen as a sequence of blocks of marked letters separated by blocks of non-marked letters. By keeping track of the evolution of the marked blocks of the word through the marking defined by a marking sequence, one defines the blocksequence of the respective marking sequence. We first show that the words sharing the same blocksequence are only loosely connected, so we consider the stronger notion of extended blocksequence, which stores additional information on the form of each single marked block. In this context, we present a series of combinatorial results for words sharing the extended blocksequence.

preprint2020arXiv

Reconstructing Words from Right-Bounded-Block Words

A reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely determine a word. We show that a word $w \in \{a, b\}^{*}$ can be reconstructed from the number of occurrences of at most $\min(|w|_a, |w|_b)+ 1$ scattered factors of the form $a^{i} b$ . Moreover, we generalize the result to alphabets of the form $\{1,\ldots,q\}$ by showing that at most $\sum^{q-1}_{i=1} |w|_i (q-i+1)$ scattered factors suffices to reconstruct $w$ . Both results improve on the upper bounds known so far. Complexity time bounds on reconstruction algorithms are also considered here.

preprint2020arXiv

Scattered Factor-Universality of Words

A word $u=u_1\dots u_n$ is a scattered factor of a word $w$ if $u$ can be obtained from $w$ by deleting some of its letters: there exist the (potentially empty) words $v_0,v_1,..,v_n$ such that $w = v_0u_1v_1...u_nv_n$ . The set of all scattered factors up to length $k$ of a word is called its full $k$ -spectrum. Firstly, we show an algorithm deciding whether the $k$ -spectra for given $k$ of two words are equal or not, running in optimal time. Secondly, we consider a notion of scattered-factors universality: the word $w$ , with $\letters(w)=Σ$, is called $k$ -universal if its $k$ -spectrum includes all words of length $k$ over the alphabet $Σ$ ; we extend this notion to $k$ -circular universality. After a series of preliminary combinatorial results, we present an algorithm computing, for a given $k'$ -universal word $w$ the minimal $i$ such that $w^i$ is $k$ -universal for some $k>k'$ . Several other connected problems~are~also~considered.

preprint2020arXiv

The Edit Distance to $k$ -Subsequence Universality

A word $u$ is a subsequence of another word $w$ if $u$ can be obtained from $w$ by deleting some of its letters. The word $w$ with alph $(w)=Σ$ is called $k$ -subsequence universal if the set of subsequences of length $k$ of $w$ contains all possible words of length $k$ over $Σ$ . We propose a series of efficient algorithms computing the minimal number of edit operations (insertion, deletion, substitution) one needs to apply to a given word in order to reach the set of $k$ -subsequence universal words.

preprint2015arXiv

Efficiently Finding All Maximal $α$ -gapped Repeats

For $α\geq 1$ , an $α$ -gapped repeat in a word $w$ is a factor $uvu$ of $w$ such that $|uv|\leq α|u|$ ; the two factors $u$ in such a repeat are called arms, while the factor $v$ is called gap. Such a repeat is called maximal if its arms cannot be extended simultaneously with the same symbol to the right or, respectively, to the left. In this paper we show that the number of maximal $α$ -gapped repeats that may occur in a word is upper bounded by $18αn$ . This allows us to construct an algorithm finding all the maximal $α$ -gapped repeats of a word in $O(αn)$ ; this is optimal, in the worst case, as there are words that have $Θ(αn)$ maximal $α$ -gapped repeats. Our techniques can be extended to get comparable results in the case of $α$ -gapped palindromes, i.e., factors $uvu^\mathrm{T}$ with $|uv|\leq α|u|$ .

preprint2010arXiv

Accepting Hybrid Networks of Evolutionary Processors with Special Topologies and Small Communication

Starting from the fact that complete Accepting Hybrid Networks of Evolutionary Processors allow much communication between the nodes and are far from network structures used in practice, we propose in this paper three network topologies that restrict the communication: star networks, ring networks, and grid networks. We show that ring-AHNEPs can simulate 2-tag systems, thus we deduce the existence of a universal ring-AHNEP. For star networks or grid networks, we show a more general result; that is, each recursively enumerable language can be accepted efficiently by a star- or grid-AHNEP. We also present bounds for the size of these star and grid networks. As a consequence we get that each recursively enumerable can be accepted by networks with at most 13 communication channels and by networks where each node communicates with at most three other nodes.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Florin Manea

Research overview

Is this your work?

10 publications

Enumerating m-Length Walks in Directed Graphs with Constant Delay

A Generic Information Extraction System for String Constraints

Matching Patterns with Variables Under Edit Distance

Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

Blocksequences of k-local Words

Reconstructing Words from Right-Bounded-Block Words

Scattered Factor-Universality of Words

The Edit Distance to $k$ -Subsequence Universality

Efficiently Finding All Maximal $α$ -gapped Repeats

Accepting Hybrid Networks of Evolutionary Processors with Special Topologies and Small Communication

See the researcher in context

Building this map preview

Florin Manea

Research overview

Is this your work?

10 publications

Enumerating m-Length Walks in Directed Graphs with Constant Delay

A Generic Information Extraction System for String Constraints

Matching Patterns with Variables Under Edit Distance

Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

Blocksequences of k-local Words

Reconstructing Words from Right-Bounded-Block Words

Scattered Factor-Universality of Words

The Edit Distance to kkk-Subsequence Universality

Efficiently Finding All Maximal ααα-gapped Repeats

Accepting Hybrid Networks of Evolutionary Processors with Special Topologies and Small Communication

See the researcher in context

Building this map preview

The Edit Distance to $k$ -Subsequence Universality

Efficiently Finding All Maximal $α$ -gapped Repeats