Pattern Masking for Dictionary Matching

Panagiotis Charalampopoulos, Huiping Chen, Peter Christen, Grigorios Loukides, Nadia Pisanti, Solon P. Pissis, Jakub Radoszewski

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)

    Abstract

    Data masking is a common technique for sanitizing sensitive data maintained in database systems, and it is also becoming increasingly important in various application areas, such as in record linkage of personal data. This work formalizes the Pattern Masking for Dictionary Matching (PMDM) problem. In PMDM, we are given a dictionary D of d strings, each of length ℓ, a query string q of length ℓ, and a positive integer z, and we are asked to compute a smallest set K ⊆ {1, . . ., ℓ}, so that if q[i] is replaced by a wildcard for all i ∈ K, then q matches at least z strings from D. Solving PMDM allows providing data utility guarantees as opposed to existing approaches. We first show, through a reduction from the well-known k-Clique problem, that a decision version of the PMDM problem is NP-complete, even for strings over a binary alphabet. We thus approach the problem from a more practical perspective. We show a combinatorial O((dℓ)|K|/3 + dℓ)-time and O(dℓ)-space algorithm for PMDM for |K| = O(1). In fact, we show that we cannot hope for a faster combinatorial algorithm, unless the combinatorial k-Clique hypothesis fails [Abboud et al., SIAM J. Comput. 2018; Lincoln et al., SODA 2018]. We also generalize this algorithm for the problem of masking multiple query strings simultaneously so that every string has at least z matches in D. Note that PMDM can be viewed as a generalization of the decision version of the dictionary matching with mismatches problem: by querying a PMDM data structure with string q and z = 1, one obtains the minimal number of mismatches of q with any string from D. The query time or space of all known data structures for the more restricted problem of dictionary matching with at most k mismatches incurs some exponential factor with respect to k. A simple exact algorithm for PMDM runs in time O(2d). We present a data structure for PMDM that answers queries over D in time O(2ℓ/2(2ℓ/2 + τ)ℓ) and requires space O(2d22 + 2ℓ/2d), for any parameter τ ∈ [1, d]. We complement our results by showing a two-way polynomial-time reduction between PMDM and the Minimum Union problem [Chlamtáč et al., SODA 2017]. This gives a polynomial-time O(d1/4+ϵ)approximation algorithm for PMDM, which is tight under a plausible complexity conjecture.

    Original languageEnglish
    Title of host publication32nd International Symposium on Algorithms and Computation, ISAAC 2021
    EditorsHee-Kap Ahn, Kunihiko Sadakane
    PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
    ISBN (Electronic)9783959772143
    DOIs
    Publication statusPublished - 1 Dec 2021
    Event32nd International Symposium on Algorithms and Computation, ISAAC 2021 - Fukuoka, Japan
    Duration: 6 Dec 20218 Dec 2021

    Publication series

    NameLeibniz International Proceedings in Informatics, LIPIcs
    Volume212
    ISSN (Print)1868-8969

    Conference

    Conference32nd International Symposium on Algorithms and Computation, ISAAC 2021
    Country/TerritoryJapan
    CityFukuoka
    Period6/12/218/12/21

    Fingerprint

    Dive into the research topics of 'Pattern Masking for Dictionary Matching'. Together they form a unique fingerprint.

    Cite this