Кіріспе

Компьютерлік ғылым мәселесі

Компьютерлік ғылымда екі немесе одан көп жолдың ең ұзын ортақ кіші жолы – бұл олардың барлығында кездесетін ең ұзын жол. Ең ұзын ортақ кіші жол бірнеше болуы мүмкін. Оның қолданылу аймақтарына деректерді дубликаттаудан құтылу және плагиатты анықтау жатады.

Мәселе анықтамасы

Екі тізбек берілген, бірінің ұзындығы және екіншісінің ұзындығы , екеуінің де кіші тізбегі болатын ең ұзын тізбекті табыңыз. Бұл k ортақ кіші тізбек мәселесінің жалпылама түрі. Егер тізбектер жиынтығы берілген болса, , мұнда және әрқайсысы үшін кемінде тізбекте кіші тізбек ретінде кездесетін ең ұзын тізбекті табыңыз.

Алгоритмдер

Жалпыландырылған жұрнақ ағашының көмегімен ең ұзақ ортақ кіші тізбектерінің ұзындығы мен бастапқы орнын табуға болады. Егер кіріс алфавитінің мөлшері болса, RAM сөздік есептеу моделінде жылдам алгоритмге қол жеткізуге болады. Атап айтқанда, бұл алгоритм келесі уақытта жұмыс істейді және келесі орынды пайдаланады. Динамикалық бағдарламалау арқылы мәселені шешуге кететін уақыт. Жалпыланған мәселенің шешімдері динамикалық бағдарламалау арқылы орын және уақыт алады, ал жалпыланған жұрнақ ағашымен уақыт алады.

Артықшылықтар ағашы

Таспалар жиынтығының ең ұзақ ортақ кіші тізбектерін табу үшін, осы таспаларға арналған жалпыланған жұрнақ ағашын құру керек, содан кейін астыңғы тармағындағы барлық таспалардан жапырақ түйіндері бар ең терең ішкі түйіндерді анықтау қажет. Оң жақтағы суретте "ABAB", "BABA" және "ABBA" таспаларының жұрнақ ағашы көрсетілген, олар бірегей таспалық терминаторлармен толықтырылып, "ABAB$0", "BABA$1" және "ABBA$2" болып алынған. "A", "B", "AB" және "BA" түйіндерінің барлығы 0, 1 және 2 нөмірленген барлық тізбектерден туындаған жапырақтарға ие. Жұрнақ ағашын құруға уақыт кетеді (егер әліпбидің мөлшері тұрақты болса). Егер ағаш төменнен жоғары қарай, әр түйіннің астында қандай тізбектер кездесетінін көрсететін бит векторымен қарастырылса, k ортақ кіші тізбектер мәселесі уақыт ішінде шешіледі. Егер жұрнақ ағашы ең төменгі ортақ ата-бабаны тұрақты уақытта табуға дайындалса, онда мәселені уақыт ішінде шешуге болады.