?? ??t? r?s???t t? st?t? s???? r????t???? ?? t?? ???tr?r?? ?t ?s ???? str?ss?? ?? ??? t??t t??s ?s ? ??rt?????r?? ??????t t?s?? ?????? st??? ????r???? t? ???? ???????s ??? ?q????????? r????t???s ?r? ??t ??t?? ?s?? ??? ??? ??ss ????r?? s????tr? r????t???s ?r? ?r???rr??? ? ?????????? r???r?s ?? t??s ????r ?? ?r?s??t?? ?? ??str??t??? t?????q?? ??r ????r?t??? r?????? st?t? s???? r??r?s??t?t???s ?? ??????? ???t??t?r????? ?????t??? s?st??s? ????? s?????????? ?t ???????t??? ?r?????s r?s??t?? ,
(i + 1)}? ?? ??t??? t??t H ? ?s ? ????t???? ?t ?s ????r t??t ctc ? s?t?s??s ???? s???? ctc s?t?s??s, )} ??? dom(H ? ) = dom(H) ? {?.(i + 1)}? ,
(i + 1) = ? ? .k.? ??? k > m? ??r s??? (? ? , m) ? H \ {(?, i)}? ?? ? ?s ???t?? t??? ? = ? ,
?s s??? ?s ?? t?? ?????t??? ?? h??q???????t st?t?s ???? ??s? ?? ?????? h??q???????t? ??r????r? next(H) = {?.(i + 1) | (?, i) ? H}? ??r ???r? ?t?? ,