T={0,1,2,...13}
f(x,y)是TxT->Z的函数,满足
x单调:
f(x+1,y)>=f(x,y)
y单峰:
f(x,x)>=f(x,y)
反牺牲:
x>=7时有f(x,x)<=-f(13-x,x+1)
正牺牲(可选)
x>=7时有
f(x,x)>=-f(14-x,x+1)
无责任:
x>=7有
f(13-x,13-x)<=-f(x,12-x)