Кіріспе

Математикалық ұғым

Дерек мәнінің жуықтау қатесі – нақты мән мен оған жасалған жуықтау арасындағы айырмашылық. Бұл қате абсолюттік қате (айырмашылықтың сандық шамасы) немесе салыстырмалы қате (абсолюттік қате дерек мәніне бөлінген) түрінде берілуі мүмкін. Жуықтау қатесінің пайда болуына түрлі себептер ықпал етеді, соның ішінде есептеу машинасының дәлдігі немесе өлшеу қатесі (мысалы, қағаздың ұзындығы 4,53 см, бірақ сызғыш оны тек 0,1 см-ге дейін бағалауға мүмкіндік береді, сондықтан сіз оны 4,5 см деп өлшейсіз). Сандық талдаудың математикалық саласында алгоритмнің сандық тұрақтылығы алгоритмге берілген деректегі қателердің нәтижесінде шығыста қаншалықты үлкен қателер пайда болатынын көрсетеді; сандық тұрақты алгоритмдер дерек бұрмаланған жағдайда шығыста маңызды қателерге әкелмейді және керісінше.

Мысалдар

Мысалы, егер нақты мән 50 болса және жуықтау 49,9 болса, онда абсолюттік қате 0,1, ал салыстырмалы қате 0,1/50 = 0,002 = 0,2% құрайды. Практикалық мысал ретінде, 6 мл көлемдік ыдысты өлшегенде 5 мл көрсетілді. Нақты мәні 6 мл болғандықтан, бұл жағдайдағы қателік шамамен 16,7% болады. Салыстырмалы қате әртүрлі шамадағы сандардың жуықтауларын салыстыру үшін жиі қолданылады; мысалы, 3-ке жуықтап алынған 1000 санының қатесі, көп жағдайда, 3-ке жуықтап алынған 1 000 000 санының қатесінен әлдеқайда үлкен болады; бірінші жағдайда салыстырмалы қате 0,003-ке, ал екінші жағдайда 0,000003-ке тең. Салыстырмалы қателіктердің екі ерекшелігін ескеру қажет. Біріншіден, нақты мән нөлге тең болғанда салыстырмалы қате анықталмайды, өйткені ол бөлшектің бөлімінде болады (төменде қараңыз). Екіншіден, салыстырмалы қате тек қатынас шкаласында (яғни, нақты нөлдік мәні бар шкала) өлшенгенде ғана мағыналы, әйтпесе ол өлшем бірліктеріне тәуелді болады. Мысалы, Цельсия шкаласында өлшенген температурадағы абсолюттік қате 1 °C болса және нақты мәні 2 °C болса, салыстырмалы қате 0,5 құрайды. Ал дәл сол жуықтау Кельвин шкаласында жасалса, 275,15 K = 2 °C нақты мәні үшін 1 K абсолюттік қате 3,63 салыстырмалы қате береді.

Салыстыру

Салыстырмалы қателер туралы айғақтар тұрақты қосылғанда өзгереді, бірақ тұрақтыға көбейтілгенде өзгермейді. Абсолютті қателер үшін керісінше: олар тұрақтыға көбейтілгенде өзгереді, бірақ тұрақты қосылғанда өзгермейді.

Нақты сандарды полиномиалдық уақытпен шамалау

Біз нақты мән v-нің кірістен алынған абсолютті қатемен полиномдық есептелуі мүмкін дейміз, егер әрбір ε>0 рационалды саны үшін v-ге ε абсолютті қатесімен жуықтайтын рационалды санды кірістің мөлшерімен және ε кодтау мөлшерімен (бұл O(log(1/ε)) шамасында болады) полиномдық уақытта есептеуге болады. Сол сияқты, v салыстырмалы қатемен полиномдық есептелуі мүмкін, егер әрбір η>0 рационалды саны үшін v-ге η салыстырмалы қатесімен жуықтайтын рационалды санды кірістің мөлшерімен және η кодтау мөлшерімен полиномдық уақытта есептеуге болады. Егер v салыстырмалы қатемен полиномдық есептелетін болса (REL деп аталатын алгоритм арқылы), онда ол абсолютті қатемен де полиномдық есептелетін болады. Дәлел. ε>0 қажетті абсолютті қателік болсын. Біріншіден, η=1/2 салыстырмалы қатесі бар REL-ді пайдаланыңыз; |v - r1| ≤ |v|/2, демек |v| ≤ 2|r1| болатын r1 рационалды санын табыңыз. Егер r1=0 болса, онда v=0 және есеп аяқталды. REL полиномдық болғандықтан, r1 кодтау ұзындығы кіріске қатысты полиномдық болады. Енді, салыстырмалы қатесі η=ε/(2|r1|) болатын REL-ді қайтадан іске қосыңыз. Бұл |v - r2| ≤ ε|v| / (2|r1|) ≤ ε теңдеуін қанағаттандыратын r2 рационалды санын береді, яғни ол қажетті ε абсолютті қателігіне ие.

Жалпылау

Анықтамаларды жағдайды кеңейтуге болады, егер және - n өлшемді векторлар болса, абсолюттік шаманы n-нормаға алмастыру арқылы.