Heikko kaksinaisuus on optimoinnin käsite, jonka mukaan kaksinaisuusrako on aina suurempi tai yhtä suuri kuin nolla. Tämä tarkoittaa, että ratkaisu alkuongelmaan (minimointiongelma) on aina suurempi tai yhtä suuri kuin siihen liittyvän kaksoisongelman ratkaisu . Tämä termi vastustaa vahvaa kaksinaisuutta , joka toteutuu vain tietyin ehdoin [1] .
Monet suorat kaksoisapproksimaatioalgoritmit [2] perustuvat heikon duaalisuuden periaatteeseen [ 3] .
Suora tehtävä:
Maksimoi olosuhteissa ;Kaksoistehtävä :
Minimoi kohteena .Heikko kaksinaisuuslause sanoo, että .
Nimittäin, jos on toteuttamiskelpoinen ratkaisu suoralle lineaarisen ohjelmoinnin maksimoimisen ongelmalle ja se on toteuttamiskelpoinen ratkaisu kaksoisongelmaan minimoida lineaarisen ohjelmoinnin, niin heikko kaksinaisuuslause voidaan muotoilla seuraavasti: , missä ja ovat vastaavan kertoimet tavoitefunktiot.
Todiste:
Yleisemmässä tapauksessa, jos on toteuttamiskelpoinen ratkaisu primaali- ja kaksoisminimointiongelmaan, heikosta duaalisuudesta seuraa, että , missä ja ovat kohdefunktiot primaali- ja duaaliongelmalle, vastaavasti.