2026-07-26T20:11:49Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13960 2024-03-06T10:53:00Z ddc:004 open_access

Constructing Strings Avoiding Forbidden Substrings Bernardini, Giulia Marchetti-Spaccamela, Alberto Pissis, Solon P. Stougie, Leen Sweering, Michelle string algorithms forbidden strings de Bruijn graphs data sanitization We consider the problem of constructing strings over an alphabet Σ that start with a given prefix u, end with a given suffix v, and avoid occurrences of a given set of forbidden substrings. In the decision version of the problem, given a set S_k of forbidden substrings, each of length k, over Σ, we are asked to decide whether there exists a string x over Σ such that u is a prefix of x, v is a suffix of x, and no s ∈ S_k occurs in x. Our first result is an 𝒪(|u|+|v|+k|S_k|)-time algorithm to decide this problem. In the more general optimization version of the problem, given a set S of forbidden arbitrary-length substrings over Σ, we are asked to construct a shortest string x over Σ such that u is a prefix of x, v is a suffix of x, and no s ∈ S occurs in x. Our second result is an 𝒪(|u|+|v|+||S||⋅|Σ|)-time algorithm to solve this problem, where ||S|| denotes the total length of the elements of S. Interestingly, our results can be directly applied to solve the reachability and shortest path problems in complete de Bruijn graphs in the presence of forbidden edges or of forbidden paths. Our algorithms are motivated by data privacy, and in particular, by the data sanitization process. In the context of strings, sanitization consists in hiding forbidden substrings from a given string by introducing the least amount of spurious information. We consider the following problem. Given a string w of length n over Σ, an integer k, and a set S_k of forbidden substrings, each of length k, over Σ, construct a shortest string y over Σ such that no s ∈ S_k occurs in y and the sequence of all other length-k fragments occurring in w is a subsequence of the sequence of the length-k fragments occurring in y. Our third result is an 𝒪(nk|S_k|⋅|Σ|)-time algorithm to solve this problem. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Giulia Bernardini and Alberto Marchetti-Spaccamela and Solon P. Pissis and Leen Stougie and Michelle Sweering 2021 Is Part Of LIPIcs, Volume 191, 32nd Annual Symposium on Combinatorial Pattern Matching (CPM 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CPM.2021.9 urn:nbn:de:0030-drops-139604 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CPM.2021.9 eng https://creativecommons.org/licenses/by/4.0/legalcode