Ad argvmentvm transi
Topos Uranos
Latine

Synthesis et provocationes: data composita

Svmmarivm

Haec lectio sextam cvrsvs partem, datis compositis dedicatam, conclvdit. Catenam notionvm restitvit qvae a seqventia indicata ad tabvlarivm dvcit, per seqventiam qvae crescit, per svmptvm algorithmi, per qvaesitionem et ordinationem et per tabvlas; qvae ex his in qvalibet lingva valent ab iis qvae C++ propria svnt separat; modvm agendi indefinitvm partis colligit, cvm eo qvod bibliotheca sistit, eo qvod detector sistit et eo qvod nemo indicat; in probatione finali facvltates probationis initialis repetit; et sex provocationibvs finitvr qvae totam partem conivngvnt.

Proposita discendi

  1. Collectiones et entia genere apto repraesentare (serie, vectore, tabvla vel tabvlario), et electionem ex forma datorvm ivstificare.
  2. Collectiones algorithmis rectis tractare, manv scriptis et per invariantem ivstificatis, vel e bibliotheca svmptis praecondicionibvs earvm servatis.
  3. Svmptvm algorithmi operationes eivs dominantes nvmerando aestimare, et aestimationem mensvra comprobare.
  4. Modvm agendi indefinitvm partis agnoscere (accessvm extra fines, referentiam irritam factam, pvnctvm medivm qvod exvndat, praecondicionem bibliothecae violatam) et programma sine eo rescribere.
  5. In iis qvae in parte didicimvs separare qvae in qvalibet lingva valent ab iis qvae C++ propria svnt.

Qvae vnitas consecvta est

Pars sibi proposverat docere qvomodo collectiones datorvm repraesententvr et algorithmis primariis tractentvr, aestimando qvanti constent. Id consecvta est iis solis innixa qvae introdvctio pro cognitis habenda declaravit: circvitibvs cvm invariante, fvnctionibvs et earvm modis transmissionis, arithmetica nvmerorvm integrorvm. Programma pvnctorvm, qvod qvinqve variabilibvs data svpervacva tacebat, nvnc vectore scribitvr; et qvaestio de paribvs valoribvs, qvae cvm omnibvs parivm combinationibvs pro decies centenis milibvs datorvm minvta postvlabat, ordinando et vicinos comparando solvitvr.

Series

Lectio Series std::array praesentavit, seqventiam magnitvdinis fixae, cvivs indices a nihilo nvmerant qvia intervalla ab initio svnt. Statvit indicem ii validvm esse si et solvm si 0≤i<n0 \leq i < n, qvemqve accessvm cvm [] postvlare vt id per invariantem circvitvs demonstretvr, et accessvm extra fines esse modvm agendi indefinitvm, qvem .at() in interrvptionem definitam convertit; std::size_t introdvxit et series C legere docvit.

Vectores

Lectio Vectores seqventiam praesentavit qvae per push_back crescit et statvit qvando series servanda sit: si aliqva decisio de dato a datis posterioribvs pendet. Percvrsvs canonicos statvit (accvmvlare, colare, transformare) cvm svis invariantibvs et svis abbreviationibvs in bibliotheca (std::ranges::count, std::ranges::max, std::ranges::fold_left), regvlam transmissionis vectoris, et differentiam inter magnitvdinem et capacitatem, ex qva seqvvntvr svmptvs medio constans ipsivs push_back et referentiae irritae factae cvm vector movetvr.

Svmptvs algorithmi

Lectio Svmptvs algorithmi alteram qvaestionem addidit: operationem dominantem in casv pessimo nvmerare, secvndvm ordinem incrementi classificare, effectvm dvplicationis ipsivs nn praedicere et per std::chrono::steady_clock metiri, cvm optimizatione, sine detectoribvs, repetendo et medianam svmendo.

Qvaerere et ordinare

Lectio Qvaerere et ordinare qvaesitionem binariam per invariantem et mensvram svam ivstificavit; ordinationem per selectionem et per insertionem scripsit, comparationes earvm nvmerans; algorithmos intervallorvm cvm praecondicione ordinis, qvam nemo examinat, praesentavit; et compvtavit qvando ante qvaerendvm ordinare expediat.

Tabvlae

Lectio Tabvlae tabvlas per ordines et per colvmnas percvrrit, transpositam et prodvctvm matricvm cvm svmptv cvbico compvtavit, vicinos nvmeravit oris non egressa et tabvlam in vectore plano cvm indice i⋅columns+ji \cdot \mathit{columns} + j servavit.

Tabvlaria

Lectio Tabvlaria vectores parallelos per struct svbstitvit, cvm valore initiali in qvoqve campo; docvit tabvlaria transmittere et reddere, ea secvndvm campvm per proiectionem ordinare et qvaerere, secvndvm plvra criteria per std::ranges::stable_sort ordinare et qvaestionem effingere tabvlariis qvae tabvlaria et vectores continent.