Shellsort - Shellsort - Wikipedia

Shellsort
Shellsort-ті кезең-кезеңімен визуализациялау
23, 10, 4, 1 саңылаулары бар Shellsort
СыныпСұрыптау алгоритмі
Мәліметтер құрылымыМассив
Ең нашар өнімділікO (n2) (ең нашар белгілі болған жағдайдағы алшақтық тізбегі)
O (n журнал2n) (ең танымал жағдайлардың аралықтарының ең жақсы тізбегі)[1]
Ең жақсы жағдай өнімділікO (n журнал n) (көптеген саңылаулар тізбегі)
O (n журнал2n) (ең танымал нашар саңылаулар тізбегі)[2]
Орташа өнімділікалшақтықтың реттілігіне байланысты
Ең нашар ғарыштық күрделілікО (n) барлығы, O (1) көмекші
Shellsort қадамдары.
5, 3, 1 саңылауларымен Shellsort дәйекті қадамдарында жұп заттарды ауыстыру

Shellsort, сондай-ақ Қабықты сұрыптау немесе Shell әдісі, болып табылады орында салыстыру. Оны айырбастау арқылы сұрыптауды жалпылау ретінде қарастыруға болады (көпіршікті сұрыптау ) немесе кірістіру бойынша сұрыптау (кірістіру сұрыптамасы ).[3] Әдіс элементтердің жұптарын бір-бірінен алшақтап сұрыптаудан басталады, содан кейін салыстырылатын элементтер арасындағы алшақтықты біртіндеп азайтады. Бір-бірінен алшақ элементтерден бастай отырып, ол кейбір жақын тұрған көршілердің айырбастауынан гөрі кейбір орынсыз элементтерді тезірек орынға ауыстыра алады. Дональд Шелл 1959 жылы осы түрдегі алғашқы нұсқасын жариялады.[4][5] Shellsort-тың жұмыс уақыты ол қолданатын саңылаулар тізбегіне байланысты. Көптеген практикалық нұсқалар үшін оларды анықтау уақыттың күрделілігі болып қалады ашық мәселе.

Сипаттама

Shellsort - бұл оңтайландыру кірістіру сұрыптамасы бір-бірінен алыс орналасқан заттармен алмасуға мүмкіндік береді. Идея элементтердің тізімін кез-келген жерден бастап, әрқайсысын алатындай етіп орналастыру болып табылады сағүшінші элемент сұрыпталған тізімді шығарады. Мұндай тізім деп айтылады сағ-сұрыпталған. Оны сондай-ақ деп ойлауға болады сағ әрқайсысы жеке-жеке сұрыпталған тізімдер.[6] Үлкен мәндерінен басталады сағ элементтерге үлкен қашықтықты жылжытуға мүмкіндік береді, бұзылудың көп мөлшерін тез азайтады және аз жұмысты қалдырады сағ- орындау үшін сұрыптау.[7] Егер тізім болса k-сұрыпталған кіші бүтін сан үшін к, содан кейін тізім қалады сағ-сұрыпталған. Төмендеуі үшін осы идеяны ұстану сағ аяқталатын мәндердің соңында сұрыпталған тізімді қалдыруға кепілдік беріледі.[6]

Қарапайым тілмен айтқанда, бұл бізде 1024 сандар жиыны болса, біздің бірінші аралық (сағ) 512 болуы мүмкін. Содан кейін біз бірінші жартыдағы әрбір элементті екінші жартыдағы элементпен салыстыра отырып тізім бойынша жүгіреміз. Біздің екінші аралық (к) - бұл массивті төрт бөлімге бөлетін (0,256,512,768-тен басталатын) 256, және біз әр бөлімдегі бірінші элементтердің бір-біріне қатысты сұрыпталғанына, содан кейін әр бөлімдегі екінші элементтің және т.б. Іс жүзінде саңылау тізбегі кез-келген нәрсе болуы мүмкін, бірақ соңғы алшақтық әрдайым сұрыптауды аяқтауға 1-ге тең болады (кәдімгі кірістіру сұрыпымен тиімді аяқталады).

5, 3 және 1 саңылаулары бар Shellsort-тың мысалы төменде көрсетілген.

а1а2а3а4а5а6а7а8а9а10а11а12
Мәліметтерді енгізу628318530717958647692528
5 сұрыптаудан кейін172818470725838653696295
3 сұрыптаудан кейін170718472825696253838695
1 сұрыптаудан кейін071718252847536269838695

Бірінші өту, 5-сұрыптау, бес бөлек ішке кірістіруді сұрыптайды (а1, а6, а11), (а2, а7, а12), (а3, а8), (а4, а9), (а5, а10). Мысалы, ол ішкі жолды өзгертеді (а1, а6, а11) (62, 17, 25) -дан (17, 25, 62) дейін. Келесі өту, 3-сұрыптау, үш ішке кірістіруді сұрыптайды (а1, а4, а7, а10), (а2, а5, а8, а11), (а3, а6, а9, а12). Соңғы өту, 1-сұрыптау - бұл бүкіл массивтің қарапайым кірістіру сұрыптамасы (а1,..., а12).

Мысалда көрсетілгендей, Shellsort жұмыс істейтін ішкі жиынтықтар бастапқыда қысқа; кейінірек олар ұзағырақ, бірақ тапсырыс беруге болады. Екі жағдайда да кірістіру сұрыптау тиімді жұмыс істейді.

Shellsort емес тұрақты: ол тең мәнді элементтердің салыстырмалы ретін өзгерте алады. Бұл адаптивті сұрыптау алгоритмі ол кіріс ішінара сұрыпталған кезде жылдамырақ орындалады.

Псевдокод

Ішкі кірістіру сұрыптауымен Марсин Сиураның саңылаулар тізбегін қолдану.

# Массивті сұрыптаңыз [0 ... n-1].бос орындар = [701, 301, 132, 57, 23, 10, 4, 1]# Ең үлкен алшақтықтан бастаңыз және 1 бос орынға дейін жұмыс жасаңызәрқайсысы үшін (алшақтық жылы бос орындар){    # Осы саңылау өлшемі үшін бос орынға сұрыптау енгізіңіз.    # A [0..gap-1] бірінші саңылау элементтері қазірдің өзінде бос тәртіпте    # бүкіл массив бос орынға сұрыпталғанға дейін тағы бір элемент қосуды жалғастырыңыз    үшін (мен = алшақтық; мен < n; мен += 1)    {        # бос орынға сұрыпталған элементтерге a [i] қосыңыз        # уақытында [i] үнемдеп, i жағдайында тесік жасаңыз        темп = а[мен]        [i] үшін дұрыс орын табылғанға дейін # саңылау бойынша сұрыпталған элементтерді жоғары жылжытыңыз        үшін (j = мен; j >= алшақтық және а[j - алшақтық] > темп; j -= алшақтық)        {            а[j] = а[j - алшақтық]        }        # темпті (түпнұсқа a [i]) дұрыс орнына қойыңыз        а[j] = темп    }}

Саңылаулар тізбегі

Қандай саңылау тізбегін қолдану керектігі туралы мәселе қиын. 1-ді қамтитын кез-келген алшақтық дұрыс сұрыптайды (бұл соңғы өтуді қарапайым кірістіру сұрыпына айналдырады); дегенмен, Shellsort-тің осылайша алынған нұсқаларының қасиеттері басқаша болуы мүмкін. Саңылаулардың аздығы өткелдерді баяулатады, ал тым көп алшақтықтар шығындарды тудырады.

Төмендегі кестеде осы уақытқа дейін жарияланған ең көп ұсынылған алшақтық тізбектері салыстырылған. Олардың кейбіреулері сұрыпталған массивтің өлшеміне байланысты азаю элементтеріне ие (N). Басқалары элементтері кем болатын шексіз тізбектерді көбейтеді N кері тәртіпте қолданылуы керек.

OEISЖалпы мерзім (к ≥ 1)Бетон аралықтарыЕң нашар
уақыттың күрделілігі
Авторы және шыққан жылы
[мысалы қашан N = 2б]Shell, 1959[4]
Фрэнк және Лазар, 1960[8]
A000225Хиббард, 1963[9]
A083318, 1 префиксі барПапернов және Стасевич, 1965[10]
A003586Форманың реттік нөмірлері (3 тегіс сандар)Пратт, 1971[1]
A003462, үлкен емес Кнут, 1973,[3] негізделген Пратт, 1971[1]
A036569Incerpi & Седжвик, 1985,[11] Кнут[3]
A036562, 1 префиксі барСеджвик, 1982 ж[6]
A033622Седжвик, 1986 ж[12]
БелгісізГоннет & Баеза-Йейтс, 1991[13]
A108870БелгісізТокуда, 1992 ж[14]
A102549Белгісіз (эксперименталды түрде алынған)БелгісізСиура, 2001 ж[15]

Екілік ұсыну болған кезде N көптеген дәйекті нөлдерден тұрады, Shellsort Shell-дің бастапқы саңылаулар тізбегін пайдаланып, Θ (құрайды)N2) ең нашар жағдайда салыстыру. Мысалы, бұл жағдай үшін пайда болады N медианадан үлкен және кіші элементтер сәйкесінше тақ және жұп позицияларды иеленген кезде екі қуатқа тең, өйткені олар тек соңғы жолда салыстырылады.

Оның күрделілігі жоғары болғанымен O(N журналN) салыстыру үшін оңтайлы болса, Пратттың нұсқасы сәйкес келеді желілерді сұрыптау және Батчермен бірдей асимптотикалық қақпаның күрделілігі бар битонды сұрыптаушы.

Гоннет пен Баеза-Йейтс Шеллсорт бір-бірінен кейінгі алшақтықтардың коэффициенті шамамен 2,2-ге тең болған кезде орта есеппен ең аз салыстырулар жүргізетіндігін байқады.[13] Сондықтан олардың коэффициенті 2.2 және Токуда реттік коэффициенті 2.25 коэффициенті тиімді болып табылады. Алайда мұның не үшін екені белгісіз. Sedgewick аз болатын бос жерлерді қолдануға кеңес береді ең үлкен ортақ бөлгіштер немесе қосарланған коприм.[16]

Салыстырудың орташа санына қатысты Сиураның реттілігі[15] ең жақсы белгілі өнімділікке ие; 701 саңылаулары анықталмады, бірақ рекурсивтік формула бойынша реттілікті одан әрі кеңейтуге болады .

Токуданың қарапайым формуламен анықталған реттілігі , қайда , , практикалық қолдану үшін ұсынылуы мүмкін.

Есептеудің күрделілігі

Келесі қасиет: кейін сағ2- кез келгенін сұрыптау сағ1- сұрыпталған массив, массив қалады сағ1-сұрыпталған.[17] Әрқайсысы сағ1- сұрыпталған және сағ2сұрыпталған жиым да (а1сағ1+а2сағ2) кез-келген теріс емес бүтін сандар үшін сұрыпталған а1 және а2. Сондықтан Shellsort-тің ең күрделі күрделілігі Фробениус мәселесі: берілген бүтін сандар үшін сағ1,..., сағn gcd = 1-мен, Frobenius саны ж(сағ1,..., сағn) деп ұсынуға болмайтын ең үлкен бүтін сан а1сағ1+ ... +аnсағn теріс емес бүтін санмен а1,..., аn. Фробениус сандарының белгілі формулаларын қолдана отырып, біз Shellsort саңылау тізбегінің бірнеше кластары үшін ең нашар күрделілігін анықтай аламыз.[18] Дәлелденген нәтижелер жоғарыдағы кестеде көрсетілген.

Операциялардың орташа санына қатысты дәлелденген нәтижелердің ешқайсысы практикалық алшақтық дәйектілігіне қатысты емес. Екі деңгейге тең болатын бос орындар үшін Эспелид бұл орташа мәнді есептеді .[19] Кнут сұрыптаудың орташа күрделілігін анықтады N- екі саңылауы бар элементтер массиві (сағ, 1) болу .[3] Бұдан екі жолды Shellsort шығады сағ = Θ (N1/3) орташа құрайды O(N5/3) салыстырулар / инверсиялар / жұмыс уақыты. Яо үш жолақты Шеллсорттың орташа күрделілігін тапты.[20] Оның нәтижесін Янсон мен Кнут нақтылады:[21] үш аралықпен Shellsort кезінде жасалған салыстырулардың / инверсиялардың / жұмыс уақытының орташа саны (ш, cg, 1), қайда сағ және ж коприм болып табылады, болып табылады бірінші паста, екінші паста және үшінші паста. ψ(сағ, ж) соңғы формулада асимптотикалық түрде тең күрделі функция көрсетілген . Атап айтқанда, қашан сағ = Θ (N7/15) және ж = Θ (N1/5), сұрыптаудың орташа уақыты O(N23/15).

Эксперименттерге сүйене отырып, Shellsort-ті болжайды Хиббард саңылаулар тізбегі іске қосылады O(N5/4орташа уақыт,[3] және Гоннет пен Баеза-Йейтстің дәйектілігі орта есеппен 0,41 қажетNлнN(ln lnN+1/6) элемент қозғалады.[13] Бұрын басқа тізбектер үшін ұсынылған операциялардың орташа санының жуықтауы сұрыпталған массивтерде миллиондаған элементтер болған кезде сәтсіздікке ұшырайды.

Төмендегі графикте Shellsort әртүрлі нұсқаларында элементтерді салыстырудың орташа саны, теориялық төменгі шекараға бөлінген, яғни журнал2N!, онда формула бойынша 1, 4, 10, 23, 57, 132, 301, 701 реттілігі кеңейтілді .

Shell салыстырудың орташа саны (ағылш.) .Svg

Теориясын қолдану Колмогоровтың күрделілігі, Цзян, Ли, және Витания а-дағы операциялардың / жұмыс уақытының орташа саны реті үшін келесі төменгі шекті дәлелдеді б-Шеллсорттан өту: Ω (pN1+1/б) қашан бТіркелу2N және Ω (pN) қашан б> журнал2N.[22] Сондықтан, Shellsort асимптотикалық түрде өсетін орташа уақытта жұмыс істеу перспективаларына ие NжурналN тек саңылаулар саны массивтің логарифміне пропорционалды өсетін саңылау тізбегін қолданған кезде ғана. Алайда, Shellsort салыстырмалы сұрыптау үшін оңтайлы орташа жағдайдағы асимптотикалық тәртіпке жете ме, жоқ па белгісіз. Төменгі шекара жақсартылды Витания[23] әр өту саны үшін дейін қайда . Бұл нәтиже, мысалы, Цзян-Ли-Витанияның барлығының төменгі шекарасын білдіреді - өсу ретімен өту және белгілі бір өсу тізбегінің төменгі шекарасын жақсарту. Шындығында қазіргі кезде орташа жағдайға белгілі барлық шекаралар (төменгі және жоғарғы) дәл осы төменгі шекараға сәйкес келеді. Мысалы, бұл жаңа нәтиже береді Янсон -Кнут жоғарғы шекара пайдаланылған ұлғайту реттілігі үшін алынған төменгі шекараға сәйкес келеді, бұл ұлғаю тізбегі үшін үш өту Shellsort пайдаланатынын көрсетеді салыстырулар / инверсиялар / жұмыс уақыты.Формула бізге белгісіз, төменгі шектерді беретін өсу ретін іздеуге мүмкіндік береді; мысалы, төрт өтуге арналған өсу реті, оның мәні төменгіден үлкен өсу реті үшін. Төменгі шекара болады

Shellsort кез-келген нұсқасының ең күрделі күрделілігі жоғары дәрежеде: Plaxton, Пунен, және Suel кем дегенде тез өсетіндігін көрсетті .[24]

Қолданбалар

Shellsort көбірек операцияларды орындайды және жоғары кэштің жіберілу коэффициенті қарағанда жылдамдық. Дегенмен, оны кішкене кодты қолдану арқылы жүзеге асыруға болады және шақыру стегі, кейбір орындалуы qsort функциясы C стандартты кітапхана бағытталған ендірілген жүйелер оны киксорстың орнына қолданыңыз. Мысалы, Shellsort uClibc кітапхана.[25] Осыған ұқсас себептермен, бұрын Shellsort пайдаланылды Linux ядросы.[26]

Сондай-ақ, Shellsort қосалқы алгоритм ретінде қызмет ете алады интроспективті сұрыптау, қысқа ішкі аралықтарды сұрыптау және рекурсия тереңдігі берілген шектен асқанда баяулаудың алдын алу. Бұл принцип, мысалы, bzip2 компрессор.[27]

Сондай-ақ қараңыз

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

  1. ^ а б в Пратт, Вон Рональд (1979). Shellsort және сұрыптау желілері (информатика саласындағы көрнекті диссертациялар). Гарланд. ISBN  978-0-8240-4406-0.
  2. ^ «Shellsort & салыстырулар».
  3. ^ а б в г. e Кнут, Дональд Э. (1997). «Shell әдісі». Компьютерлік бағдарламалау өнері. 3 том: Сұрыптау және іздеу (2-ші басылым). Рединг, Массачусетс: Аддисон-Уэсли. 83-95 бет. ISBN  978-0-201-89685-5.
  4. ^ а б Shell, D. L. (1959). «Жоғары жылдамдықтағы сұрыптау процедурасы» (PDF). ACM байланысы. 2 (7): 30–32. дои:10.1145/368370.368387.
  5. ^ Кейбір көне оқулықтар мен анықтамалықтар оны «Shell-Metzner» деп атайды Марлен Мецнер Нортон, бірақ Метцнердің айтуы бойынша: «Менің бұл түрмен ешнәрсе болған жоқ, және менің есімім оған ешқашан жабыспауы керек еді». Қараңыз «Shell sort». Ұлттық стандарттар және технологиялар институты. Алынған 17 шілде 2007.
  6. ^ а б в Седжвик, Роберт (1998). Алгоритмдер С. 1 (3-ші басылым). Аддисон-Уэсли. бет.273–281. ISBN  978-0-201-31452-6.
  7. ^ Керниган, Брайан В.; Ричи, Деннис М. (1996). С бағдарламалау тілі (2-ші басылым). Prentice Hall. б. 62. ISBN  978-7-302-02412-5.
  8. ^ Фрэнк, Р.М .; Лазарус, Р.Б. (1960). «Жоғары жылдамдықтағы сұрыптау процедурасы». ACM байланысы. 3 (1): 20–22. дои:10.1145/366947.366957.
  9. ^ Хиббард, Томас Н. (1963). «Сақтаудың минималды сұрыпталуын эмпирикалық зерттеу». ACM байланысы. 6 (5): 206–213. дои:10.1145/366552.366557.
  10. ^ Папернов, А.А .; Стасевич, Г.В. (1965). «Компьютер жадындағы ақпаратты сұрыптау әдісі» (PDF). Ақпаратты тарату мәселелері. 1 (3): 63–75.
  11. ^ Инцерпи, Джанет; Седжвик, Роберт (1985). «Shellsort-тің жоғарғы шекаралары» (PDF). Компьютерлік және жүйелік ғылымдар журналы. 31 (2): 210–224. дои:10.1016 / 0022-0000 (85) 90042-х.
  12. ^ Седжвик, Роберт (1986). «Shellsort үшін жаңа жоғарғы шекара». Алгоритмдер журналы. 7 (2): 159–173. дои:10.1016/0196-6774(86)90001-5.
  13. ^ а б в Гоннет, Гастон Х.; Баеза-Йейтс, Рикардо (1991). «Shellsort». Алгоритмдер мен мәліметтер құрылымы туралы анықтама: Паскальда және С (2-ші басылым). Рединг, Массачусетс: Аддисон-Уэсли. 161–163 бет. ISBN  978-0-201-41607-7.
  14. ^ Токуда, Наоюки (1992). «Жақсартылған раковиналар». Ван Левенде, Ян (ред.) Алгоритмдер, бағдарламалық жасақтама, сәулет бойынша IFIP 12-ші Дүниежүзілік компьютерлік конгресс материалдары. Амстердам: North-Holland Publishing Co., 449–457 бб. ISBN  978-0-444-89747-3.
  15. ^ а б Сиура, Марцин (2001). «Shellsort орташа жағдайы бойынша ең жақсы өсім» (PDF). Фрейвальдс, Русиндер (ред.). Есептеулер теориясының негіздері бойынша 13-ші халықаралық симпозиум материалдары. Лондон: Спрингер-Верлаг. 106–117 беттер. ISBN  978-3-540-42487-1.
  16. ^ Седжвик, Роберт (1998). «Shellsort». Алгоритмдер C ++, 1-4 бөліктер: негіздер, мәліметтер құрылымы, сұрыптау, іздеу. Рединг, Массачусетс: Аддисон-Уэсли. 285–292 беттер. ISBN  978-0-201-35088-3.
  17. ^ Гейл, Дэвид; Карп, Ричард М. (1972). «Сұрыптау теориясындағы құбылыс». Компьютерлік және жүйелік ғылымдар журналы. 6 (2): 103–115. дои:10.1016 / S0022-0000 (72) 80016-3.
  18. ^ Селмер, Эрнст С. (1989). «Шеллсорт және Фробениус мәселесі туралы». BIT Сандық математика. 29 (1): 37–40. дои:10.1007 / BF01932703. hdl:1956/19572.
  19. ^ Espelid, Terje O. (1973). «Shellsort алгоритмін талдау». BIT Сандық математика. 13 (4): 394–400. дои:10.1007 / BF01933401.
  20. ^ Яо, Эндрю Чи-Чи (1980). «Талдау (сағ, к, 1) -Shellsort ». Алгоритмдер журналы. 1 (1): 14–50. дои:10.1016/0196-6774(80)90003-6.
  21. ^ Янсон, Сванте; Кнут, Дональд Э. (1997). «Үш ұлғаюмен Shellsort». Кездейсоқ құрылымдар мен алгоритмдер. 10 (1–2): 125–142. arXiv:cs / 9608105. дои:10.1002 / (SICI) 1098-2418 (199701/03) 10: 1/2 <125 :: AID-RSA6> 3.0.CO; 2-X. CiteSeerX: 10.1.1.54.9911.
  22. ^ Цзян, Дао; Ли, Мин; Витани, Павел (2000). «Шеллсорттың орташа күрделілігінің төмендеуі». ACM журналы. 47 (5): 905–911. arXiv:cs / 9906008. дои:10.1145/355483.355488. CiteSeerX: 10.1.1.6.6508.
  23. ^ Витания, Пауыл (2018). «Shellsort-тың орташа күрделілігі туралы». Кездейсоқ құрылымдар мен алгоритмдер. 52 (2): 354–363. arXiv:cs / 9906008. дои:10.1002 / rsa.20737.
  24. ^ Плэкстон, К.Грег; Пунен, Бьорн; Suel, Torsten (1992). Shellsort үшін төменгі шекаралар жақсартылды. Информатика негіздері бойынша жыл сайынғы симпозиум. 33. 226–235 бб. CiteSeerX  10.1.1.460.2429. дои:10.1109 / SFCS.1992.267769. ISBN  978-0-8186-2900-6. CiteSeerX: 10.1.1.43.1393.
  25. ^ Новоа, Мануэль III. «libc / stdlib / stdlib.c». Алынған 29 қазан 2014.
  26. ^ «kernel / groups.c». Алынған 5 мамыр 2012.
  27. ^ Джулиан Севард. «bzip2 / blockort.c». Алынған 30 наурыз 2011.

Библиография

Сыртқы сілтемелер