之前關(guān)于BSD的討論:http://www.reibang.com/p/5edf15c787ed [1]
問(wèn)題建模Modeling:
- 類似[1]中的方案远舅,此處為以無(wú)偏winning rate建模的方式最優(yōu)化期望收益)
當(dāng)然噩咪,這種modeling的一大問(wèn)題是脓鹃,真實(shí)的成功率與無(wú)偏隨機(jī)數(shù)據(jù)是有差距的提揍,因?yàn)槲覀兂鰞r(jià)與市場(chǎng)價(jià)并不互相獨(dú)立脾拆。 - 形式化:
為utility夜惭,為預(yù)估的用以計(jì)算roi的收益苦银。
s.t.1:
s.t.2:
得到:
Solution:
KKT condition:
對(duì)偏導(dǎo)為0:
(1)
給定win函數(shù):
(2)
其中為擬合成功率的常數(shù)
求導(dǎo)可得:
(3)
將(2)(3)帶入(1)化簡(jiǎn)可得:
解得:原約束與系數(shù)約束:
budegt互補(bǔ)松弛條件:
roi互補(bǔ)松弛條件:
參數(shù)解法:
Qualification-LICQ:因?yàn)?img class="math-inline" src="https://math.jianshu.com/math?formula=b(r)%20%5Cin%20R%5E1" alt="b(r) \in R^1" mathimg="1">赶站,所以當(dāng)且僅當(dāng)在其解處,激活條件對(duì)(此處即)梯度向量時(shí)滿足LICQ纺念。
很顯然
1贝椿、在只有一個(gè)限制條件激活時(shí),只要極值處限制條件對(duì)的導(dǎo)數(shù)不為0陷谱,則這個(gè)條件就是滿足的烙博。
2、在多個(gè)限制條件激活時(shí)烟逊,肯定是不滿足的渣窜。
Qualification-SC:對(duì)于多條件激活。判定是否滿足SC宪躯,即優(yōu)化目標(biāo)與限制函數(shù)图毕,是否都是convex的。判斷方式需要求其二階變分則滿足SC眷唉。
為了簡(jiǎn)化問(wèn)題予颤,我們可以將當(dāng)前假設(shè)的解帶入,即在當(dāng)前假設(shè)下冬阳,是否滿足SC蛤虐。
帶入式子(2)得到如下:
(4),根據(jù)成功率函數(shù)的圖像肝陪,是恒小于0的驳庭。
Convexity of functional:[1]
a、目標(biāo)函數(shù)的二階變分:
帶入擬合出來(lái)的常數(shù)氯窍,在實(shí)際區(qū)間上積分大于等于0
b饲常、預(yù)算限制的二階變分:
帶入擬合出來(lái)的常數(shù),其積分顯然大于等于0
c狼讨、ROI限制的二階變分:
帶入擬合出來(lái)的常數(shù)贝淤,其積分也顯然大于等于0
所以,由此可以得出政供,當(dāng)前問(wèn)題在兩個(gè)約束都生效時(shí)播聪,滿足SC
情況0:
則,明顯不滿足條件布隔。情況1:
這種情況下离陶,等價(jià)于只有budget預(yù)算限制。
所以將的解帶入(將帶入衅檀,其中僅包含)招刨,解如下問(wèn)題即可:
觀察解的形式與的形式,可輕易得出與預(yù)算消耗成反比
在這個(gè)問(wèn)題中哀军,由于無(wú)論如何變化沉眶,排序是不變的打却。所以可以直接將數(shù)據(jù)帶入,求方程的數(shù)值解即可沦寂。
當(dāng)然学密,由于本身也是單調(diào)的淘衙,通過(guò)二分搜索也可以較容易地獲得數(shù)值解传藏。
情況2:
類似地,將的解帶入彤守,求解ROI剛好滿足的狀態(tài)即可毯侦。
得到 ,可以看出就是u的反向權(quán)重具垫。越大侈离,越傾向于用g(收益)來(lái)排序,即參與競(jìng)價(jià)的ad的越大筝蚕,且總體出價(jià)越低(成本低)卦碾,則ROI越大。
所以ROI對(duì)單調(diào)遞增起宽,可以通過(guò)二分搜索以獲得數(shù)值解洲胖。
(這種情況下,由于的變化會(huì)影響排序坯沪,所以無(wú)法將數(shù)值全部帶入直接求其數(shù)值解绿映,當(dāng)然,改寫整個(gè)方程腐晾,將排序過(guò)程加入也是可以的叉弦,但是求解速度也并不一定會(huì)很快)情況3:
條件:如果上述兩種方式求解出來(lái)分別的ROI,Budget不滿足邊界條件的(即都超出邊界)藻糖。
此時(shí)兩個(gè)KKT乘子都不為0淹冰,
即最優(yōu)解在ROI剛好滿足,Budget也剛好滿足的邊界上巨柒,KKT multiplier等價(jià)于Lagrangine multiplier榄棵。
將帶入松弛條件(同拉格朗日,等式約束潘拱,即偏導(dǎo)為0)疹鳄,求解如下方程組:
化簡(jiǎn)后無(wú)特殊形式,不易求出解析解可由數(shù)值解法解出芦岂。
當(dāng)然瘪弓,這個(gè)方程組求解的最大問(wèn)題同樣在于,由于會(huì)影響排序禽最,所以很難直接用傳統(tǒng)的數(shù)值優(yōu)化的方程組解法得到解腺怯。(TODO)
問(wèn)題分析:
以下分析針對(duì)我們對(duì)泛函最優(yōu)化的解法其中的排序問(wèn)題的討論袱饭。
由于增加了ROI限制情況下,本身目標(biāo)為u呛占,限制目標(biāo)的函數(shù)g虑乖。
和都跟流量具體的分布相關(guān)。
和的數(shù)值晾虑,本身會(huì)影響排序疹味。從而影響我們最優(yōu)化問(wèn)題中的具體的數(shù)值分布。
雖然在當(dāng)前體系下帜篇,由于其單調(diào)性(單約束)糙捺,我們能搜索出最優(yōu)解,但是其預(yù)估本身的誤差會(huì)影響排序的結(jié)果(從而影響不同下和的分布笙隙,導(dǎo)致計(jì)算出來(lái)的roi與budget都有偏差)洪灯。
通俗點(diǎn)解釋:
1、如果和相同竟痰,由于biding函數(shù)是對(duì)其單調(diào)遞增的签钩,所以我們離線模擬時(shí)只需要得到按u排序top1即可,搜索不同的參數(shù)時(shí)坏快,也不影響排序铅檩。
2、如果和不同假消,則參數(shù)的變化會(huì)影響其順序柠并,所以我們離線模擬的時(shí)候需要記錄每次競(jìng)價(jià)的候選列表。計(jì)算復(fù)雜度大大提升富拗。
Refer:
[1]
INTEGRALS WHICH ARE CONVEX FUNCTIONALS