Саусақ іздеу - Finger search

Траптарда саусақпен іздеу мысалы.

Жылы есептеу техникасы, а саусақпен іздеу үстінде мәліметтер құрылымы - бұл құрылым қолдайтын кез-келген іздеу операциясының кеңеюі, мұнда мәліметтер құрылымындағы элементке сілтеме (саусақ) сұраныспен бірге беріледі. Элементті іздеу уақыты көбінесе мәліметтер құрылымындағы элементтер санының функциясы ретінде көрсетілсе, саусақпен іздеу уақыттары элемент пен саусақ арасындағы қашықтықтың функциясы болып табылады.

Жиынтығында n элементтері, арақашықтық г.(х,ж) (немесе жай г. бір мәнді болғанда) екі элементтің арасында х және ж олардың дәрежедегі айырмашылығы. Егер х және ж болып табылады менші және jқұрылымдағы ең үлкен элементтер, онда дәреже айырмашылығы |мен - j|. Егер кейбір құрылымдағы қалыпты іздеу әдетте O (f (n)) уақыт, содан кейін саусақпен іздеу х саусақпен ж идеалды түрде O (f (г.)) уақыт. Сол кезден бастап ескертіңіз г. ≤ nДемек, ең нашар жағдайда саусақпен іздеу әдеттегі іздеу сияқты нашар болады. Алайда іс жүзінде бұл дегенеративті саусақтарды іздеу әдеттегі іздеулерге қарағанда көбірек жұмыс істейді. Мысалы, егер f (n) журнал (n), ал саусақпен іздеу әдеттегі іздеумен салыстырғанда екі есе көп салыстыруды жасайды, ең жаман жағдайда саусақпен іздеу баяу болады. г. > √n. Сондықтан саусақпен іздеуді мақсат шынымен саусаққа жақын болады деп күтуге болады.

Іске асыру

Кейбір танымал деректер құрылымдары нақты құрылымға қосымша өзгерістерсіз саусақпен іздеуді қолдайды. Элементті іздейтін құрылымдарда х аралықты тарылту арқылы жүзеге асырылады х табуға болады, саусақпен іздеу ж әдетте іздеу процесін кері қайтару арқылы жүзеге асырылады ж іздеу интервалы жеткілікті үлкен болғанша х, сол кезде іздеу әдеттегідей жүреді.

Байланыстырылған тізімдер сұрыпталды

Ішінде байланыстырылған тізім, әдетте біреуі элементті бір шетінен екінші шетіне жаяу жүріп іздейді. Егер байланыстырылған тізім сұрыпталған болса және бізде кейбір түйіндерге сілтеме болса ж, содан кейін таба аламыз х мен жоқ(г.) іздеуді бастау арқылы уақыт ж.

Массивтер сұрыпталған

Ішінде сұрыпталған жиым A, әдетте элемент іздейді х жылы A а екілік іздеу. Саусақ іздеу а орындау арқылы жүзеге асырылады біржақты іздеу бастап A[j] = ж. Екілік іздеу әр салыстырудан кейін іздеу кеңістігін екі есеге азайтады, ал бір жақты іздеу әр салыстырудан кейін іздеу кеңістігін екі есеге арттырады. Нақтырақ айтқанда кбіржақты іздеудің қайталануы (болжам бойынша) x> y), қарастырылып отырған интервал A[j, j+2к-1]. Кеңейту бірден тоқтайды A[j + 2к-1] ≥ х, осы кезде екілік ізделетін интервал х.

Егер біржақты іздеу қажет болса к қамтитын интервалды табу үшін қайталанулар х, содан кейін осыдан шығады г. > 2к-2. Бұл диапазонды екілік іздеу тағы басқасын алады к қайталанулар. Сондықтан, саусақпен іздеу х бастап ж O алады (к) = O (журнал г.) уақыт.

Тізімдерді өткізіп жіберу

Ішінде өткізіп жіберу, саусақпен іздеуге болады х элементі бар түйіннен ж іздеуді осы сәттен бастап жалғастыру арқылы. Егер болса x , содан кейін іздеу кері бағытта жүреді, ал егер x> y, содан кейін іздеу алға бағытталады. Артқы регистр өткізіп жіберу тізіміндегі қалыпты іздеуге симметриялы, бірақ алға бағытталған іс жүзінде күрделі. Әдетте, склиптегі іздеу жылдам болады деп күтілуде, өйткені тізім басында күзетші ең биік түйін сияқты биік. Алайда саусағымыз биіктіктің түйіні болуы мүмкін. Осыған байланысты біз іздеу кезінде анда-санда көтерілуіміз мүмкін; ешқашан әдеттегідей болмайтын нәрсе. Алайда, осы асқыну кезінде де біз О-ға қол жеткізе аламыз (журнал г.) күтілетін іздеу уақыты.[1]

Трептер

A треп рандомизацияланған болып табылады екілік іздеу ағашы (BST). Репликада іздеу кез-келген басқа БСТ-та элементті іздеумен бірдей. Алайда траптардың арақашықтықтың екі элементі арасындағы күтілетін жол ұзындығы болатын қасиеті бар г. O (журнал г.). Осылайша, бар түйіннен саусақпен іздеу ж үшін х, ағаштан өрмелеуге болады ж арғы атасына дейін х табылды, сол кезде қалыпты BST іздеу әдеттегідей жүреді. Түйін басқалардың арғы тегі болып табылатынын анықтаған кезде тривиальды емес, күтуге болатын O (log) беру үшін осы формадағы сұраныстарды қолдау үшін ағашты көбейтуге болады г.) саусақпен іздеу уақыты.[1]

Арқандар мен ағаштар

Іске асыру арқан (деректер құрылымы) Әдетте жіпті айналып өту үшін сымды орналастыру итераторын жүзеге асырады, итераторды жолдың белгілі бір таңбасын көрсететін саусақ ретінде қарастыруға болады, көптеген теңдестірілген ағаштар сияқты, арқандар да O (log (nАғаштың бір жапырағында деректерді тек ағаштың тамыры берілген кезде алуға болатын уақыт. Ағаштың әр жапырағын оқу үшін O (n* журнал (n)) уақыт. Алайда, қосымша ақпаратты сақтай отырып, қайталағышты «келесі» парақты тек О (1) уақытта, ал ағаштың әрбір жапырағын тек О (nАрқандардың орындалуы, әдетте, тамырдан бастап итератордағы ағымдағы түйін жағдайына дейінгі бүкіл жол туралы «қосымша ақпаратты» кэштейді. әрбір түйін ата-анасына немесе оның ізбасарына (әр түйіндегі балалар үшін қалыпты көрсеткіштерден басқа) және тек итераторда ағымдағы түйін күйін сақтайды.[2][3]

Жалпылау

Егер саусақпен іздеуді итеративті түрде жүргізуге болатын болса O(f(г.)) әр қайталану жүретін уақыт O(1) уақыт, содан кейін қамтамасыз ету арқылы c саусақпен әр түрлі саусақпен іздеуге болады O(c мин {г.(х, ж1), ..., г.(х, жc)}) уақыт. Бұл барлығын саусақпен іздеуді бастау арқылы жүзеге асырылады c саусақпен және оларды біріншісі аяқталғанша бір қадам алға жылжытыңыз.

Кез-келген реттілік берілген A = [а1, ..., ам] of м қол жетімділік, құрылымға ие деп айтылады саусақтың статикалық қасиеті бекітілген саусақ үшін f, егер орындау уақыты болса A болып табылады . Ағаштар кез келген таңдау үшін осы қасиетке ие f қол жетімділіктің жеткілікті үлкен тізбегінде қосымша өңдеусіз.[4]

Қолданбалар

Саусақ іздеуді алдыңғы іздеулерде жасалған жұмысты қайта пайдалану үшін пайдалануға болады. Мысалы, деректер құрылымындағы элементтердің үстінен итерацияның бір әдісі - оларды ретімен саусақпен іздеу, мұнда бір сұрау үшін саусақ соңғы нәтиженің орны болып табылады. Іздеудің соңғы іздеуге жақын екендігі белгілі болса, мұны іштей жасай отырып, олардың деректер құрылымын оңтайландыруға болады.

A саусақ іздеу ағашы - бұл саусақтарды көрсетуге мүмкіндік беретін мәліметтер құрылымының түрі, олардың барлық немесе кейбір қолдайтын әрекеттері саусақтың жанындағы орынға қол жеткізгенде немесе өзгерткенде жылдамырақ болады. Осы мақалада сипатталған саусақ іздеулерінен айырмашылығы, бұл саусақтар сұрау кезінде берілмейді, бірақ барлық болашақ операциялар осы саусақтарды қолданатындай етіп бөлек көрсетіледі. Мұның бір артықшылығы, пайдаланушы құрылымға ішкі сілтемелерді басқарудың немесе сақтаудың қажеті жоқ, олар құрылымдағы элементті көрсете алады.

Әдебиеттер тізімі

  1. ^ а б «Рандомизацияланған ағаштар: теориялық және эксперименттік нәтижелер» (PDF).
  2. ^ «Ағаш итераторының жалпы дизайны».
  3. ^ Стивен Дж. Зейл.«Итераторлармен ағаштармен саяхаттау».
  4. ^ «Джон Яконо. Негізгі тәуелсіз оңтайлылық. Алгоритмика, 42 (1): 3-10, 2005» (PDF). Архивтелген түпнұсқа (PDF) 2010-06-13.