???????? ??? — ??????? — ???????? ?????? ????????? , ????????????? ????????? ??? ? ? 1975 ???? , ????????? ????? ????????? ???????? ?? ??????? ? ?????? ?????? .

?????? ??????????? ? ????????? ??????????? ???????????, ????????, ???????????? ? ??????? ?????? grep .

??????? ??????

???????? ?????? ???????? ??????? , ???????? ????? ???????? ?????? ??????. ??????? ???????? ?? ??????? ??? ??????? ?????? ? ????????? ?? ??????????????? ??????. ???? ??????? ?????? ? ???????? ?????????, ??????????????? ?????? ??????? ???????????? ? ?????? ??????.

????????? ????? ?????? ????? ?????????? ? ?????? ??????, ??? ?????????? ??? (?????????? ??????). ??? ???????? ???????? ?????????, ???????????? ???? ?????? ?? ${\displaystyle m}$ — ?? ??? ???????, ??? ?????? ?????? ????????.

?????? ?????? ? ????????? — ??????? ??????? «?????????????????????», ???? ????????? ?? ???????. ??? ???? ??????? ???????? ? ????????? ????????? ??? ????? ???????????? ????? ?? ????????, ??? ??? ??? ????? ???????? ? ???????? ????????? (????????, ??? ?????? ?????? aabab , ?????????? aab aabab , ????? ?????????? ?????? ??????? ??????? ???????? ? ???????? ????????? ???????? ? ???????? ????????? — ????? ???? ?? ??????? ? ????????? a , ? ????? ????? ?????????? ????? ??????). ????? ??????? ????????????????????, ? ???? ??????????? ?????????? ??????, ??????????? ?????? ???????? ? (??? ??? ????????????????? ??????? ???????????? ? ???????????????????). ????????, ???? ????????? ?????? aaba , ?? ???? ???????????? ???????? aba , ba , a . ?????????? ?????? — ??? ?????? ?? ????, ??????????????? ?????? ???????? ????????, ??????? ?? ??????? ??? ? ????? (? ?????? ?????? a ).

??? ????????? ???? ?????????? ?????? — ?????. ??? ????????? ??????? ??????: ???? ????????? ???????????? ?????? — ${\displaystyle c}$ , ?? ?????????????? ????? ?? ?????????? ?????? ????????, ???? ?????? ???? ????, ??????????? ???????? ${\displaystyle c}$ , ?????????? ?????? ???????????? ? ??? ????, ???? ??? ???? ?????. ????? — ???????? ???????? ?? ?????????? ?????? ??? ? ??? ???, ???? ???? ?? ??????? ?? ???????? ??????-?????, ???? ?? ?????? ????, ??????????? ???????? ${\displaystyle c}$ .

 * ···Ø···> * ···Ø···> * ···Ø···> *
 |                                |
 c                                c
 ?                                ?
[*] ·············Ø··············> *
     ????? ?????????? ??????

???? ??????? ???????????????????. ?????????????? ???????????????????? ????????? ???????? ? ????????????????? ? ????? ?????? ???????? ? ????????????? ?????????? ?????????? ??????. ?? ???? ??????? ????? ?????????? ? ?????????????????, ?? ???????? ????? ??????: ???? ??? ??????? ${\displaystyle v}$ ?????? ???? ?? ??????? ${\displaystyle c}$ , ?????????? ?? ?????????? ?????? ??? ? ??? ??? — ???? ???? ?? ??????? ? ??????, ???? ????? ???? ???? ?? ??????? ${\displaystyle c}$ .

??? ?????????????? ?????? ?????? ??????????. ????????, ??? ?????????? ??????:

 ??? ??????????(v)
   ???? v.????????????? ? Ø      // ??? ????? ?????????? ??????.????????????? = ??????
     ??????? v.?????????????
   u := v.????????
   c := v.??????
   ?????????
     u := ??????????(u)
   ?? (u = ??????) ??? (?????????? ???? u —c? w)
   ???? ?????????? ??????? u —c? w
     ?? v.????????????? := w
     ????? v.????????????? := ??????
   ??????? v.?????????????

?????????????? ??????????? ?????????? ???????? ??????: ???? ?????????? ?????? ?? ??????? ${\displaystyle v}$ ????? ? ???????? ${\displaystyle u}$ , ???? ${\displaystyle v}$ ???? ??????????? ????????. ??? ????? ????????? ??? ?????????? ???????? ??????: ???????? ?????? ????? ?? ????????? ?? ?????????? ??????? ???????? ???????; ????? ?? ???????? ??????? ???? ??? ????????? ??????.

 ??? ????????????????(v, i)
   ?????????? "??????? " + v.?????? + " ? ??????? " + (i - v.??????? + 1)

 ??? ???????????????????
   ????????? := ??????
   ???? i=1..|????????|
     ????????? := ???????(?????????, ????????[i]);
     ???? ?????????.?????? ? Ø
       ????????????????(?????????, i)
     ???????? := ?????????
     ???? ??????????????(????????) ? Ø
       ???????? := ??????????????(????????);
       ????????????????(????????, i)

?????????? ? ???????? ?????? ? ???????? ????? ???????????? ?? ???? ?????????? ??? ?? ???? ??????. ???????? ???????? — ????? ????????? ?? ?????, ????? ?? ??????? , ????? ?????????? ??? ???? ?????, ????? — ??? ????????? (?? ??????????????? ?????? ????????? ??? ??? ?? ??????).

?????????????? ?????????

?????????????? ????????? ?????? ????????? ??????? ?? ??????????? ??????. ????????:

• ???? ??????? ????????? ???????? ??????? ??? ????????? ?????? — ?????? ?????? ${\displaystyle O(n\sigma )}$ , ?????????????? ????????? ${\displaystyle O(n\sigma +H+k)}$ , ??? ${\displaystyle H}$ — ????? ??????, ? ??????? ???????????? ?????, ${\displaystyle n}$ — ????? ????? ???? ???? ? ???????, ${\displaystyle \sigma }$ — ?????? ????????, ${\displaystyle k}$ — ????? ????? ???? ??????????.
• ???? ??????? ????????? ???????? ??????? ??? ??????-?????? ?????? — ?????? ?????? ????????? ?? ${\displaystyle O(n)}$ , ?????? ?????????????? ????????? ??????????? ?? ${\displaystyle O((H+n)\log \sigma +k)}$ .

??????????

??????

? ?????? ?? ??????? ?????? ?? ????????? (??. ???????????? ?? ?????? ). ?????????? ?????? ???? ?????????? , ????? ??? ????? ???? ???????. ?? ?????? ??????, ??????? ?????? ?? ???????????? ????????? ? ???? ?????? . ( 18 ??? 2013 )