Žinių pagrindai

Juodosios dėžės šifravimo ar parašų žaidimo įrodyme paprastai atskleidžiami nurodyti išėjimai ir orakulai, bet ne nuo paslapties priklausantis vykdymo laikas, galios vartojimas, podėlio pėdsakai ar gedimų atsakai.

PAC mokymasis, remdamasis nepriklausomomis ir vienodai pasiskirsčiusiomis imtimis, apriboja populiacijos riziką su bent 1−delta tikimybe.

Baigtinei hipotezių klasei H, nepriklausomiems ir vienodai pasiskirsčiusiems stebėjimams bei nuostoliams intervale [0,1], Hoeffding nelygybė ir sąjungos tikimybės riba rodo, kad tikimybė, jog bent viena empirinė rizika nuo populiacijos rizikos skirsis daugiau nei epsilon, yra ne didesnė kaip 2|H|exp(−2n epsilon²).

VC dimensija yra didžiausias taškų aibės dydis, kuriam dvejetainė hipotezių klasė gali realizuoti kiekvieną žymų priskyrimą.

Bayesinis vertinimas sujungia tikėtinumo funkciją ir priorinį skirstinį į posteriorinį skirstinį, sąlygotą stebėtų duomenų.

Grynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius.

Fizikinis posistemės kanalas modeliuojamas visiškai teigiamu, pėdsaką išsaugančiu atvaizdžiu.

Kvantinė grandinė jungia unitarinius vartus, pagalbines sistemas, kanalus ir matavimus pagal nurodytą vartų rinkinį.

Nestruktūruotai paieškai tarp N alternatyvų, turint koherentinį žymėjimo orakulą ir vieną pažymėtą elementą, amplitudės stiprinimas naudoja O(sqrt(N)) orakulo užklausų, kad sėkmės tikimybė būtų atskirta nuo nulio.

Shor skaidymo daugikliais algoritmas redukuoja skaidymą į periodo paiešką ir naudoja modulinį kėlimą laipsniu, kvantinį fazės bei Fourier apdorojimą ir klasikines grandinines trupmenas.

Von Neumann entropija yra −tr rho log2 rho ir lygi tankio operatoriaus tikrinių verčių Shannon entropijai.

Santykis yra kortežų aibė, apibrėžta pagal schemą.

Raktas kandidatas yra minimali atributų aibė, vienareikšmiškai identifikuojanti kortežą; superraktas neprivalo būti minimalus.

Transakcija sujungia operacijas, kurios atomiškai patvirtinamos arba atšaukiamos.

PostgreSQL 18 repeatable read naudoja momentinių kopijų izoliaciją: kiekviena transakcija skaito stabilią momentinę kopiją, tačiau lygiagretūs skirtingų eilučių įrašymai gali sukelti write skew anomaliją ir neserializuojamą bendrą rezultatą.

Operacinė semantika apibrėžia perėjimo sąryšį tarp programos konfigūracijų, prireikus apimdama ir būseną.

Nurodytai paprastai tipizuotai kalbai progresas reiškia, kad uždaras tinkamai tipizuotas termas yra reikšmė arba gali atlikti žingsnį; tipo išsaugojimas reiškia, kad vertinant jo tipas nesikeičia.

Nuoseklusis suderinamumas pateikia operacijas viena tvarka, išsaugančia kiekvienos gijos programos tvarką.

Pagrindinė CompCert semantikos išsaugojimo teorema susieja priimtą C abstrakčiąją sintaksę su sugeneruota asemblerio abstrakčiąja sintakse: esant teoremos prielaidoms, sugeneruota elgsena patikslina leidžiamą pradinės programos elgseną.

Oficiali CompCert 3.18 laida, išleista 2026 m. rugpjūtį, pakeičia formalų alignment/free tvarkymą ir prideda Rocq 9.2 palaikymą.

Prognozuotojui h populiacijos rizika yra nuostolio matematinis vidurkis pagal nurodytą duomenų skirstinį; empirinė rizika yra imties nuostolio vidurkis.

Reguliarizuotas empirinis minimizavimas prie imties nuostolio prideda sudėtingumo baudą, padaugintą iš lambda.

Stochastinio gradiento metodas atnaujina parametrus pagal imtimi įvertintą gradientą arba subgradientą.

PCA randa ortogonalią mažo rango poerdvio projekciją, minimizuojančią centruotų stebėjimų kvadratinę atkūrimo paklaidą.

Mokymas pritaiko parametrus, validavimas parenka modelius ir jų derinimą, o galutinis atskirtas testas įvertina pasirinktos procedūros veikimą populiacijoje, iš kurios imama jo imtis.

Bayesinis tinklas naudoja orientuotą aciklinį grafą ir vietinius sąlyginius skirstinius jungtiniam skirstiniui faktorizuoti.

Variacinis vertinimas aproksimuoja posteriorinį skirstinį, iš nurodytos šeimos parinkdamas q, kuris minimizuoja KL(q||posterior).

MCMC sudaro Markovo grandinę su norimu stacionariu posterioriniu skirstiniu ir vertina integralus pagal koreliuotus generuotus stebėjimus; reikia tikrinti konvergavimą, maišymąsi ir efektyvųjį imties dydį.

Sąlygojimas pagal stebėjimą p(Y|X=x) ir intervencija p(Y|do(X=x)) apibūdina skirtingas operacijas.

Sustojimo gedimas sustabdo procesą; bizantiniai gedimai leidžia bet kokią elgseną, įskaitant nenuoseklius pranešimus.