Үлкен O белгісі - Википедия - Big O notation

Big O белгілерінің мысалы: бар сияқты (мысалы, ) және (мысалы,) солай қашан болса да .

Үлкен O белгісі сипаттайтын математикалық жазба болып табылады шектеулі мінез-құлық а функциясы қашан дәлел белгілі бір мәнге немесе шексіздікке ұмтылады. Сәйкес Дональд Кнут, белгілеу «анық емес шаманы білдіреді, тек оның шамасы онша үлкен емес».[1] Big O а мүшесі нота белгілері отбасы ойлап тапқан Пол Бахман,[2] Эдмунд Ландау,[3] және басқалары, жиынтық деп аталады Бахман-Ландау жазбасы немесе асимптотикалық жазба.

Жылы есептеу техникасы, үлкен O белгісі қолданылады алгоритмдерді жіктеу кіріс мөлшері өскен сайын олардың жұмыс уақыты мен кеңістікке қажеттілігі қалай өсетініне сәйкес.[4] Жылы аналитикалық сандар теориясы, үлкен O белгісі көбінесе an арасындағы айырмашылыққа шек қоюды қолданады арифметикалық функция және жақсырақ түсінілген жуықтау; осындай айырмашылықтың әйгілі мысалы - ішіндегі қалған термин жай сандар теоремасы. Үлкен О жазбасы осыған ұқсас бағаларды ұсыну үшін көптеген басқа салаларда қолданылады.

Үлкен О жазбасы функцияларды олардың өсу қарқынына сәйкес сипаттайды: бірдей өсу жылдамдығымен әр түрлі функциялар бірдей О белгілері арқылы ұсынылуы мүмкін. O әрпі пайдаланылады, өйткені функцияның өсу қарқыны сонымен қатар деп аталады функцияның реті. Функцияны үлкен O белгілері тұрғысынан сипаттау әдетте тек қана береді жоғарғы шекара функцияның өсу қарқыны туралы. Үлкен O белгілерімен байланысты бірнеше шартты белгілер, шартты белгілерді қолданады o, Ω, ω және Θ, өсудің асимптотикалық қарқынының басқа түрлерін сипаттау.

Ресми анықтама

Келіңіздер f болуы а нақты немесе күрделі бағаланатын функция және ж нақты бағаланатын функция. Екі функция да кейбіріне анықталсын шектеусіз ішкі жиын оң нақты сандар, және барлық үлкен мәндері үшін қатаң позитивті болуы керек х.[5] Біреуі жазады

егер абсолютті мән туралы -ның оң көбейткіші барлық жеткілікті үлкен мәндері үшін х. Бұл, егер оң нақты сан болса М және нақты сан х0 осындай

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

Сондай-ақ, белгіні мінез-құлықты сипаттау үшін қолдануға болады f нақты санға жақын а (жиі, а = 0): біз айтамыз

егер оң сандар болса және М бәріне арналған х бірге ,

Қалай ж(х) мәні үшін нөлге тең емес болып таңдалады х жеткілікті жақын дейін а, осы анықтамалардың екеуін де шектеу жоғары:

егер

Информатикада біршама шектеулі анықтама кең таралған: және функциясы болуы керек оң бүтін сан теріс емес нақты сандарға; егер оң бүтін сандар болса М және n0 осындай [6]Қажет болған жағдайда ақырлы диапазондар (жасырын түрде) алынып тасталады және таңдау арқылы домен n0 жеткілікті үлкен.[7]

Мысал

Әдеттегі қолданыста O нота белгілері асимптотикалық емес, яғни өте үлкен х. Бұл жағдайда терминдердің «тез өсетін» үлесі, басқаларын маңызды емес етеді. Нәтижесінде келесі жеңілдету ережелерін қолдануға болады:

  • Егер f(х) бірнеше терминдердің қосындысы болып табылады, егер өсу қарқыны ең үлкені болса, оны сақтауға болады, ал басқалары жоққа шығарылады.
  • Егер f(х) - бұл бірнеше факторлардың, кез-келген тұрақтылардың көбейтіндісі (өнімдегі тәуелді емес терминдер х) алынып тасталуы мүмкін.

Мысалы, рұқсат етіңіз f(х) = 6х4 − 2х3 + 5, және пайдалана отырып, осы функцияны жеңілдеткіміз келеді делік O ретінде белгілеу, оның өсу қарқынын сипаттау х шексіздікке жақындайды. Бұл функция үш мүшенің қосындысы: 6х4, −2х3, және 5. Осы үш мүшенің ішіндегі ең үлкен өсу қарқыны - функциясы ретінде ең үлкен көрсеткішке ие х, атап айтқанда 6х4. Енді екінші ережені қолдануға болады: 6х4 өнімі болып табылады 6 және х4 онда бірінші фактор тәуелді емес х. Осы факторды алып тастау жеңілдетілген түрге әкеледі х4. Осылайша, біз мұны айтамыз f(х) «үлкен О» болып табылады х4. Математикалық тұрғыдан біз жаза аламыз f(х) = O(х4).Біреуі бұл анықтаманы ресми анықтаманы қолдана отырып растай алады: рұқсат етіңіз f(х) = 6х4 − 2х3 + 5 және ж(х) = х4. Қолдану ресми анықтама жоғарыдан, бұл мәлімдеме f(х) = O(х4) оның кеңеюіне тең,

таңдау үшін қолайлы х0 және М және бәріне х > х0. Мұны дәлелдеу үшін рұқсат етіңіз х0 = 1 және М = 13. Содан кейін, бәріне х > х0:

сондықтан

Пайдалану

Big O нотациясы қолданудың екі негізгі бағытына ие:

Екі қолданбада да функция ж(х) ішінде пайда болады O(...) әдетте тұрақты факторларды және төменгі ретті шарттарды жібермей, мүмкіндігінше қарапайым етіп таңдалады.

Бұл белгінің формальды түрде жақын, бірақ айтарлықтай ерекшеленетін екі қолданысы бар:

Бұл айырмашылық тек қолданыста болады, ал принцип бойынша емес, дегенмен - «үлкен О» формальды анықтамасы екі жағдайда да бірдей, тек функция аргументі үшін әр түрлі шектерде.

Шексіз асимптотика

Операциялардың санын көрсететін алгоритмдерді талдау кезінде жиі қолданылатын функциялардың графиктері N кіріс өлшеміне қарсы n әр функция үшін

Үлкен О жазбасы қашан пайдалы алгоритмдерді талдау тиімділік үшін. Мысалы, өлшем мәселесін шешуге кететін уақыт (немесе қадамдар саны) n болуы мүмкін деп табылуы мүмкін Т(n) = 4n2 − 2n + 2.Қалай n өседі n2 мерзім барлық басқа шарттарды елемеу үшін үстемдік пайда болады, мысалы n = 500, термин 4n2 қарағанда 1000 есе үлкен 2n мерзім. Соңғысын елемеу көп жағдайда өрнектің мәніне елеусіз әсер етуі мүмкін коэффициенттер егер біз басқалармен салыстырсақ, маңызы болмайды тапсырыс терминді қамтитын өрнек сияқты өрнек n3 немесе n4. Егер де Т(n) = 1,000,000n2, егер U(n) = n3, соңғысы әрқашан біріншісінен асып түседі n қарағанда өседі 1,000,000 (Т(1,000,000) = 1,000,0003 = U(1,000,000)). Сонымен қатар, қадамдар саны алгоритм жұмыс жасайтын машина моделінің бөлшектеріне байланысты болады, бірақ машиналардың әр түрлі типтері, әдетте, алгоритмді орындау үшін қажетті қадамдар санының тұрақты факторымен ғана өзгереді. қалады: біз де жазамыз

немесе

алгоритмі бар деп айтыңыз тәртібі n2 уақыттың күрделілігі. белгісі «=«өрнек білдіруге арналмаған» өзінің қалыпты математикалық мағынасында «-ге тең», дегенмен «» «болып табылады, сондықтан екінші өрнек кейде дәлірек болып саналады (»Барабар белгісі «төменде талқылау), ал біріншісін кейбіреулер ан деп санайды белгілерді теріс пайдалану.[8]

Шексіз аз асимптотика

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

Екінші өрнек (бар O(х3)) қатенің абсолюттік мәнін білдіреді eх − (1 + х + х2/ 2) ең көп дегенде кейбір тұрақты уақыттар |х3| қашан х 0-ге жақын.

Қасиеттері

Егер функция f басқа функциялардың ақырлы қосындысы түрінде жазылуы мүмкін, содан кейін тез өсетіні ретін анықтайды f(n). Мысалға,

Атап айтқанда, егер функция in-дағы көпмүшемен шектелуі мүмкін болса n, содан кейін n ұмтылады шексіздік, біреу ескермеуі мүмкін төменгі ретті көпмүшенің шарттары O(nc) және O(cn) өте әртүрлі. Егер c бірінен үлкен болса, соңғысы тезірек өседі. Қарағанда жылдам өсетін функция nc кез келген үшін c аталады суперполиномдық. Форманың кез-келген экспоненциалды функциясына қарағанда баяу өсетін cn аталады субэкпоненциалды. Алгоритм суперполиномдық және субэкспоненциалды уақытты қажет етуі мүмкін; бұған мысалдар үшін ең жылдам белгілі алгоритмдер жатады бүтін факторлау және функциясы nжурнал n.

Біз кез-келген өкілеттіктерді елемеуіміз мүмкін n логарифмдердің ішіндегі. Жинақ O(журнал n) дәл сол сияқты O(журнал (nc)). Логарифмдер тек тұрақты фактормен ерекшеленеді (бастапжурнал (nc) = c журнал n) және, осылайша, үлкен O белгісі оны елемейді. Сол сияқты әр түрлі тұрақты негіздері бар журналдар эквивалентті болады. Екінші жағынан, әртүрлі негіздері бар экспоненциалдар бірдей ретті емес. Мысалға, 2n және 3n бірдей тәртіпте емес.

Бірліктерді өзгерту алынған алгоритмнің тәртібіне әсер етуі немесе әсер етпеуі мүмкін. Бірліктерді өзгерту тиісті айнымалыны қай жерде пайда болса, тұрақтыға көбейтуге тең. Мысалы, егер алгоритм ретімен жүрсе n2, ауыстыру n арқылы cn алгоритмінің ретімен орындалатындығын білдіреді c2n2, ал үлкен O белгісі тұрақтыға мән бермейді c2. Мұны былай деп жазуға болады c2n2 = O (n2). Егер, алгоритм болса, ретімен жүреді 2n, ауыстыру n бірге cn береді 2cn = (2c)n. Бұл балама емес 2n Жалпы алғанда, айнымалылардың өзгеруі нәтиже алгоритмінің ретіне де әсер етуі мүмкін. Мысалы, егер алгоритмнің жұмыс уақыты болса O(n) санмен өлшенгенде n туралы цифрлар кіріс санының х, онда оның жұмыс уақыты O(журнал х) кіріс санының функциясы ретінде өлшенгенде х өзі, өйткені n = O(журнал х).

Өнім

Қосынды

Бұл білдіреді , бұл дегеніміз Бұл дөңес конус.

Тұрақтыға көбейту

Келіңіздер к тұрақты болыңыз. Содан кейін:
егер к нөл емес.

Бірнеше айнымалылар

Үлкен O (және кішкентай o, Ω және т.б.) бірнеше айнымалылармен де қолданыла алады O формальды бірнеше айнымалылар үшін, делік және - кейбір ішкі жиында анықталған екі функция . Біз айтамыз

егер және егер болса[9]

Эквивалентті, бұл шарт кейбіреулер үшін деген шартпен ауыстыруға болады , қайда дегенді білдіреді Чебышев нормасы. Мысалы, өтініш

тұрақтылар бар екенін дәлелдейді C және М осындай

қайда ж(n,м) арқылы анықталады

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

(яғни, ) -ден айтарлықтай өзгеше

(яғни, ).

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

Бұл үлкен O-ны көп айнымалы функцияларға жалғыз жалпылау емес, ал іс жүзінде анықтаманы таңдауда кейбір сәйкессіздіктер бар.[10]

Нота белгілері

Барабар белгісі

Мәлімдеме «f(х) болып табылады O(ж(х)) «жоғарыда анықталғандай әдетте былай жазылады f(х) = O(ж(х)). Кейбіреулер мұны белгілерді теріс пайдалану, өйткені теңдеу белгісін қолдану бұл тұжырымдамада жоқ симметрияны болжайтындықтан жаңылыстыруы мүмкін. Қалай де Брюйн дейді, O(х) = O(х2) дұрыс, бірақ O(х2) = O(х) емес.[11] Кнут мұндай мәлімдемелерді «бір жақты теңдіктер» деп сипаттайды, өйткені егер жақтардың орнын ауыстыруға болатын болса, «біз сияқты күлкілі нәрселерді шығарар едік n = n2 сәйкестіктен n = O(n2) және n2 = O(n2)."[12]

Осы себептерге байланысты пайдалану дәлірек болар еді белгілеу және жаз f(х) ∈ O(ж(х)), ойлау O(ж(х)) барлық функциялардың класы ретінде сағ(х) осылай |сағ(х)| ≤ C|ж(х) тұрақты үшін C.[12] Алайда теңдік белгісін қолдану әдетке айналған. Кнут «математиктер әдеттегідей = таңбасын ағылшын тіліндегі 'is' сөзін қолданған кезде қолданады деп атап көрсетті: Аристотель - бұл адам, бірақ адам міндетті түрде Аристотель емес».[13]

Басқа арифметикалық операторлар

Big O жазбасы басқа арифметикалық операторлармен бірге күрделі теңдеулерде де қолданыла алады. Мысалға, сағ(х) + O(f(х) өсу функциясының жиынтығын білдіреді сағ(х) плюс өсуімен шектелетін бөлігі f(х). Осылайша,

сияқты білдіреді

Мысал

Делік алгоритм жиынтығында жұмыс жасау үшін әзірленуде n элементтер. Оны әзірлеушілер функцияны табуға мүдделі Т(n), бұл алгоритм қанша уақытқа созылатынын (уақыттың кейбір ерікті өлшемдерінде) кіріс жиынтығындағы элементтер саны тұрғысынан көрсетеді. Алгоритм алдымен жиынтықтағы элементтерді сұрыптау үшін ішкі программаны шақыру арқылы жұмыс істейді, содан кейін өз әрекеттерін орындайды. Сұрыптаудың белгілі уақыт күрделілігі бар O(n2), ал ішкі программа іске қосылғаннан кейін алгоритм қосымша 55 қабылдауы керекn3 + 2n + Оның аяқталуына 10 қадам. Сонымен, алгоритмнің жалпы уақыттық күрделілігін келесідей етіп көрсетуге болады Т(n) = 55n3 + O(n2Мұнда шарттар 2n+10 жылдам өсетін шектерде бағаланады O(n2). Тағы да, бұл қолдану «=» символының кейбір ресми мағыналарын ескермейді, бірақ бұл үлкен О белгілерін ыңғайлы толтырғыш ретінде пайдалануға мүмкіндік береді.

Бірнеше пайдалану

Неғұрлым күрделі пайдалану кезінде, O(...) теңдеуде әр жерде, тіпті әр жағынан бірнеше рет пайда болуы мүмкін. Мысалы, келесілер үшін қолданылады

Мұндай тұжырымдардың мәні келесідей: үшін кез келген әрқайсысын қанағаттандыратын функциялар O(...) сол жағында, бар кейбіреулері әрқайсысын қанағаттандыратын функциялар O(...) оң жағында, барлық осы функцияларды теңдеуге ауыстыру екі жағын тең етеді. Мысалы, жоғарыдағы үшінші теңдеу мынаны білдіреді: «Кез келген функция үшін f(n) = O(1), кейбір функциялары бар ж(n) = O(en) солай nf(n) = ж(n«.» Жоғарыдағы «белгілеу» тұрғысынан мағынасы сол жақта ұсынылған функциялар класы оң жақта көрсетілген функциялар класының кіші бөлігі болып табылады. Бұл жағдайда «=» формальды болып табылады «=» таңбасының әдеттегі қолданысынан айырмашылығы a емес симметриялық қатынас. Мәселен, мысалы nO(1) = O(en) жалған мәлімдемені білдірмейді O(en) = nO(1)

Теру

Big O - бұл келесі мысалдағыдай курсивпен жазылған «O» бас әрпі ретінде теру: .[1] Жылы TeX, ол жай ғана математикалық режимде О-ны теру арқылы шығарылады. Грекше аталатын Бахман-Ландау белгілерінен айырмашылығы, оған арнайы таңба қажет емес. Дегенмен, кейбір авторлар каллиграфиялық нұсқаны қолданады орнына.[14][дәйексөз қажет ]

Жалпы функциялардың реттері

Алгоритмнің жұмыс уақытын талдау кезінде жиі кездесетін функциялар кластарының тізімі келтірілген. Әр жағдайда, c оң тұрақты және n байланыссыз ұлғаяды. Баяу өсетін функциялар бірінші кезекте келтірілген.

ЕскертуАты-жөніМысал
тұрақтыЕкілік санның жұп немесе тақ екенін анықтау; Есептеу ; Тұрақты өлшемді қолдану іздеу кестесі
қос логарифмдікЗатты қолданып табуға кеткен салыстырулар саны интерполяциялық іздеу біркелкі үлестірілген мәндердің сұрыпталған массивінде
логарифмдікА бар сұрыпталған жиымнан элементті табу екілік іздеу немесе теңдестірілген іздеу ағаш а-дағы барлық операциялар сияқты Биномдық үйінді

полигарифмикалықМатрицалық тізбекті ретке келтіруді а полигорифмдік уақытта шешуге болады параллель кездейсоқ қол жеткізгіш.

бөлшек күшА-дан іздеу k-d ағашы
сызықтықЭлементті сұрыпталмаған тізімнен немесе сұрыпталмаған массивтен табу; екеуін қосу n-бит бүтін сандар толқынды тасымалдау
n журнал жұлдызы nОрындау триангуляция қарапайым көпбұрыш Зайдельдің алгоритмі немесе біріктіру - табу алгоритмі. Ескертіп қой
сызықтық арифмикалық, сызықтық, квазисызықтық немесе «n log n»Орындау а жылдам Фурье түрлендіруі; Ең жылдам салыстыру; үйіндісі және біріктіру сұрыптау
квадраттықЕкіге көбейту n-қарапайым алгоритм бойынша сандарды айыру; сияқты қарапайым сұрыптау алгоритмдері көпіршікті сұрыптау, сұрыптау және кірістіру сұрыптамасы; (ең нашар жағдай) сияқты кейбір жылдамырақ сұрыптау алгоритмдерімен байланысты жылдамдық, Shellsort, және ағаш сұрыптау
көпмүшелік немесе алгебралықАғашқа іргелес грамматика талдау; максимум сәйкестендіру үшін екі жақты графиктер; табу анықтауыш бірге LU ыдырауы

L белгісі немесе суб-экспоненциалдыКөмегімен цифрларды факторингтеу төртбұрышты елек немесе өрісті елеуіш

экспоненциалды-Ның (дәл) шешімін табу сатушы мәселесі қолдану динамикалық бағдарламалау; екі логикалық тұжырымның қолданудың баламалы екендігін анықтау күшпен іздеу
факторлықШешу сатушы мәселесі күш қолдану арқылы іздеу; а-ның барлық шектеусіз ауыстыруларын тудырады посет; табу анықтауыш бірге Лапластың кеңеюі; санау жиынның барлық бөлімдері

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

Байланысты асимптотикалық белгілер

Үлкен O функцияларды салыстыру үшін ең көп қолданылатын асимптотикалық жазба.[дәйексөз қажет ] Ол басқа кейбір нотациялармен бірге Бахман-Ландау белгілерінің отбасын құрайды.

Little-o жазбасы

Интуитивті түрде бекіту »f(х) болып табылады o(ж(х))«(оқу»f(х) аз ж(х)«) дегенді білдіреді ж(х) қарағанда әлдеқайда тез өседі f(х). Бұрынғыдай болсын f нақты немесе күрделі бағаланған функция болу және ж позитивтің кейбір шектеусіз жиынтығында анықталған нақты бағаланатын функция нақты сандар, осылай ж(х) -ның барлық үлкен мәндері үшін қатаң оң болады х. Біреуі жазады

егер әрбір позитивті тұрақты үшін ε тұрақты бар N осындай

[15]

Мысалы, бар

және

Ертерек арасындағы айырмашылық анықтама үлкен-О жазбасы үшін және қазіргі кездегі аз-о анықтамасы - бұрынғыға сәйкес келуі керек кем дегенде бір тұрақты М, соңғысы ұстап тұруы керек әрқайсысы оң тұрақты εаз болса да.[16] Осылайша, аз-о белгілері а жасайды күштірек мәлімдеме сәйкес үлкен-О белгілеріне қарағанда: аз-o болатын кез келген функция ж болып табылады ж, бірақ үлкен емес функцияның кез-келгені емес ж сондай-ақ аз ж. Мысалға, бірақ

Қалай ж(х) нөлге тең, немесе, ең болмағанда, белгілі бір нүктеден, қатынастан тыс нөлге айналады дегенге тең

(және бұл шын мәнінде Ландау[15] бастапқыда little-o жазбасы анықталды).

Little-o бірқатар арифметикалық амалдарды құрметтейді. Мысалға,

егер c нөлдік емес тұрақты және содан кейін , және
егер және содан кейін

Бұл сонымен қатар а өтімділік қатынас:

егер және содан кейін

Үлкен Омега жазбасы

Тағы бір асимптотикалық белгі , «үлкен Омега» оқыңыз. Өкінішке орай, тұжырымдаманың кең таралған және сәйкес келмейтін екі анықтамасы бар

сияқты ,

қайда а нақты сан, −∞ немесе −∞, қайда f және ж дегеніміз нақты функциялар болып табылады а, және қайда ж осы маңда позитивті.

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

Харди-Литтлвуд анықтамасы

1914 жылы Годфри Гарольд Харди және Джон Эденсор Литтлвуд жаңа таңбамен таныстырды ,[17] ол келесідей анықталады:

сияқты егер

Осылайша жоққа шығару болып табылады .

1916 жылы сол авторлар екі жаңа белгіні енгізді және , анықталған:[18]

сияқты егер ;
сияқты егер

Бұл белгілерді қолданған Эдмунд Ландау, дәл осындай мағынада 1924 ж.[19] Ландаудан кейін жазулар ешқашан дәл осылай қолданылған жоқ; болды және болды .[дәйексөз қажет ]

Осы үш таңба , Сонымен қатар (бұл дегеніміз және екеуі де қанағаттандырылды), қазірде қолданылады аналитикалық сандар теориясы.[20][21]

Қарапайым мысалдар

Бізде бар

сияқты

және дәлірек айтсақ

сияқты

Бізде бар

сияқты

және дәлірек айтсақ

сияқты

дегенмен

сияқты

Кнуттың анықтамасы

1976 жылы Дональд Кнут қолданғанын дәлелдеу үшін қағаз шығарды -мықты қасиетті сипаттайтын символ. Кнут былай деп жазды: «Мен осы уақытқа дейін информатикадан көрген барлық қосымшалар үшін одан да күшті талап ... әлдеқайда орынды». Ол анықтады

пікірмен: «Мен Харди мен Литтвудтың анықтамасын өзгерткеніммен , Мен мұны өзімнің ақталғандығымды сезінемін, өйткені олардың анықтамасы кең қолданыста емес, және олардың анықтамасы қолданылған кезде салыстырмалы түрде сирек жағдайларда айтқысы келетін нәрсені айтудың басқа жолдары бар ».[22]

Бахман-Ландау жазбаларының отбасы

ЕскертуАты-жөні[22]СипаттамаРесми анықтамаШектік анықтама[23][24][25][22][17]
Үлкен О; Үлкен О; Үлкен Омикрон жоғарыда шектелген ж (тұрақты факторға дейін) асимптотикалық түрде
Үлкен Тетаf жоғарыда да, төменде де шектелген ж асимптотикалық түрде және (Кнут нұсқасы)
Күрделілік теориясындағы үлкен Омега (Кнут)f төменде шектелген ж асимптотикалық түрде
Кішкентай О; Кішкентай оf басым ж асимптотикалық түрде
Бұйрығы бойыншаf тең ж асимптотикалық түрде
Кішкентай Омегаf басым ж асимптотикалық түрде
Сандар теориясындағы үлкен Омега (Харди-Литтлвуд) басым емес ж асимптотикалық түрде

Шектік анықтамалар қабылданады жеткілікті үлкен n. Кесте (ішінара) функциялар бойынша o, O, Θ, ∼, (Кнуттың нұсқасы) Ω, ω нақтыға сәйкес <, ≤, ≈, =, ≥,> сәйкес келетін мағынасында ең кішіден сұрыпталған. түзу[25] (y Гарди-Литтлвуд нұсқасы, мұндай сипаттамаға сәйкес келмейді).

Информатика үлкенді пайдаланады O, үлкен Тета Θ, аз o, кішкентай омега Kn және Кнуттың үлкен Омега белгілері.[26] Аналитикалық сандар теориясында көбіне үлкендер қолданылады O, кішкентай o, Харди –Литтвудтың үлкен Омега Ω (+, - немесе ± жазуларымен немесе жоқ) және ескертпелер.[20] Кішкентай омега белгілері талдау кезінде жиі қолданылмайды.[27]

Информатикада қолдану

Бейресми түрде, әсіресе информатикада үлкен O белгілерді асимптотиканы сипаттау үшін әр түрлі қолдануға болады тығыз Берілген контексте үлкен Тета-жазуды пайдалану шынымен орынды болуы мүмкін.[дәйексөз қажет ] Мысалы, функцияны қарастырған кезде Т(n) = 73n3 + 22n2 + 58, төмендегілердің барлығы негізінен қолайлы, бірақ қатаң шекаралар (мысалы, төмендегі 2 және 3 сандар), әдетте, бос шекаралардан гөрі (мысалы, төмендегі 1 сан) басым болады.

  1. Т(n) = O(n100)
  2. Т(n) = O(n3)
  3. Т(n) = Θ (n3)

Ағылшын тіліндегі балама мәлімдемелер сәйкесінше:

  1. Т(n) асимптотикалық емес өседі n100
  2. Т(n) асимптотикалық емес өседі n3
  3. Т(n) асимптотикалық түрде тез өседі n3.

Сонымен, барлық үш тұжырым шындыққа сәйкес келсе де, әрқайсысында көбірек ақпарат бар. Алайда кейбір өрістерде үлкен О жазбасы (жоғарыдағы тізімдерде 2-ші нөмір) үлкен Тета жазбаға қарағанда (көбінесе жоғарыдағы тізімдерде 3-ші нөмірлермен) пайдаланылатын болады. Мысалы, егер Т(n) енгізу өлшемі үшін жаңадан жасалған алгоритмнің жұмыс уақытын білдіреді n, алгоритмнің өнертапқыштары мен қолданушылары төменгі асимптоталық шек туралы нақты мәлімдеме жасамай қанша уақыт жұмыс істейтініне асимптотаның жоғарғы шегін қоюға бейім болуы мүмкін.

Басқа белгілер

Олардың кітабында Алгоритмдерге кіріспе, Кормен, Лейзерсон, Rivest және Штайн функциялар жиынтығын қарастыру f қанағаттандыратын

Дұрыс жазба түрінде бұл жиынты, мысалы, атауға болады O(ж), қайда

оң тұрақтылар бар c және осындай барлығына .[28]

Авторлар теңдік операторын (=) орнатылған мүшелік операторынан гөрі ()) жиынтық мүшелігін белгілеуді пайдалану белгіні пайдалану болып табылады, бірақ мұның артықшылықтары бар деп мәлімдейді.[8] Теңдеу немесе теңсіздік ішінде асимптотикалық белгіні қолдану жиынтықтағы белгісіз функцияны білдіреді O(ж), бұл төменгі ретті терминдерді жояды және теңдеулердегі ретсіздікті азайтуға көмектеседі, мысалы:[29]

Бахман-Ландау белгілерінің кеңейтімдері

Кейде информатикада қолданылатын тағы бір белгі - Õ (оқыңыз) жұмсақ-О): f(n) = Õ(ж(n)) стенографиялық f(n) = O(ж(nжурналк ж(n)) кейбіреулер үшін к.[30] Негізінде, бұл логарифмдік факторларды ескермей, үлкен О жазбасы, өйткені кейбір басқа супер-логарифмдік функцияның өсу жылдамдығы әсерлері үлкен өлшемді кіріс параметрлері үшін өсу жылдамдығының жарылысын көрсетеді, бұл жұмыс уақытының нашарлығын болжау үшін жіңішке қарағанда маңызды - логарифмдік-өсу коэффициентінің әсер ететін нүктелік әсерлері. Бұл белгілер көбінесе қаралатын мәселелер үшін өте тығыз шектелген деп көрсетілген өсу қарқынында «ұрып-соғуды» жою үшін қолданылады (өйткені журналк n әрқашан o(nε) кез келген тұрақты үшін к және кез келген ε> 0).

Сондай-ақ L белгісі ретінде анықталды

арасында болатын функциялар үшін ыңғайлы көпмүшелік және экспоненциалды жөнінде .

Жалпылау және байланысты қолдану

Кез келген мәнді қабылдайтын функцияларға жинақтау нормаланған векторлық кеңістік тікелей (абсолютті шамаларды нормалармен ауыстыру), мұндағы f және ж олардың мәндерін бірдей кеңістікте қабылдаудың қажеті жоқ. Функцияларға жинақтау ж кез келген мәнді қабылдау топологиялық топ мүмкін[дәйексөз қажет ]. «Шектеу процесі» х → хo ерікті енгізу арқылы да жалпылауға болады сүзгі негізі, яғни бағытталған торлар f жәнежмәтіндері o белгілеуді анықтау үшін қолдануға болады туындылар және дифференциалдылық жалпы кеңістіктерде, сонымен қатар функциялардың (асимптоталық емес) эквиваленттілігі,

бұл эквиваленттік қатынас және қарым-қатынасқа қарағанда шектеулі түсінік »f бұл Θ (ж) «жоғарыдан. (Ол лимитке дейін азаяды.) f / ж = 1 егер f және ж позитивті нақты бағаланатын функциялар.) Мысалы, 2х бұл Θ (х), бірақ 2х − х емес o(х).

Тарих (Бахман-Ландау, Харди және Виноградов жазбалары)

О таңбасы алғаш рет сан теоретикімен енгізілген Пол Бахман 1894 жылы, оның кітабының екінші томында Analytische Zahlentheorie ("аналитикалық сандар теориясы ").[2] Сандар теоретигі Эдмунд Ландау оны қабылдады және осылайша 1909 жылы o белгісін енгізуге шабыттандырды;[3] сондықтан қазір екеуі де Ландау таңбалары деп аталады. Бұл белгілер қолданбалы математикада 1950 жылдары асимптотикалық талдау үшін қолданылған.[31]Таңба (мағынасында «емес o «) 1914 жылы Харди мен Литтвуд енгізген.[17] Харди мен Литтлвуд сонымен бірге 1918 жылы рәміздерді ұсынды («оңға») және («сол»),[18] қазіргі таңбалардың ізашарлары («кішкене о-дан кіші емес») және («кішкене о-дан үлкен емес»). Осылайша, Омега таңбаларын (бастапқы мағынасымен) кейде «Ландау таңбалары» деп те атайды. Бұл белгі кем дегенде 1950 жылдардан бастап сандар теориясында кеңінен қолданыла бастады.[32]1970 ж. Информатикада үлкен О танымал болды Дональд Кнут байланысты Тета жазуын енгізген және Омега белгісіне басқа анықтама ұсынған.[22]

Ландау ешқашан үлкен Тета мен кішкентай омега белгілерін пайдаланбаған.

Хардидің символдары (қазіргі заман тұрғысынан) болды O белгі)

және

(Алайда Харди ешқашан белгілерді анықтамаған немесе қолданбаған , не , кейде бұл туралы айтылған) .Харди белгілерді енгізді және (сонымен қатар кейбір басқа рәміздер) өзінің 1910 жылғы «Шексіздік бұйрықтары» трактатында және оларды тек үш қағазда қолданған (1910–1913). Өзінің қалған 400-ге жуық қағаздары мен кітаптарында ол Ландау O және o таңбаларын үнемі қолданған.

Хардидің жазбасы енді қолданылмайды. Екінші жағынан, 1930 жж.[33] орыс санының теоретигі Иван Матвеевич Виноградов өзінің белгілеуімен таныстырды, сандардың теориясында орнына барған сайын көбірек қолданыла бастады белгілеу. Бізде бар

және жиі екі жазба бірдей қағазда қолданылады.

Big-O бастапқыда «order» («Ordnung», Bachmann 1894) деген мағынаны білдіреді, сондықтан латын әрпі болып табылады. Бахман да, Ландау да оны ешқашан «Омикрон» деп атамайды. Символды кейінірек (1976) Кнут астана ретінде қарастырды омикрон,[22] оның символға берген анықтамасына сілтеме жасаған болар Омега. Цифр нөл қолдануға болмайды.

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

Әдебиеттер мен ескертпелер

  1. ^ а б Дональд Э. Кнут, Компьютерлік бағдарламалау өнері. Том. 1. Іргелі алгоритмдер, үшінші басылым, Аддисон Уэсли Лонгман, 1997. 1.2.11.1-бөлім
  2. ^ а б Бахман, Пауыл (1894). Analytische Zahlentheorie [Аналитикалық сандар теориясы] (неміс тілінде). 2. Лейпциг: Тубнер.
  3. ^ а б Ландау, Эдмунд (1909). Handbuch der Lehre von der Verteilung der Primzahlen [Жай бөлшектерді бөлу теориясы бойынша анықтамалық] (неміс тілінде). Лейпциг: Б. Г. Теубнер. б. 883.
  4. ^ Мор, Остин. «Кванттық есептеу күрделілік теориясы мен есептеу теориясы» (PDF). б. 2018-04-21 121 2. Алынған 7 маусым 2014.
  5. ^ Ландау, Эдмунд (1909). Handbuch der Lehre von der Verteilung der Primzahlen [Жай бөлшектерді бөлу теориясы бойынша анықтамалық] (неміс тілінде). Лейпциг: Б.Г. Тубнер. б. 31.
  6. ^ Майкл Сипсер (1997). Есептеу теориясына кіріспе. Бостон / MA: PWS Publishing Co. Мұнда: Def.7.2, s.227
  7. ^ Мысалға, анықталмаған .
  8. ^ а б Кормен, Томас Х .; Лейзерсон, Чарльз Е .; Ривест, Рональд Л. (2009). Алгоритмдерге кіріспе (3-ші басылым). Кембридж / MA: MIT Press. б.45. ISBN  978-0-262-53305-8. Себебі θ(ж(n)) is a set, we could write "f(n) ∈ θ(ж(n))" to indicate that f(n) мүшесі болып табылады θ(ж(n)). Instead, we will usually write f(n) = θ(ж(n)) to express the same notion. You might be confused because we abuse equality in this way, but we shall see later in this section that doing so has its advantages.
  9. ^ Cormen, Thomas; Leiserson, Charles; Rivest, Ronald; Stein, Clifford (2009). Алгоритмдерге кіріспе (Үшінші басылым). MIT. б.53.
  10. ^ Howell, Rodney. "On Asymptotic Notation with Multiple Variables" (PDF). Алынған 2015-04-23.
  11. ^ N. G. de Bruijn (1958). Asymptotic Methods in Analysis. Амстердам: Солтүстік-Голландия. 5-7 бет. ISBN  978-0-486-64221-5.
  12. ^ а б Грэм, Рональд; Кнут, Дональд; Паташник, Орен (1994). Бетонды математика (2 басылым). Reading, Massachusetts: Addison–Wesley. б. 446. ISBN  978-0-201-55802-9.
  13. ^ Donald Knuth (June–July 1998). "Teach Calculus with Big O" (PDF). Американдық математикалық қоғамның хабарламалары. 45 (6): 687. (Unabridged version )
  14. ^ Tom (24 June 2014). "Big O and related notations in LaTeX". texblog.
  15. ^ а б Ландау, Эдмунд (1909). Handbuch der Lehre von der Verteilung der Primzahlen [Handbook on the theory of the distribution of the primes] (неміс тілінде). Лейпциг: Б. Г. Теубнер. б. 61.
  16. ^ Thomas H. Cormen et al., 2001, Introduction to Algorithms, Second Edition[бет қажет ]
  17. ^ а б c Hardy, G. H.; Littlewood, J. E. (1914). "Some problems of diophantine approximation: Part II. The trigonometrical series associated with the elliptic ϑ-functions". Acta Mathematica. 37: 225. дои:10.1007/BF02401834.
  18. ^ а б G. H. Hardy and J. E. Littlewood, « Contribution to the theory of the Riemann zeta-function and the theory of the distribution of primes », Acta Mathematica, т. 41, 1916.
  19. ^ E. Landau, "Über die Anzahl der Gitterpunkte in gewissen Bereichen. IV." Начр. Геселл. Уис. Gött. Math-phys. Kl. 1924, 137–150.
  20. ^ а б Aleksandar Ivić. The Riemann zeta-function, chapter 9. John Wiley & Sons 1985.
  21. ^ Gérald Tenenbaum, Introduction to analytic and probabilistic number theory, Chapter I.5. American Mathematical Society, Providence RI, 2015.
  22. ^ а б c г. e Knuth, Donald (April–June 1976). "Big Omicron and big Omega and big Theta" (PDF). SIGACT жаңалықтары: 18–24.
  23. ^ Balcázar, José L.; Gabarró, Joaquim. "Nonuniform complexity classes specified by lower and upper bounds" (PDF). RAIRO – Theoretical Informatics and Applications – Informatique Théorique et Applications. 23 (2): 180. ISSN  0988-3754. Алынған 14 наурыз 2017.
  24. ^ Чакер, Фелипе; Bürgisser, Peter (2013). "A.1 Big Oh, Little Oh, and Other Comparisons". Condition: The Geometry of Numerical Algorithms. Берлин, Гайдельберг: Шпрингер. 467-468 бет. дои:10.1007/978-3-642-38896-5. ISBN  978-3-642-38896-5.
  25. ^ а б Vitányi, Paul; Meertens, Lambert (April 1985). "Big Omega versus the wild functions" (PDF). ACM SIGACT жаңалықтары. 16 (4): 56–59. CiteSeerX  10.1.1.694.3072. дои:10.1145/382242.382835.
  26. ^ Кормен, Томас Х.; Лейзерсон, Чарльз Э.; Ривест, Рональд Л.; Штайн, Клиффорд (2001) [1990]. Алгоритмдерге кіріспе (2-ші басылым). MIT Press және McGraw-Hill. 41-50 бет. ISBN  0-262-03293-7.
  27. ^ for example it is omitted in: Hildebrand, A.J. "Asymptotic Notations" (PDF). Математика кафедрасы. Asymptotic Methods in Analysis. Math 595, Fall 2009. Urbana, IL: University of Illinois. Алынған 14 наурыз 2017.
  28. ^ Кормен, Томас Х .; Leiserson, Charles E.; Rivest, Ronald L. (2009). Алгоритмдерге кіріспе (3-ші басылым). Кембридж / MA: MIT Press. б. 47. ISBN  978-0-262-53305-8. When we have only an asymptotic upper bound, we use O-notation. Берілген функция үшін ж(n) деп белгілейміз O(ж(n)) (pronounced "big-oh of ж туралы n" or sometimes just "oh of ж туралы n") the set of functions O(ж(n)) = { f(n) : there exist positive constants c және n0 such that 0 ≤ f(n) ≤ cg(n) барлығына nn0}
  29. ^ Cormen,Thomas H.; Leiserson, Charles E.; Rivest, Ronald L. (2009). Алгоритмдерге кіріспе (3-ші басылым). Кембридж / MA: MIT Press. б.49. ISBN  978-0-262-53305-8. When the asymptotic notation stands alone (that is, not within a larger formula) on the right-hand side of an equation (or inequality), as in n = O(n²), we have already defined the equal sign to mean set membership: n ∈ O(n²). In general, however, when asymptotic notation appears in a formula, we interpret it as standing for some anonymous function that we do not care to name. For example, the formula 2n2 + 3n + 1 = 2n2 + θ(n) means that 2n2 + 3n + 1 = 2n2 + f(n), қайда f(n) is some function in the set θ(n). In this case, we let f(n) = 3n + 1, which is indeed in θ(n). Using asymptotic notation in this manner can help eliminate inessential detail and clutter in an equation.
  30. ^ Алгоритмдермен таныстыру. Кормен, Томас Х. (Үшінші басылым). Кембридж, Массачусетс: MIT Press. 2009. б.63. ISBN  978-0-262-27083-0. OCLC  676697295.CS1 maint: басқалары (сілтеме)
  31. ^ Erdelyi, A. (1956). Asymptotic Expansions. ISBN  978-0-486-60318-6.
  32. ^ E. C. Titchmarsh, The Theory of the Riemann Zeta-Function (Oxford; Clarendon Press, 1951)
  33. ^ See for instance "A new estimate for G(n) in Waring's problem" (Russian). Doklady Akademii Nauk SSSR 5, No 5-6 (1934), 249–253. Translated in English in: Selected works / Ivan Matveevič Vinogradov; prepared by the Steklov Mathematical Institute of the Academy of Sciences of the USSR on the occasion of his 90th birthday. Springer-Verlag, 1985.

Әрі қарай оқу

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