"Болжолдуу ката" барагынын кодун көрүү

[[Файл:E^x_with_linear_approximation.png|thumb| Графиги <math>f(x) = e^x</math> (көк) анын сызыктуу жакындыгы менен <math>P_1(x) = 1 + x</math> (кызыл) a = 0. Жакындоо катасы ийри сызыктардын ортосундагы ажырым болуп саналат жана ал 0дөн ары x маанилери үчүн көбөйөт.]]
Берилиштер маанисиндеги '''жакындатуу (болжолдуу) катасы''' - бул так маани менен ага кээ бир жакындаштыруунун ортосундагы дал келбөө. Бул ката '''абсолюттук ката''' (айласыздыктын сандык суммасы) же '''салыштырмалуу ката''' (маалыматтын маанисине бөлүнгөн абсолюттук ката) катары көрсөтүлүшү мүмкүн.

Компьютердик машинанын тактыгы же өлчөө катасы болжолдоо каталарынын эки жалпы себеби болуп саналат (мисалы, узундугу 4,53 см болгон кагаз, бирок сызгыч аны жакынкы 0,1 смге чейин баалоого гана мүмкүнчүлүк берет, андыктан аны 4,5 см деп өлчөйсүз).

Сандык туруктуулук-сандык анализдин математикалык чөйрөсүндө Алгоритмдин киргизүүсүндөгү каталар Алгоритмдин чыгаруусунда чоң каталарга алып келүүчү деңгээл; сандык туруктуу алгоритмдер киргизүү туура эмес калыптанганда чыгарууда олуттуу ката кетирбейт жана тескерисинче.

== Формалдуу аныктама ==
Кээ бир ''v'' маанисин эске алып, биз ''v'' <sub>болжолдуу</sub> ''v'' '''абсолюттук катасы''' ''ε'' >0 болсо <ref>{{Cite web|title=Absolute Error|url=https://mathworld.wolfram.com/|language=en}}</ref> <ref name=":0">{{Cite web|title=Absolute and Relative Error {{!}} Calculus II|url=https://courses.lumenlearning.com/calculus2/chapter/absolute-and-relative-error/}}</ref> менен жакындайт деп айтабыз.

: <math>|v-v_\text{approx}| \leq \varepsilon</math>

мында вертикалдык тилкелер [[Абсолюттук чоңдук|абсолюттук маанини]] билдирет.

Биз ''v'' <sub>болжолдуу</sub> ''v'' болжолдуу '''салыштырмалуу ката''' ''η'' >0 болсо деп айтабыз<blockquote><math>|v-v_\text{approx}| \leq \eta\cdot v</math> .</blockquote>Эгерде ''v'' ≠ 0 болсо, анда

: <math> \eta = \frac{\epsilon}{|v|}
  = \left| \frac{v-v_\text{approx}}{v} \right|
  = \left| 1 - \frac{v_\text{approx}}{v} \right|
</math> .

'''Процент катасы''' (салыштырмалуу катанын туюнтмасы) <ref name=":0">{{Cite web|title=Absolute and Relative Error {{!}} Calculus II|url=https://courses.lumenlearning.com/calculus2/chapter/absolute-and-relative-error/}}<cite class="citation web cs1" data-ve-ignore="true">[https://courses.lumenlearning.com/calculus2/chapter/absolute-and-relative-error/ "Absolute and Relative Error | Calculus II"]. ''courses.lumenlearning.com''<span class="reference-accessdate">. Retrieved <span class="nowrap">2023-06-11</span></span>.</cite></ref>

: <math>\delta = 100\%\times\eta = 100\%\times\left| \frac{v-v_\text{approx}}{v} \right|.</math>

'''Чектелген ката''' – бул жакындоо катасынын салыштырмалуу же абсолюттук өлчөмүнүн жогорку чеги. <ref>{{Cite web|title=Approximation and Error Bounds|url=http://www.math.wpi.edu/Course_Materials/MA1021B98/approx/node1.html#:~:text=Thus%20we%20introduce%20the%20term,bound%20the%20better%20the%20approximation.}}</ref>

== Мисалдар ==
{{Diophantine_approximation_graph.svg}}Мисал катары, эгерде так маани 50 жана жакындоо 49,9 болсо, анда абсолюттук ката 0,1 жана салыштырмалуу ката 0,1/50 = 0,002 = 0,2%. Практикалык мисал катары, 6 өлчөөдө&nbsp;мл стакан, мааниси 5 болду&nbsp;мл. Туура окуу 6&nbsp;мл, бул конкреттүү кырдаалда пайыздык катаны билдирет, тегеректелген, 16,7%.

Сандардын ар кандай өлчөмдөгү жакындатууларын салыштырууда салыштырмалуу ката көп колдонулат. Мисалы, 3 абсолюттук катасы бар болжол менен 1000 адам, адатта, 3 абсолюттук катасы бар болжол менен 1000000 адамга караганда алда канча начар; биринчисинде салыштырмалуу ката 0,003 болсо, экинчисинде 0,000003 гана.

Салыштырмалуу катанын эки өзгөчөлүгү бар, аларды эске алуу керек. Биринчиден, чыныгы маани нөлгө барабар болгондо, салыштырмалуу ката аныкталбайт (төмөндө караңыз). Экинчиден, салыштырмалуу ката катыш шкаласында өлчөнгөндө гана мааниге ээ болот, (б.а. чыныгы мааниге ээ нөлгө ээ шкала), антпесе, ал өлчөө бирдиктерине сезгич болот. Мисалы, Цельсий шкаласында берилген [[Температура|температураны]] өлчөөдөгү абсолюттук ката 1 болгондо&nbsp;°C, жана чыныгы мааниси 2&nbsp;°C, салыштырмалуу ката 0,5. Бирок так ушундай эле жакындоо [[Кельвин (К)|Келвин шкаласы]] менен жасалса, 1&nbsp;K абсолюттук катасы 275.15 бирдей чыныгы мааниси менен&nbsp;K = 2&nbsp;°C 3,63 {{E|-3}}   салыштырмалуу ката берет.

== Салыштыруу ==
Салыштырмалуу каталар боюнча ырастоолор туруктуу кошулууга дуушар болот, бирок константалар менен көбөйтүлбөйт. Тескерисинче, абсолюттук каталар туруктуу кошумчалоого сезгич эмес, бирок туруктуу көбөйтүүгө сезгич эмес.

== Чыныгы сандардын полиномдук-убакыт жакындоосу ==
Эгерде ар бир ''ε'' >0 рационалдык саны үчүн, абсолюттук катасы ''ε'' менен ''v'' <sub>болжолдуу</sub> рационалдык санын эсептөө мүмкүн болсо '','' көлөмү боюнча убакыттын полиномиясы боюнча ''v'' реалдуу маанисин киргизүүдөн '''абсолюттук ката менен полиномиялык эсептөөгө''' болот деп айтабыз. киргизүүнүн жана ''ε'' коддоо өлчөмү (бул O(log(1/ ''ε'' )). Окшош түрдө, ''v'' '''полиномдуу түрдө салыштырмалуу ката менен эсептелинет''', эгерде ар бир ''η'' >0 рационалдык саны үчүн, киргизүүнүн өлчөмү жана коддоо өлчөмү боюнча убакыт полиномунда салыштырмалуу катасы ''η'' менен ''v'' <sub>болжолдуу</sub> ''v'' рационалдуу санын эсептөө мүмкүн болсо. ''η'' .

Эгерде ''v'' салыштырмалуу ката менен полиномдуу эсептелсе (REL деп аталган кээ бир алгоритм боюнча), анда ал абсолюттук ката менен да полиномиялык жактан эсептелүүчү болот. ''Proof'' . ''ε'' >0 каалаган абсолюттук ката болсун. Биринчиден, салыштырмалуу ката менен REL колдонуңуз ''η='' 1/2; рационал санын тапкыла ''r'' <sub>1</sub> ушундай | ''v'' - ''r'' <sub>1</sub> | ≤ | ''v'' |/2, демек ''|v|'' ≤ 2 | ''r'' <sub>1</sub> |. Эгерде ''r'' <sub>1</sub> =0 болсо, анда ''v'' =0 жана биз бүттүк. REL көп мүчө болгондуктан, ''r'' <sub>1</sub> коддоо узундугу киргизүүдө көп мүчө болуп саналат. Эми, салыштырмалуу ката ''η=ε/'' (2 ''|r'' <sub>1</sub> |) менен RELди кайра иштетиңиз. Бул | канааттандырган ''r'' <sub>2</sub> рационалдуу санын берет ''v'' - ''r'' <sub>2</sub> | ≤ ''ε|v'' | / (2 ''r'' <sub>1</sub> ) ≤ ''ε'', ошондуктан ал каалагандай абсолюттук ката ''ε'' бар.  : 34 

Тескери маани, адатта, туура эмес. Бирок, эгерде биз |v| боюнча кандайдыр бир оң төмөнкү чекти деп ойлосок полиномдук убакытта эсептелиши мүмкүн, мисалы | ''v'' | > ''b'' > 0, жана ''v'' абсолюттук ката менен полиномиялык жактан эсептелүүчү (АБС деп аталган кээ бир алгоритм боюнча), анда ал салыштырмалуу ката менен да полиномиялык жактан эсептелүүчү болот, анткени биз жөн гана абсолюттук катасы бар ABS ''ε = η b деп атай алабыз.''

Ар бир рационалдуу сан үчүн ''η'' >0 рационалдуу саны ''v'' <sub>болжолдуу</sub> эсептей турган алгоритм ''η'' салыштырмалуу катасы бар ''v'' болжолдуу, киргизүүнүн өлчөмү боюнча убакыт полиномунда жана 1/ ''η'' (log(1/ ''η'' ) эмес), FPTAS деп аталат.

== Инструменттер ==
Көпчүлүк көрсөтүүчү аспаптардын тактыгы толук масштабдагы окуунун белгилүү бир пайызынын чегинде кепилденет. Чектөөчү каталар, ошондой эле кепилдик каталары деп аталат, бул берилген маанилерден четтөө боюнча жогорку чектер.

== Жалпылоо ==
аныктамалар качан учурга чейин узартылышы мүмкүн <math>v</math> жана <math>v_{\text{approx}}</math> абсолюттук маанини <nowiki><i id="mwtw">n</i></nowiki> -норма менен алмаштыруу менен <nowiki><i id="mwtQ">n</i></nowiki> -өлчөмдүү векторлор болуп саналат. <ref name="GOLUB_MAT_COMP2.2.3">{{Cite book|title=Matrix Computations – Third Edition|last=Golub|first=Gene|last2=Charles F. Van Loan|publisher=The Johns Hopkins University Press|year=1996|isbn=0-8018-5413-X|location=Baltimore|pages=53|author-link=Gene H. Golub}}
</ref>

== Ошондой эле караңыз ==

* Кабыл алынган жана эксперименталдык маани
* Шарт номери
* Статистикадагы каталар жана калдыктар
* Эксперименттик белгисиздик анализи
* Машина эпсилон
* Өлчөө ката
* Өлчөөнүн белгисиздиги
* Белгисиздикти жайылтуу
* Кванттоо катасы
* Салыштырмалуу айырма
* Тегерек ката
* Белгисиздик

== Шилтемелер ==

# {{Cite web|last=Weisstein|first=Eric W.|title=Numerical Stability|url=https://mathworld.wolfram.com/|access-date=2023-06-11|website=mathworld.wolfram.com|language=en}}
# {{Cite web|last=Weisstein|first=Eric W.|title=Absolute Error|url=https://mathworld.wolfram.com/|access-date=2023-06-11|website=mathworld.wolfram.com|language=en}}
# {{Cite web|title=Absolute and Relative Error {{!}} Calculus II|url=https://courses.lumenlearning.com/calculus2/chapter/absolute-and-relative-error/|access-date=2023-06-11|website=courses.lumenlearning.com}}
# {{Cite web|title=Approximation and Error Bounds|url=http://www.math.wpi.edu/Course_Materials/MA1021B98/approx/node1.html#:~:text=Thus%20we%20introduce%20the%20term,bound%20the%20better%20the%20approximation.|access-date=2023-06-11|website=www.math.wpi.edu}}
# {{Cite Geometric Algorithms and Combinatorial Optimization}}
# Helfrick, Albert D. (2005) ''Modern Electronic Instrumentation and Measurement Techniques''. p. 16. {{ISBN|81-297-0731-4}}
# {{cite book|title=Matrix Computations – Third Edition|last=Golub|first=Gene|author2=Charles F. Van Loan|publisher=The Johns Hopkins University Press|year=1996|isbn=0-8018-5413-X|location=Baltimore|pages=53|author-link=Gene H. Golub}}

== Тышкы шилтемелер ==

* <templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>Weisstein, Eric W. "Percentage error". MathWorld.