Back

ⓘ Елементарно




                                     

ⓘ Елементарно

У теорији рачунарске комплексности, класа комплексности елементарно, која се састоји од елементарних рекурзивних функција, унија је следећих класа:

E L E M E N T A R Y = E X P ∪ 2 E X P ∪ 3 E X P ∪ ⋯ = D T I M E 2 n ∪ D T I M E 2 n ∪ D T I M E 2 n ∪ ⋯ {\displaystyle {\begin{aligned}\mathrm {ELEMENTARY} &=\mathrm {EXP} \cup \mathrm {2EXP} \cup \mathrm {3EXP} \cup \cdots \\&=\mathrm {DTIME} 2^{n}\cup \mathrm {DTIME} 2^{2^{n}}\cup \mathrm {DTIME} 2^{2^{2^{n}}}\cup \cdots \end{aligned}}}

Име класе је поставио László Kalmár, у контексту рекурзивних функција и неодлучивости; већина проблема из ове класе су далеко од елементарних. Неки природни рекурзивни проблеми су ван елементарне класе, тј они су неелементарни. Што је најбитније, постоје примитивни рекурзивни проблеми који нису у класи елементарно. Познато је да важи:

LOWER-ELEMENTARY ⊊ {\displaystyle \subsetneq } EXPTIME ⊊ {\displaystyle \subsetneq } ELEMENTARY ⊊ {\displaystyle \subsetneq } PR ⊊ {\displaystyle \subsetneq } R

Док класа елементарно садржи ограничене апликације степеновања на пример, PR омогућава више генералних хипер оператора на рпимер тетрација који нису садржани у класи елементарно.

                                     

1. Дефиниција

Дефениције елементарних рекурзивних функција су исте као дефиниције примитивних рекурзивних функција, с тим што је примитивна рекурзија замењена ограниченим сумирањем и ограниченим производом. Све функције раде над природним бројевима. Основне функције, од којих су све елементарно рекурзивне су:

  • Нула функција. Враћа нулу: fx = 0.
  • Функције пројекције: користе се за игнорисање аргумената. На пример, fa, b =a је функција пројекције.
  • Функција наследника: fx = x + 1. Ова функција је често означена са S, тј Sx. Кроз понављање ове функције може се постићи адиција.
  • Функција одузимања: fx, y = x – y ако је y < x, или 0 ако је y ≥ x. Ова функција се користи за дефинисање кондиционала и итерација.

Из ових основних функција можемо извести друге елементарне рекурзивне функције:

  • Ограничено сумирање: f = ∑ i = 0 m g {\displaystyle fm,x_{1},\ldots,x_{n}=\sum \limits _{i=0}^{m}gi,x_{1},\ldots,x_{n}} је елементарно рекурзивна функција ако је g елементарно рекурзивна функција.
  • Ограничен производ: f = ∏ i = 0 m g {\displaystyle fm,x_{1},\ldots,x_{n}=\prod \limits _{i=0}^{m}gi,x_{1},\ldots,x_{n}} је елементарно рекурзивна функција ако је g елементарно рекурзивна функција.
  • Композиција: прослеђивање вредности неке елементарне рекурзивне функције као аргумент друге елементарне рекурзивне функције: f x 1., x n = h g 1 x 1., x n., g m x 1., x n) је елементарно рекурзивно ако је г елементарно рекурзивна функција и ако је свако gi елементарно рекурзивна функција.
                                     

2. Ниже елементарно рекурзивне функције

Ниже елементарно рекурзивне функције прате претходно постављене дефиниције, осим што ограничен производ није дозвољен. Ово значи да нижа елементарно рекурзивна функција мора бити нула, функција наследник, функција пројекције, композиција других нижих елементарно рекурзивних функција, или ограничена сума других нижих елементарно рекурзивних функција. Док елементарно рекурзивне функције потенцијално имају више од експоненцијалног раста, ниже елементарно рекурзивне функције имају полиномијални раст.

                                     

3. Основе за класу Елементарно

Класа елементарних функција се подудара са затварањем у односу на композицију пројекција и једног од следећих сетова функција: { n + 1, n −. m, ⌊ n / m ⌋, n m } {\displaystyle \{n+1,n\,{\stackrel {.}{-}}\,m,\lfloor n/m\rfloor,n^{m}\}}, { n + m, n −. m, ⌊ n / m ⌋, 2 n } {\displaystyle \{n+m,n\,{\stackrel {.}{-}}\,m,\lfloor n/m\rfloor,2^{n}\}}, { n + m, n 2, n mod m, 2 n } {\displaystyle \{n+m,n^{2},n\,{\bmod {\,}}m,2^{n}\}}, where n −. m = max { n − m, 0 } {\displaystyle n\,{\stackrel {.}{-}}\,m=\max\{n-m,0\}}, где је претходно дефинисана функција одузимања.

                                     

4. Дескриптивна карактеризација

У дескриптивној комплексности, класа елементарно је једнака класи упита вишег реда. Ово значи да сваки језик у елементарно класи комплексностиможе бити написан као формула вишег реда која је истинита само за елементе из језика. Прецизније, N T I M E 2 ⋯ 2 O n) = ∃ H O i {\displaystyle \mathrm {NTIME} 2^{2^{\cdots {2^{On}}}})=\exists {}HO^{i}}, где ⋯ {\displaystyle \cdots } означавају кулу степеновања i {\displaystyle i} и ∃ H O i {\displaystyle \exists {}HO^{i}} представља класу ушита који почињу егзистенцијалним квантификаторима i-тог реда а затим формулом i − 1-ог реда.

                                     
  • квантној електродинамици, што је оставило далекосежни значај на физику елементарних честица The Nobel Prize in Physics 1965 NobelPrize.org на језику:
  • квантној електродинамици, што је оставило далекосежни значај на физику елементарних честица The Nobel Prize in Physics 1965 NobelPrize.org на језику:
  • својих доприноса теорији јединствене слабе и електромагнетске интеракције елементарних честица. Стивен Вајнберг Елементаријум. Приступљено 31. 1. 2018. 
  • године добио Нобелову награду за физику за пресудан допринос физици елементарних честица, а посебно за откриће великог броја резонантних стања, што је
  • свирајући виолину Вотсон је убија новинама добацивши Елементарно драги мој Холмсе, елементарно Филм је, наводно, заснован на позоришној драми Вилијама
  • такозваних паритетних закона која су довела до значајних открића у вези елементарних честица The Nobel Prize in Physics 1957 NobelPrize.org на језику:
  • за допринос теорији јединствене слабе и електромагнетске интеракције елементарних честица Sheldon Glashow Biography, Nobel Prize, & Facts Encyclopedia
  • добио Нобелову награду за физику за пионирски рад у открићу тешке елементарне честице нове врсте тачније, за откриће J ψ честице која је показала

Users also searched:

...