经济批量博弈模型的种群单调分配机制

1. 合作博弈概述

有 $n$ 个玩家 N = { 1 , 2 , ⋯   , n } N=\{1,2,\cdots,n\} N={1,2,⋯,n}，每个子集 $S\subseteq N$ 称为一个联盟 ($N$ 被称为总联盟)。对每个联盟 $S$，对应一个成本（或收益） $F(S)$。这样的一组 $(N,F)$ 就是一个合作博弈。

对于任何一个向量 $l=(l_1,\cdots ,l_N)$，如果 $\sum _{j\in N}{l}_j=F(N)$，则称 $l$ 为合作博弈$(N,F)$ 的一个分配(allocation)。如果进一步，对任何 $S\subseteq N$，有$\sum _{j\in S}{l}_j\le F(S)$，则称 $l$ 属于合作博弈$(N,F)$的核(core)。合作博弈的核，是一个很强的概念，并不是所有的合作博弈都存在，它要求每个子联盟的成员都没有脱离联盟的动机。

定义. 一个向量 $l=(l_i^S{)}_{i\in S,S\subseteq N}$ 称为一个合作博弈 $(N,F)$ 的一个种群单调分配机制（population monotonic allocation scheme，PMAS），如果它满足下面两个条件：
(1) 向量 $(l_i^S{)}_{i\in S}$ 在子联盟 $(S,F{|}_S)$ 的核中；
(2) 对任何 $S\subset T\subset N$，有 $l_i^S\ge l_i^T$。

PMAS是一个更强的条件，目前相关的结果很少，如果能对一些经典的模型，得到PMAS的重要结果（比如证明甚至构造出PMAS），基本都是管理学和运筹学的顶级期刊。

2. 经济批量博弈

有一个零售商，在$T$ 个周期（比如春节期间，每一天可以看作一个周期）内销售某个商品。假设各个周期内的顾客需求都是确定的，记为 $d=(d_1,\cdots ,d_T)$。零售商在各个周期内采购的成本为：$c_t(z_t)=K_t\delta (z_t)+c_t{z}_t$，其中 $z_t$ 表示周期 $t$ 内的采购量，$K_t$ 为固定采购成本，$c_t$ 为单位采购成本，$\delta (z_t)=\{\begin{array}{ll}1,& \text{if }{z}_t>0\\ 0,& \text{otherwise}\end{array}.$

由于每个周期的单位采购成本不同，所以为了减少总的采购成本，零售商就需要考虑批量订货的策略，比如第一个周期就同时也把第二、三周期的货订购了，此时货物就会产生库存成本，记每个周期 $t$ 内的单位库存成本为 $h_t^{+}$。此外，零售商也可以延迟交货，比如第一周期的采购成本很高，可以将第一周期的订货量延迟到第三周期采购，此时就会产生延迟成本，记每个周期$t$内的延迟成本为 $h_t^{-}$。

所谓的经济批量问题（economic lot-sizing problem）就是下面的成本最优化问题：
$$\begin{array}{rlr}C(d):=\min & \sum _{t=1}^T\left\{c_t(z_t)+h_t^{+}{I}_t^{+}+h_t^{-}{I}_t^{-}\right\}& \\ \text{s.t.}& z_t+I_{t-1}^{+}-I_{t-1}^{-}=d_t+I_t^{+}-I_t^{-},& \forall t=1,\cdots ,T\\ & I_0^{+}=I_0^{-}=0& \\ & z_t\ge 0,I_t^{+},I_t^{-}\ge 0,& \forall t=1,\cdots ,T\end{array}$$ 这里 $I_t^{+}$ 表示 $t$ 周期结束时的库存水平，$I_t^{-}$ 表示 $t$ 周期结束时的延迟交付的货物总量。

进一步考虑 $n$ 个零售商，记为 N = { 1 , 2 , ⋯   , n } N=\{1,2,\cdots,n\} N={1,2,⋯,n}。为了节约成本提高竞争力，部分零售商会彼此结成联盟，共同订货，共享库存。这样，就会形成一个经济批量博弈模型 $(N,F)$：对于任何联盟 $S\subseteq N$，成本函数 $F(S):=C(d^S)$，这里 $d_t^S=\sum _{i\in S}{d}_t^i,d^S=(d_1^S,\cdots ,d_T^S)$是子联盟中所有成员的需求之和。