Mustervergleich mit egal: Mehrere Muster

Kalais 2-seitiges SODA-Papier bietet einen einfachen und effizienten Algorithmus für den Mustervergleich mit egal (Platzhalter, die einem Zeichen entsprechen). Im Wesentlichen ist es so einfach wie Faltung.

Aber was passiert, wenn wir nach mehreren Mustern suchen , ohne sich darum zu kümmern? Können wir es trotzdem irgendwie lösen, zB mit FFT-basierten Techniken?

ds.algorithms reference-request string-matching

— Jukka Suomela
quelle

Für den Fall mit mehreren Mustern scheint es die beste Lösung zu sein, einfach nach jedem der beiden zu suchen, zumindest wenn die Hypothese der starken Exponentialzeit nicht fehlschlägt.

Denken Sie daran, dass gegebene Mengen und über das Universum , wenn wir entscheiden könnten, ob es und so dass in der Zeit $S_1, S_2, \dotsc, S_n$ $T_1, T_2, \dotsc, T_n$ $[m]$ $S_i$ $T_j$ $S_i \cup T_j = [m]$ $O(n^{2-\varepsilon}\operatorname{poly}(m))$ , dann schlägt SETH fehl, dh wir haben einen CNF-SAT-Algorithmus mit der Laufzeit . $O^*\bigl(2^{(1-\varepsilon/2)n}\bigr)$

Wenn die Mengen und , codieren wir das obige Problem als Mehrmusterabgleich, wobei das binäre Alphabet nicht wie folgt berücksichtigt wird: $S_1, S_2, \dotsc, S_n$ $T_1, T_2, \dotsc, T_n$

$1 [T_{1}] 10^{m + 2} 1 [T_{2}] 10^{m + 2} \dots 0^{m + 2} 1 [T_{n}] 1,$ $1[T_1]10^{m+2}1[T_2]10^{m+2}\dots0^{m+2}1[T_n]1\,,$ $[T_i]$ $T_i$
$n$ $1\langle S_i \rangle 1$ $\langle S_i \rangle$ $y = y_1y_2\dots y_m$ $y_j = 1$ $j \notin S_i$ $y_j = *$ $j \in S_i$ $*$

$1\langle S_i \rangle 1$ $1[T_j]1$ $S_i \cup T_j = [m]$ $O(nm)$

(Beachten Sie, dass dies nichts über Algorithmen aussagt, die viel Zeit für die Vorverarbeitung der Muster benötigen, z. B. quadratisch in der Gesamtlänge der Muster.)

— Janne H. Korhonen
quelle