Iškilojo uždavinio KKT optimalumo sertifikatas
Kai f₀,fᵢ yra diferencijuojamos iškilosios funkcijos erdvėje Rⁿ, o lygybiniai apribojimai Ax=b yra afininiai, leistinasis x yra optimalus, jei λ≥0, λᵢfᵢ(x)=0 ir ∇f₀(x)+Σλᵢ∇fᵢ(x)+Aᵀν=0.
Esminės žinios
Kai f₀,fᵢ yra diferencijuojamos iškilosios funkcijos erdvėje Rⁿ, o lygybiniai apribojimai Ax=b yra afininiai, leistinasis x yra optimalus, jei λ≥0, λᵢfᵢ(x)=0 ir ∇f₀(x)+Σλᵢ∇fᵢ(x)+Aᵀν=0. Jei egzistuoja griežtai leistinas taškas, tenkinantis Ax=b, kiekvienam pasiektam optimumui egzistuoja tokie daugikliai.
Sąlygos ir taikymo ribos
- Nelygybiniai apribojimai yra fᵢ(x)≤0; λ yra šių nelygybių daugiklių vektorius.
- Būtinumo teiginyje taikoma nurodyta Slaterio sąlyga; neiškiliesiems uždaviniams vien KKT sąlygos nėra globaliojo optimalumo sertifikatas.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Dualumo skaidrės 5–18–19: KKT sąlygos, pakankamumas iškiluoju atveju ir būtinumas esant Slaterio sąlygai; visur baigtinių ir diferencijuojamų funkcijų atvejis.
2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaityti visi glaustai suformuluoti teiginiai (241), hipotezės, pateiktos lygtys ir susitarimai bei visos kilmės semantinės sąsajos (596); peržiūrėta visa autoriaus sudaryta 241 įrašo tikslių šaltinių patikros matrica ir deklaruoti apribojimai. Siekiant aprėpti visą įrašų rinkinį, perskaityti 105 ankstesni faktiškai paveldėti matematikos ir informacijos įrašai. Toliau išvardyti tikslingai ir nepriklausomai peržiūrėti pirminių šaltinių skyriai; tuo NETEIGIAMA, kad kiekvieno cituojamo šaltinio visas tekstas ar kiekvienas įrodymas buvo nepriklausomai perskaitytas iš naujo. Tai DI atlikta informacinio turinio peržiūra, o ne žmogaus eksperto patvirtinimas atitinkamoje mokslo srityje, išsamus vadovėlio atkūrimas ar eksperimentinis pakartojimas. Peržiūros įrašas: mathematics-information-independent-content-review.1.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- math-convex-kkt-certificate
- Versija
- university-core.1
- Struktūruotas žinyno įrašas
- Universitetinių pagrindų plėtra