Source author record

Pamela Fleischmann

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 math.CO Computation and Language Data Structures and Algorithms Computational Complexity Discrete Mathematics Logic in Computer Science

Catalog footprint

Research overview

8works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

m-Nearly k-Universal Words -- Investigating Simon Congruence

Determining the index of the Simon congruence is a long outstanding open problem. Two words $u$ and $v$ are called Simon congruent if they have the same set of scattered factors, which are parts of the word in the correct order but not necessarily consecutive, e.g., $\mathtt{oath}$ is a scattered factor of $\mathtt{logarithm}$ . Following the idea of scattered factor $k$ -universality, we investigate $m$ -nearly $k$ -universality, i.e., words where $m$ scattered factors of length $k$ are absent, w.r.t. Simon congruence. We present a full characterisation as well as the index of the congruence for $m=1$ . For $m\neq 1$ , we show some results if in addition $w$ is $(k-1)$ -universal as well as some further insights for different $m$ .

preprint2022arXiv

MaxSAT with Absolute Value Functions: A Parameterized Perspective

The natural generalization of the Boolean satisfiability problem to optimization problems is the task of determining the maximum number of clauses that can simultaneously be satisfied in a propositional formula in conjunctive normal form. In the weighted maximum satisfiability problem each clause has a positive weight and one seeks an assignment of maximum weight. The literature almost solely considers the case of positive weights. While the general case of the problem is only restricted slightly by this constraint, many special cases become trivial in the absence of negative weights. In this work we study the problem with negative weights and observe that the problem becomes computationally harder - which we formalize from a parameterized perspective in the sense that various variations of the problem become W[1]-hard if negative weights are present. Allowing negative weights also introduces new variants of the problem: Instead of maximizing the sum of weights of satisfied clauses, we can maximize the absolute value of that sum. This turns out to be surprisingly expressive even restricted to monotone formulas in disjunctive normal form with at most two literals per clause. In contrast to the versions without the absolute value, however, we prove that these variants are fixed-parameter tractable. As technical contribution we present a kernelization for an auxiliary problem on hypergraphs in which we seek, given an edge-weighted hypergraph, an induced subgraph that maximizes the absolute value of the sum of edge-weights.

preprint2022arXiv

On the Self Shuffle Language

The shuffle product $u\shuffle v$ of two words $u$ and $v$ is the set of all words which can be obtained by interleaving $u$ and $v$ . Motivated by the paper \emph{The Shuffle Product: New Research Directions} by Restivo (2015) we investigate a special case of the shuffle product. In this work we consider the shuffle of a word with itself called the \emph{self shuffle} or \emph{shuffle square}, showing first that the self shuffle language and the shuffle of the language are in general different sets. We prove that the language of all words arising as a self shuffle of some word is context sensitive but not context free. Furthermore, we show that the self shuffle $w \shuffle w$ uniquely determines $w$ .

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

On Collapsing Prefix Normal Words

Prefix normal words are binary words in which each prefix has at least the same number of $\so$s as any factor of the same length. Firstly introduced by Fici and Lipták in 2011, the problem of determining the index of the prefix equivalence relation is still open. In this paper, we investigate two aspects of the problem, namely prefix normal palindromes and so-called collapsing words (extending the notion of critical words). We prove characterizations for both the palindromes and the collapsing words and show their connection. Based on this, we show that still open problems regarding prefix normal words can be split into certain subproblems.

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.

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.

Pamela Fleischmann

Research overview

Is this your work?

8 publications

m-Nearly k-Universal Words -- Investigating Simon Congruence

MaxSAT with Absolute Value Functions: A Parameterized Perspective

On the Self Shuffle Language

Blocksequences of k-local Words

On Collapsing Prefix Normal Words

Reconstructing Words from Right-Bounded-Block Words

Scattered Factor-Universality of Words

The Edit Distance to $k$ -Subsequence Universality

See the researcher in context

Building this map preview

Pamela Fleischmann

Research overview

Is this your work?

8 publications

m-Nearly k-Universal Words -- Investigating Simon Congruence

MaxSAT with Absolute Value Functions: A Parameterized Perspective

On the Self Shuffle Language

Blocksequences of k-local Words

On Collapsing Prefix Normal Words

Reconstructing Words from Right-Bounded-Block Words

Scattered Factor-Universality of Words

The Edit Distance to kkk-Subsequence Universality

See the researcher in context

Building this map preview

The Edit Distance to $k$ -Subsequence Universality