GLOBAL KNOWLEDGE ARK

Žinynas

Žinių pagrindai

Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.

Daugiau filtrų

Žinyno įrašai

Rodoma įrašų: 421–450 iš 1709

Matematika ir logikaKonstantų variavimas nehomogeninėms lygtims

Lygties y″+p(x)y′+q(x)y=f(x) atveju naudokite tiesiškai nepriklausomus homogeninės lygties sprendinius y₁,y₂ ir pasirinkite yₚ=u₁y₁+u₂y₂.

Metodas
Matematika ir logikaPoaibių skaičiavimas ir Paskalio rekurentinė formulė

n elementų aibė turi 2ⁿ poaibių; jos k elementų poaibiai atitinka n ilgio dvejetaines sekas, turinčias k vienetų.

Matematinis teiginys
Matematika ir logikaAntrosios eilės rekurentinių sąryšių charakteristinės šaknys

Kai aₙ=saₙ₋₁+taₙ₋₂ ir t≠0, skirtingos charakteristinio daugianario r²−sr−t šaknys r₁,r₂ duoda aₙ=Ar₁ⁿ+Br₂ⁿ; kartotinė šaknis r duoda aₙ=(A+Bn)rⁿ.

Metodas
Matematika ir logikaLiekanų diagnostika ir modelio adekvatumas

Liekanos eᵢ=yᵢ−f(xᵢ;β̂) palygina stebėtas ir modeliu įvertintas atsako reikšmes.

Metodas
Matematika ir logikaLaiko atžvilgiu vienalytės Markovo grandinės

Grandinė tenkina P(Xₙ₊₁=j|X₀,…,Xₙ)=Pᵢⱼ, kai Xₙ=i; matricos P elementai yra neneigiami, o kiekvienos eilutės elementų suma lygi vienetui.

Modelis
Matematika ir logikaStacionarumas, grįžtamumas ir Markovo pusiausvyra

Stacionarusis skirstinys yra eilutės vektorius π su neneigiamais elementais, tenkinantis Σπᵢ=1 ir πP=π.

Matematinis teiginys
Matematika ir logikaHomogeninis Puasono procesas

λ intensyvumo Puasono skaičiavimo procesas prasideda nuo nulio, turi nepriklausomus prieaugius, o N(t+s)−N(s) turi Puasono skirstinį su parametru λt.

Modelis
Matematika ir logikaStandartinis Brauno judėjimas

Standartiniam Brauno judėjimui galioja B(0)=0; jo trajektorijos beveik tikrai tolydžios, o prieaugiai nepriklausomi ir tenkina B(t)−B(s)∼N(0,t−s), kai 0≤s<t.

Modelis
InformacijaDvejetainė paieška ir jos invariantas

Surikiuotame masyve su tiesiogine prieiga palyginkite ieškomą reikšmę su viduriniu raktu ir atmeskite tą pusę, kurioje jos negali būti; kartokite, kol rasite atitinkantį raktą arba likęs intervalas bus tuščias.

Metodas
InformacijaRikiavimas suliejimu ir „skaldyk ir valdyk“ rekurentinė lygtis

Padalyti masyvą į dvi beveik lygias dalis, kiekvieną rekursyviai surikiuoti ir sulieti surikiuotas dalis, pakartotinai parenkant kitą raktą pagal rikiavimo tvarką.

Metodas
InformacijaGodusis intervalų planavimas ir įrodymas sukeitimu

Norint gauti didžiausią suderinamų intervalų skaičių, reikia pakartotinai rinktis anksčiausiai pasibaigiantį iš likusių intervalų ir atmesti su juo persidengiančius intervalus.

Metodas
InformacijaMinimalaus jungiamojo medžio pjūvio savybė

Jungiame neorientuotame svoriniame grafe, jei pasirinktų briaunų aibė priklauso kuriam nors minimaliam jungiamajam medžiui ir nė viena iš šių briaunų nekerta pjūvio, galima pridėti mažiausio svorio šį pjūvį kertančią briauną ir išlaikyti šį invariantą.

Matematinis teiginys
InformacijaKruskalo minimalusis jungiamasis medis

Nagrinėkite briaunas nemažėjančia svorių tvarka: pridėkite briauną tada ir tik tada, kai jos galinės viršūnės priklauso skirtingoms esamoms jungumo komponentėms, o tada tas komponentes sujunkite.

Metodas
InformacijaTeta ir apatiniai asimptotiniai rėžiai

Jei sąnaudos f,g yra neneigiamos nuo tam tikro momento, f=Θ(g) reiškia, kad c₁g(n)≤f(n)≤c₂g(n) visiems pakankamai dideliems n, kai konstantos c₁,c₂>0.

Apibrėžimas
InformacijaAmortizuotosios sąnaudos potencialų metodu

Jei operacija i pakeičia būseną Dᵢ₋₁ į Dᵢ, apibrėžiame ĉᵢ=cᵢ+Φ(Dᵢ)−Φ(Dᵢ₋₁).

Metodas
InformacijaDinaminio masyvo talpos dvigubinimas

Pridėkite elementą į masyvo galą, jei jame yra laisvos vietos; masyvui užsipildžius, skirkite dvigubai didesnę talpą ir nukopijuokite esamus elementus.

Metodas
Informacija3SAT redukcija į CLIQUE

3CNF formulėje su m klauzulių kiekvienam literalo pasirodymui sukurkite viršūnę.

Metodas
InformacijaSisteminio dvejetainio tiesinio kodo konstravimas

Virš F₂ imkime H=[A|Iₘ] ir G=[Iₙ₋ₘ;A].

Metodas
InformacijaVieno bito klaidos sindrominis dekodavimas

Gautam r=c+e, kai Hc=0, sindromas yra Hr=He.

Metodas
Matematika ir logikaKoordinatės bazėje ir panašumas

Jei apverčiamosios matricos P stulpeliai yra sutvarkytosios bazės B vektoriai standartinėmis koordinatėmis, tai v=P[v]B.

Metodas
Matematika ir logikaOrtogonalioji projekcija ir Gramo–Šmidto procesas

Iš tiesiškai nepriklausomų realiųjų vektorių v₁,…,vₖ sudaromi vektoriai wⱼ=vⱼ−Σ_(i<j)[(vⱼ·wᵢ)/(wᵢ·wᵢ)]wᵢ.

Metodas
Matematika ir logikaVieno žingsnio vietinė paklaida ir globalusis konvergavimas

Taikant uᵢ₊₁=uᵢ+hφ(tᵢ,uᵢ,h), jei vieno žingsnio defektas, apskaičiuotas naudojant tikslias reikšmes, neviršija Chᵖ⁺¹ ir |∂ᵤφ|≤L, L>0, tai tiksliai nustačius pradinę reikšmę gaunama |u(tᵢ)−uᵢ|≤(Chᵖ/L)(eᴸ⁽ᵗⁱ⁻ᵃ⁾−1).

Matematinis teiginys
Matematika ir logikaAfininės transformacijos ir invariantai

Apgręžiama afininė erdvės ℝⁿ transformacija yra pavidalo T(x)=Ax+b, kur A yra apgręžiama.

Matematinis teiginys
Matematika ir logikaEuklidinės izometrijos ir ortogonaliosios matricos

Kiekviena atstumus išsauganti ℝⁿ bijekcija yra pavidalo T(x)=Qx+b, kur QᵀQ=I; ir atvirkščiai, kiekvienas toks atvaizdis yra izometrija.

Matematinis teiginys
Matematika ir logikaEuklidiniai panašumai

Erdvės ℝⁿ bijekcija, vienodai dauginanti visus atstumus iš s>0, yra panašumas ir turi pavidalą T(x)=sQx+b, kur Q yra ortogonalioji.

Matematinis teiginys
Matematika ir logikaEuklidinių figūrų simetrijos grupės

Figūros S⊂ℝⁿ simetrijos yra euklidinės izometrijos g, kurioms g(S)=S.

Apibrėžimas
Matematika ir logikaKintamųjų keitimas naudojant jakobianą

Abipus vienareikšmei C¹ transformacijai T, atvaizduojančiai plokštumos arba erdvės integravimo sritį G į visą sritį R ir turinčiai nenulinį jakobianą srities viduje, galioja ∫R f(x)dx=∫G f(T(u))|det DT(u)|du.

Metodas
Matematika ir logikaKreivės ilgis ir kreivumas

Reguliariosios C¹ klasės plokštumos arba erdvės kreivės r(t), a≤t≤b, ilgis yra ∫ₐᵇ‖r′(t)‖dt.

Metodas
Matematika ir logikaReguliarūs paviršiai, plotas ir srautas

Reguliarioji C¹ parametrizacija r(u,v) tenkina rᵤ×rᵥ≠0, o ploto elementas yra dS=‖rᵤ×rᵥ‖du dv.

Metodas
Matematika ir logikaCiklinės grupės ir elemento eilė

Elemento a generuojamas pogrupis yra ⟨a⟩={aᵏ:k∈Z}; jo eilė yra mažiausias teigiamas n, kuriam aⁿ=e, arba begalinė, jei toks n neegzistuoja.

Apibrėžimas
MetodasPatikrinta pagal šaltinius

Dinaminio masyvo talpos dvigubinimas

Informacija

Pridėkite elementą į masyvo galą, jei jame yra laisvos vietos; masyvui užsipildžius, skirkite dvigubai didesnę talpą ir nukopijuokite esamus elementus.

Esminės žinios

Pridėkite elementą į masyvo galą, jei jame yra laisvos vietos; masyvui užsipildžius, skirkite dvigubai didesnę talpą ir nukopijuokite esamus elementus. Atliekant m pridėjimų, kopijuojamų elementų skaičiai sudaro geometrinę sumą O(m), todėl pridėjimo amortizuotosios sąnaudos yra O(1), nors pridėjimo, kuriam reikia pakeisti talpą, sąnaudos yra Θ(n).

Sąlygos ir taikymo ribos

  • Pradėkite nuo teigiamos pastovios talpos; elementų perkėlimo sąnaudos turi būti aprėžtos, o atminties skyrimo sąnaudos – proporcingos skiriamos atminties ilgiui.
  • Teiginys apima pridėjimą į galą, o ne įterpimą į bet kurią vietą, šalinimą ar netinkamai parinktą talpos mažinimo strategiją.
Šaltiniai · 1

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. 6.046J (Spring 2012), Lecture 11: Amortized analysisMITPaskaitų medžiaga · PDFocw.mit.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Paskaitos 11 skyrius 11.4: dinaminės lentelės plėtimas ir geometrine suma grindžiama suminė bei potencialo analizė.

2026-10-10 · Nepriklausoma AI redakcinė peržiūra: Perskaityti visi241 glausti teiginiai, prielaidos, pateiktos lygtys ir konvencijos bei visos596 iš šių įrašų išeinančios semantinės sąsajos; peržiūrėta visa autoriaus tikslių šaltinių patikros matrica, turinti241 įrašą, ir deklaruoti apribojimai. Siekiant aprėpti visą inventorių, perskaityti ankstesni105 faktiškai paveldėti matematikos ir informacijos įrašai. Toliau išvardyti tiksliniai nepriklausomai perskaityti pirminių šaltinių skyriai; tai NEREIŠKIA, kad nepriklausomai iš naujo perskaitytas kiekvienas cituotas šaltinio tekstas ar kiekvienas įrodymas. Tai AI atliekama informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis sertifikavimas, išsamus vadovėlio atkūrimas ar eksperimentų pakartojimas. Peržiūros dokumentas: mathematics-information-independent-content-review.1.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
info-dynamic-array-doubling
Versija
university-core.1
Struktūruotas žinyno įrašas
Universitetinių pagrindų plėtra